＠県立美術館。マルティーン・ディヒトル最高。 県立美術館は典型的な安藤建築。 サイーフェの絵の登場人物が、壁に貼り付けてあった。

＠神戸大学。午前中のみ出席。 Ordinal-Free Proof of the Cut-Elimination Theorem for -analysis with omega-rule （秋吉亮太） 昨年の科学哲学会でした話の詳細版。 Takeuti's proof of cut elimination for -CA. (W.W. Tait) 順序数記法を使わないで説明…

朝は曇り、暖かい。しかし昼から雨、気温も下がる。午前は研究集会、午後はCと合流し、昼食後に某用件。終了後、時間が余ったので美術館へ。それから三宮に出て、時計屋とデパートに行く。夕食は寿司（白子が旨い）。