出張（二日目）

起床は8時、安宿なのでうるさく、よく眠れず。慌てて大学へ。研究集会二日目、カリー化の話が印象に残った。ほかに自作証明系やフレーゲの話まで。面白い話が多いが、二日目なので参加者の疲労度が濃い。

大学のプレゼン室、天井の蛍光灯がデジタル数字の8の形。
15時半に終了、つくばエクスプレスと総武線／中央線経由で実家へ。夕食は牡蠣のソテーなど。厚さ5cmの小説「ラナーク」を読もうと実家まで持ってきたのだが、結局少ししか読まず。24時に寝る。