朝からI先生授業再開。PROLOGにおけるnegation as failureの続き。推論に対するコントロール機能としてのカット。昼から上ヶ原。哲学史の授業はやはりしんどい。夜、のんびり飲みにでる。朝：サンドイッチ。昼：牛丼。夜：新さんまやら土瓶蒸しやら。