No Such Blog or Diary

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

UFJ card (VISA) が弾かれた！

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

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

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

……

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

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

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

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

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

閑話休題．

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

終電少し前に千葉公園に行って朝まで論文書きつつ待機．周りが暗いのでディスプレイの輝度も下げられてバッテリーが長持ち．

んで，明るくなり始めてた４時頃のハス．まだ暗いけど電灯の灯りで．このころはまだ一人二人いるかどうか程度の込み具合．

そして論文書きに戻って５時半頃のハス．もう十分明るい．そして人もたくさんで４０人くらいは居たかね．

何となく人の入らない辺りを切り取った画．大分散った花があるけれど，やっぱ昨日来ておくのが正解だったかね．

うーん，こいつの吐く.texファイルが \usepackage を含んでいるせいでそのファイルを他のファイルから \input できない．諸々の定義だけ別ファイルに出すとかいうオプションとかあるのだろうか？　よく分からないのだけど共著者の lhs2tex と動作が違うのかなぁ……

Bag 用の括弧である \lbag と \rbag ってここで定義されてたのね．

\llbacket とかもあったのか……　知らんかった．

http://www.rpi.edu/dept/arc/training/latex/LaTeX_symbols.pdf とか便利．