■

よく晴れた日、気温も10月末とは思えない暖かさ。
起床は8時15分、出勤してコーディングと本読み。夕方は談話会、台湾の教授。終了後も読書。一日中 de Bruijn representation について悩むが、少しはわかった気がする。20時半に退所。
帰宅は22時、Ib君が先日忘れた携帯電話を取りにくる。夕食は牡蠣とホウレン草のオリーブオイル・パスタ。