• ゲンツェンのsequent計算練習の続き。だいぶ慣れてきて楽しくなってきたけど、まだ推論規則が身に付いていない。
• 水泳。ふつー1,200m。還暦を過ぎても我々（って誰）より速い某T田先生は、これを「ワンセット」と呼んでおられたことを思い出す。「今日は何メートル泳がれたんですか？」「ワンセット」。
• そうそう。発表原稿の準備もせねば。そのつもりで図書館へ出向き、例によって関係ない雑誌論文を山ほどコピーする。
• えーと、会議ひとつ。
• 政治的な風がびゅうびゅう。
• BonJourの最新作についてのKornblithのミニ書評を読む。おおむね好評のようだがちょっと分量が少な過ぎ。