庭ですくすくと育った木（何の木なのかさえわかりません）、冬の間は葉が全部落ちて丸裸だったのですが、この陽気できれいな新芽が一斉に広がりました。で、根元からのこぎりで切った。「木を植える男」と正反対のことをしていますね、私。

GHCを6.10.2に上げたことを機会に、HaskellのIDE, Leksahのインストールにもう一度挑戦し、成功しました。 すっかり、インストールと動作確認マニアの週末。

ポアンカレ予想 (1904年)からペレルマン証明(2003年)まで99年。番組にも取り上げられるほどでしたが、ケプラー予想「最密球充填は、面心立方最密もしく六方最密かその組み合わせである。」(1611年)からヘイルズ証明(1998年)まで387年かかったのに、あまり話…