No Such Blog or Diary

パン屋で864円の支払いに 1404円出してレジの人を困惑させた．1004円出しても返ってくる小銭の枚数同じだし，「同じ1枚なら100円玉より500円玉が欲しい」という普通じゃない順序で考えないと意味不明．出されたお金に対して機械的に処理せずにちょっと考えてくれる人ほど悩ませてしまう．

ということで，困惑中のレジの人と「あぁ　500円玉が欲しいだけです．すみません（笑　」「ああ，なるほど！」とかいう会話をした．

ぶっちゃけ迷惑な客．

Coq.Init.Notations に Reserved Notation で + が left associativity と定義されてしまっているので結合の仕方を上書きできない．自前のライブラリで no assoc. な + を使いたいと思っても無理．何で Reserved Notation の連中が上書きできないのか知らんけど，ひょっとしてパーサレベルで固定しちゃってるのだろうか．普通には困ることはないだろうけど変なことするには不便．

で，妥協案：全角の ＋（U+FF0B）を使えば良いじゃない．入力面倒だけど見た目は問題ない．

というか，Unicode の数学記号とかも識別子に出来たのか……　oplus とか書いてた部分を Unicode の文字に置き換えてみようかな．

4月から「三菱東京UFJ銀行」が「三菱UFJ銀行」になるというメールが三菱東京UFJ銀行から届いた．様々な書類にこの長い行名を書かされてきた身からするとちょっとでも縮まってくれるのは嬉しい．

ぶっちゃけまだ長い（画数多い）ので思い切って「MU銀行」まで縮めてもらえるともっと嬉しいのだけど．

67mm のレンズキャップが約半分埋まってるので 3cm 位の積雪か．

そしてこんな日に半日ほど寒い部屋の椅子に座ってるお仕事に拘束されるとか……　エアコンがお馬鹿で部屋の上のほうが暖かいと仕事しなくなるので足元がとても寒い．というかそもそも設定温度が高くない上に手元でコントロール出来ないし．せめてサーキュレータでも置いてくれればいいのにそれもない．次あったら冬山用の登山靴で行く．

また積もってる．遊んでる時間無いし，そろそろ飽きてきた．

というか車から雪を落とすのが地味にめんどい……　実は洗車代わりになってるような気もするけれど．

危機的状況なのを付きっきりでエンドレスに処理しきろうと思ったけれど23時に断念．晩飯も食わずに続けるには寒すぎる．

ということで明日に持ち越し．