No Such Blog or Diary

氷が溶けてしまう前に阿蘇とかに行っておかねば．いつまで凍っているのだろう？

軽く2～3倍位ある．どうやって縮めるか，説明の戦略を変えないと無理だなこれは．

vm_compute が爆速で驚く（インスタンスのサーチが速くなるのか？）．

OCaml のバージョン違いでエラーを食らう（ハッシュテーブルのイテレーションの違いだかで omega の挙動が微妙に変わる）．

tactics の知識不足でうまく証明が書けないから proof-term をダイレクトに書いてしまう．そしてそのせいで Code extraction に失敗する意味不明なエラーを食らって泣く．

まだまだ修行が足りない．

閑話休題．

svn のチェックアウトに数時間かかるってのはどうなんだろう？　サーバが遠すぎるのが原因か？

車の屋根が真っ白くなる程度には積もった．高速道路も各所で通行止めが起きたようで．

とりあえず，先週末に降らなくて幸い．

昨日洗車したばっかりなのに……　大気が汚すぎるんじゃないの？　洗車代が馬鹿にならん．

時を刻むのは問題無いのだけど，ストップウォッチ機能とかのためのボタン類が音付きで誤動作しまくるのでセミナーとかで困りそう．18年もノーメンテだしなぁ．1年前くらいにも修理に出そうかとか思っただけど面倒でそのまま放置してたら最近になって特に機嫌が悪くなってしまった．

とりあえず部品があるのかどうかメーカーに聞いてみるか．