No Such Blog or Diary

先週後半から続けていた作業を windows update の強制再起動により強制的に中断させられたので腹が立ったという話．作業環境（ターミナル達）を復元し直すのに無駄に時間を食った．再起動後の作業時間30分で一段落ついたのだけど，なぜあと30分延長とかいうオプションがなかったのか．

せめて強制再起動までに2週間位の猶予がほしい．

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