No Such Blog or Diary

頼んだ日本酒が無かった．ビンゴはリーチが早かったのにビリ．

そして残り5マスだけどまだビンゴにならないという状況はどの程度の確率なのだろうかと考えつつ帰宅．よく分からん，

ふたご座流星群を見るために晴れるのを待ちつつ徹夜で作業して，早朝に外に出てみたら，晴れてるけど霧で星がよく見えないというオチ．肉眼ではいくつか流れたようなのを見られたけれど，カメラではうまく撮れなかった．ポータブル赤道儀（ケンコーのスカイメモS）と大きめの三脚（マンフロット 190T アルミ3段）を用意していたのに残念．

そしてこんばんは雨だし，また来年．

閑話休題．

三脚のツイストロックが良い感じ．ロック捻って重力任せでシャコッと展開収納してロックを捻り直すだけなので，ベルボンのウルトラロックより展開・収納が楽かも．

だがしかし，重い．3キロ弱ってのは思ったより重い．とりあえず車移動時専用．

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

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

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

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

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

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

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

閑話休題．

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

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

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

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