■

起床は8時。朝が寒い。メールサーバーに接続できず。大学のサーバーがあてにならないので、プロバイダーにメールを転送しているのだが、どうも学内/外の接続がおかしい様子。仕事にならないので論文修正にいそしむ。
昼休み、YouTubeで今更ながら「涼宮ハルヒの憂鬱」を見る。良くできたアニメだと感心する。
午後はA教授の授業、本日は短縮バージョンで、relationに関してstandard model 上でΔ_0-definableであることとLinear Time Hierarchyに入ることが同値であることの証明。講演会を尻目に雑用し、その後やっと論文修正にとりかかる。帰宅して夕食後も論文修正。「ハルヒ」の続きを見て25時半に寝る。