「包括原理のある集合論と超準的自然数」

発表は13時半から。しゃべり始めは順調だったが、冷房があまり効かない部屋で、暑さのあまり朦朧としてくる。発表の出来は、野球に例えると
「7回投げて3失点、勝ち負けなし」
といった感じか。良くもなく悪くもない出来。ただブルペンでの調子は完封しかねない勢いだったのに。引っ込み思案なので、ビジターの試合に弱いのかも。
研究会は17時に終了。帰宅は22時頃。