No Such Blog or Diary

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

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

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

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

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

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

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

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

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

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

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

何だかんだで昨日は朝4時になってから今夜は寒いなぁと思いつつ寝たのだけど，10時頃に起きたら雪が12センチ位積もってた．

飲むヨーグルト vs ベランダの雪．

2Lペットボトル vs 車の上の雪．

そして折角なので開けたスペースのある筑豊緑地へ．とりあえず真っ白．

300m トラックとか完全に雪国．

んで，雪だるまでも作ろうかと思ったのだけど雪がサラサラ過ぎて上手くまとめられず断念．霧吹きでも持っていけばどうにか出来ただろうか．今後の課題．

閑話休題．

くるぶしが余裕で埋まる高さに積もってたので木の根元の土と囲いのブロックとの段差が見えずに足を挫いた．登山靴持ってきゃよかったと反省．