No Such Blog or Diary

ちょっと他の人の担当分からページもらってこないとどうにもならん気がしてきた．うーん……

閑話休題．

リアル「ガラスのカボチャ」っていくつ出回っているんだろう？

卒業アルバムの写真を撮ってもらうのに写真屋さんを呼んだ．ものすごく逆光なところを撮影場所に選んでて大丈夫かなぁとか思ってたのだけど，写真屋さんは SB-800 と SB-900 を 6個つなげて何事もなかったかのように撮影．金のかけ具合が違うなぁ．

姿勢悪くディスプレイに向かいっぱなしなのがいかんのか，大分よろしくない．

締切は金曜日か……

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

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

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

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

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

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

閑話休題．

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