No Such Blog or Diary

渋滞しまくりで超低速道路……　電車より高速使ったバイクのほうが早く着くだろとか思ったのが間違い．まあ，間に合ったけど．

渋滞する高速道路とかいらない．

ぶっちゃけ帰りの環八は快適だった．

スペースが無いから説明を最低限にする→読み手が読んでも分からない→書くだけ無駄．

ということでザクっと削りましょう．ザクっと１ページほどのセクションを削って1/4ページほど余裕ができた．バンザイ？

知らんかったのでググッてみると「スーパー35mm ≒ APS-C ＜ 35mmフルサイズ」って事なのね．静止画と動画でフィルムに収める画像の方向が違うから紛らわしい．

ということで，スーパー35mm相当のセンサ積んだカメラにEマウントなのか．

オンラインでお買い物．面倒なのでカード決済で済まそうとしたのだけど……

UFJ card (VISA) が弾かれた！

三井住友カード (MastarCard) が弾かれた！

再び試した UFJ card (VISA) が弾かれた！

別の UFJ card (VISA) も弾かれた！

……

そして普段使わない 三井住友カード (VISA) を引っ張り出してきてようやく決済終了！

ちょいと怖くなったので全部のカードの利用可能枠の残りを調べたけど問題なし．単なる相性の問題かね．１年くらい前に同じところで買い物したときにも同じ現象が起きたような気がしなくもない．

ということで，終わらなそうな仕事を前に眠気も起きないので定式化と表記法を変えつつゴリゴリ削って朝．そまま輪講＋ミーティングで一日終了．

そしてよく考えてみると変更後の定式化ではヤバイことになっているので定式化を変更した共著者に指摘．詰めが足りない．とりあえず修正をこっちにも入れないと……

lhs2tex がおかしかったのはファイルを全部生成しなおしたら治った．共通のファイルをインクルードするようにするのが肝なのね．

閑話休題．

定式化と表記法を総取替え（伸びる方向に）しつつ現状よりも大幅に量を減らすという荒行に……　まあ，無駄を承知で全部書き下しただけなので削るのはいいのだけど普通に削っただけでは目標に到達しないような予感．どうすべか．