15日、金曜。

晴れ。

一限I先生授業。今年度最終回。GOLEMの成果をPROLOGと確証SF論理の二つで評価すると・・・、という話。そこから、論理学はエンピリカルな学問である、というテーゼ。

来年はゲーデル。

午後、上ヶ原非常勤。面白いといってくれる生徒がいる幸せ。

夜。ふんばろうとして、ころぶ。

朝：インスタントラーメン。昼：天津飯。夜：ピザ。