起床は10時。やっぱり暑い一日。一回大学に寄ってから、京都に出発。数解研到着は13時半。K助教授の設計論の講演（なぜ「超準モデルにおける一階定義可能性」がテーマの研究集会で設計論？）を聞いた後、残りの講演の時間は最後列の席で自分の計算をして過ご…