2007-10-30 ■ 雨。気温が高く、湿度も高い。 起床は8時15分。とても眠い。出勤してコード書き。本日から実装に入るが、直観主義タイプ理論の型の厳しさに泣く(KTさん、ありがとうございます)。いろいろで遅くなり、21時まで残る。22時半に帰宅、夕食はキャベツのオリーブオイルパスタ。