15時より15時半まで。発表の出来そのものは普通でしたが、はい、久しぶりに失敗したという感じがしました。 というのも、今回の発表の骨組みは昨年夏イギリスで発表したときのものだったのですが、非古典論理の代数的意味論の専門家たち向けでした。今回は聴…

午前の部では座長、複素解析についての逆数学と部分的ランダム性について。Lさんの講演が時間オーバーしかかってヒヤヒヤする。午後はゲームの決定性とマス問題に付いて。

眠い。起きたら雪が降っていた。10時半から17時まで研究集会。昼食は生協（久しぶりに母校の飯の不味さを堪能する）。その後26時に寝る。