朝。ＡＩ演習。第一不完全性定理の証明。大きな山を乗り切ったところで前期は打ち止め。雨はいっかいやんで午後からまた降り始める。歩くにあるけないお天気だし、こんな日のバスは地獄だし。ふう。夕方はテイラー演習。こちらも授業としては前期最後。devout…