No Such Blog or Diary

午前のセミが長引く ＋ 午後イチで講義 ＝ お昼抜き

夕方からデバッグしにくいコートを書いている ＋ GHCi が落ちまくる ＝ 晩飯そっちのけ

気がついたら朝飯しか喰わずに今日が終わる……

閑話休題．

この数時間で GHCi を何回落としたのか数えるのも嫌になってきた．何が悪いんだか．何も吐かずに落ちてくれるので原因がよくわからないので困る．

バージョン変えたら良くなったりするんかな．

1000頂点の完全グラフで各エッジに int を 50 個程度持たせただけでメモリが足りないってのは何なんだろう…… ヒープサイズ4GB とかにしてるのに．

実装が腐っているというのが妥当な理由かもしれない．悩ましい．

sudo と打とうと思って udo と打ってしまったら，親切な Ubuntu 曰く：

プログラム 'udo' はまだインストールされていません。 次のように入力することでインストールできます: sudo apt-get install udo

ということで，とりあえず面白そうなので入れてみたら，どうやら様々なフォーマットに出力できるドキュメント記述言語っぽい．Universal Document Output なのだとか．出力先のフォーマット数が多い気がする．そのうち思い出したら使ってみるか．

だがしかし，グーグラビリティが低い．

天神までバスを使って片道1時間程度だからプログラムでも書くかとか思って作業をしてみたら，目がつかれたのか頭が痛い．移動時間に作業できる直通バスなら出勤時間が延びてもいいかなとか思ってたけれどやっぱり作業するには向かないのでよろしくないアイデアっぽい．移動時間に寝ている先生方が正しいのかもしれない．

事務の方に仕事（テキストをWebページに起こしつつ必要なフォームを準備する）をお願いしたら，想像よりもだいぶ早く結果が返って来て感動した．具体的には 2～３日後に返ってくれば OK とか思いつつ午後5時に仕事を投げたら2時間後の午後9時に出来上がってた．優秀な人材．仕事が早くてとても助かる．

だがしかし，この方が仕事辞めたらどうなってしまうのか……

3年間事故もなかったので保証を下げて安くすべきなのか，そろそろ気が緩んで自爆するから保証を増やすべきか，悩んだ結果ノンフリート等級が上がって安くなるから自爆に備えて特約を追加することにした．

山深いところとか遠出したところとかで自走不能になった時に，車のレッカー移動費をカバーする特約は付けてたけれど本人の移動費をカバーする特約を付けてなかったので，今回それを追加．自分の行動範囲を考えるに，費用対効果がとても良い気がする．あとは最近流行りなので車両保険の条件に地震・噴火・津波を付けてみた．

だがしかし，山奥の道を走ってる最中に谷底に落ちた場合，車はレッカー移動じゃないし本人は救急車での搬送だろうから，この特約をつける意味があるのかないのかよくわからない．