2007-07-13 13日、金曜。 日記 #練習用 朝。AI演習。第一不完全性定理の証明。大きな山を乗り切ったところで前期は打ち止め。雨はいっかいやんで午後からまた降り始める。歩くにあるけないお天気だし、こんな日のバスは地獄だし。ふう。夕方はテイラー演習。こちらも授業としては前期最後。devout humanismをめぐる議論のあたり。一つひとつ終わっていくのは嬉しくもありそこはかとなく寂しくもあり。