iBookにワードなどをインストール。夜は家に持ち帰りネットにつなぎ、システムアップデートをかける。またamazonの古本で注文していた「ケインズの哲学」が郵便で到着。 帰宅は19時。夕食は久しぶりにCの手料理でラザニアとステーキ（というか、冷蔵庫の残り…

K助教授の授業。途中A教授が飛び入り参加し、自分の証明論についての見方はいかに深くKreiselの影響を被っているかを語る。しかし彼は学生時代にKreiselを読み込んでいたらしく、訳のわからないKreiselの文章について「このほのめかしは誰々の何年の結果を指…

起床は8時。どんどん寒くなり、朝は少し悪寒がした。