■

起床は8時。眠い。勤務表を提出に出かける。
K助教授の授業は "Hilbert programme" (Kreisel)の続き。「論理式に対するモデルではなく、証明に対するモデル」というKreiselの希望を実現するのがLinear Logicでのproof netだとか。あまり時間で発表をする。Sorities ParadoxをPAの中で形式化するという話、しかし今の段階ではあまり話がふくらまない。
午後は留学生センター再訪。書類を提出して帰ってくるが、帰還後大学院事務から電話で、今提出した書類は大学院に提出してほしいとのこと。勤務時間が終わって科哲原稿の発表練習を始めると、とたんにまた電話がかかってくる。
帰宅は19時。夕食はミートソース。録画の「ホワイトハウス4」を見て、23時半に寝る。