数解研で研究集会（参加2日目）

起床は10時。やっぱり暑い一日。一回大学に寄ってから、京都に出発。数解研到着は13時半。K助教授の設計論の講演（なぜ「超準モデルにおける一階定義可能性」がテーマの研究集会で設計論？）を聞いた後、残りの講演の時間は最後列の席で自分の計算をして過ごす(JPL論文のレフリーから要求されていたinterpretationを作った)。
18時に河原町でCと待ち合わせ、高倉のオートロワで夕食。帰宅は22時頃。