2007-06-29 29日、金曜。 日記 #練習用 一限AI演習。不完全性定理の入り口。大雨かと思ったら意外と降り出さない。夕方。テイラー演習。進もうと思ったけれどなかなか進めず。こういう歴史的注釈の必要なものは、どうしても解説が長くなってしまう。しゃべるがわは勉強になってうれしいんだけれど、学生さんはどうなんだろう?退屈しない授業なんかない、と割り切るのが一番か。夜。調子にのって飲みすぎ。