私の発表は13時より19時まで、非古典論理上の包括原理を持つ集合論についての概論的説明です。新しい結果は無し。 色々脱線（矛盾許容論理とか反復的集合観とか）を交えながら6時間しゃべりっぱなし。出席者は幾何系の数学者7名、かなり興味を持ってもらえた…

午前は初夏の陽気、午後は強い雨が降る。中之島に行き、某非公式セミナーへ出る。N先生のお話の後、私も発表。懇親会に出て、23時に帰宅。