K氏と天神に行き、翌日のワークショップの配布資料作り。その後福岡大に戻り、懇親会。本でしかお名前を知らなかった某先生にお会いできて感激。その後天神で二次会、ワークショップ関係者全員に24時半で強制退去させる。

「順序数を用いないカット消去定理の証明について」（秋吉亮太氏） 非可述的な体系 のカット除去を、証明論的順序数を使用しないで行う、と言う話。可述的な体系のカット消去は理解が容易だが、非可述的な体系の場合は証明論的順序数の順序関係が複雑になる…

早めに起きてホテルで朝食、バイキング形式だがベーコンが冷めていてがっかり。午前9時にホテルを出る。福岡は大阪よりも暑く、10月と言うのに軽く汗ばむ。