2013-05-08 水曜 コーヒーを淹れて通常通り出勤。ごりごり仕事。 昼休みはラッパ。クラークの「ヴェニスの謝肉祭」は基礎練習の要素がたっぷり入っていて楽しい。 ちょっと早めに帰宅。古い手紙の整理をしたり、自宅の本棚にある古い技術文書を整理したり。15年前のObjective-Cのドキュメントは使えないけど、30年前の公理的集合論の解説ドキュメントはまだ使える。