No Such Blog or Diary

12月12日が何故バッテリーの日なんだろうと思って調べてみたら，野球のバッテリー（ピッチャーとキャッチャー）のポジションを表す数字が 1 と 2 だからとかいう理由だった．

んで，そんなことより，電池は英語で battery だけど，実は野球のバッテリーも砲列も同じ battery であるというのに今更ながらに気づいた．最初に電池を battery と呼んだ人は電子（電気）を打ち出す砲台か何かのイメージを持ってたのだろうか．

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

夕方からデバッグしにくいコートを書いている ＋ 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時に出来上がってた．優秀な人材．仕事が早くてとても助かる．

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