市内で夕食会。P教授が引率して、6人で市内へ向かう。 途中にあった、ジョージ・オースティン（ジェーン・オースティンの父）の墓。 市内を歩く一行。 海鮮レストランに行き、夕食。私はタラを食べる。イギリスの魚は美味しい。

G氏と彼の学生とA君を交えてお茶を飲む。 （調整中）

その後は回復したA君と私が発表。45分のはずが30分になったので、大急ぎで終わらせる。和やかな雰囲気で終了。 驚いたのは、終わった後、わざわざG氏が握手に来たこと。お互い「出稼ぎ論理学者」なので、同種の臭いを嗅ぎ付けたんだろうか。

午後の発表は、所長による研究所の紹介と、Alessio Guglielmi氏による "deep inference" の紹介。 "deep inference"は、Girardによる"Gemoetry" から発達した証明論の技法の一つ*1で、「exchange ruleなどの官僚主義的な瑣末にとらわれることなく、contracti…

起床は7時半。発表練習をしてから、9時にP教授のオフィスに集合。午前中はB大学の人の発表を聞く。しかし寒くて震え上がり、とても発表を聞くどころではない。 昼食は大学のカフェテリア、カレーを食べる。同行していたA君の顔が真っ青で、気分が悪いらしく…