いや、どうでもいい話なんですが。研究会終了後、研究科棟にいたときの話。S氏は松尾芭蕉について英語で読んだらしく、「彼は Matsushima について何か haiku を書いたのか」と質問を受ける。とりあえず「松島や、ああ松島や、松島や」と詠んだと言われてい…

14時より17時まで。二階算術における強制法をsyntacticalにやる方法についてと、マーティン=レフ-ランダム性とチャイティン-ランダム性の同値性について。Simpson氏も盛んに質問していた。

晴れているが気温は低い。起床は11時半。国分町に行き、「太助」で牛タン定食を食べる。学科事務室に行き、書類の処理をしてから会場へ。25時に寝る。