6日、金曜。今日も雨。

朝からI先生授業再開。

PROLOGにおけるnegation as failureの続き。推論に対するコントロール機能としてのカット。

昼から上ヶ原。哲学史の授業はやはりしんどい。

夜、のんびり飲みにでる。

朝：サンドイッチ。昼：牛丼。夜：新さんまやら土瓶蒸しやら。