晴れ。一限I先生授業。今年度最終回。GOLEMの成果をPROLOGと確証SF論理の二つで評価すると・・・、という話。そこから、論理学はエンピリカルな学問である、というテーゼ。来年はゲーデル。午後、上ヶ原非常勤。面白いといってくれる生徒がいる幸せ。夜。ふ…