最近MLに興味があります。最新コンパイラ構成技法(Modern Compiler Implementation in MLの和訳本)を読んでるからというのもあるのですが、それとは別に型についてつらつらと考えていくとMLにあたることがままあったものですから。

うーん、今日は暑かった。現在22:50の室温は26～29度。窓を開けていると風が心地よい。USBRH Monitorの記録では日中30度を越えていたらしい。

色々と夏の支度をしないといけないな。

キーボードの掃除をしました。

• キーボードの掃除(Picasa)