いつもよくしていただいている某先生と、某先生と、某先生の新刊を購入する。 また拝読して勉強致します。 誠にありがとうございます。 Moto-o Takahashi “A System of Simple Type Theory of Gentzen Style with Inference on Extensionality, and Cut-Elim…

夜中の0時頃から昼を回った3時頃まで眠った。 こんな時間まで眠っているなんて、久し振りである。 眠りすぎなのか、頭が痛くてしんどい。 最近は忙しい。 来週以降もさらに忙しいだろう。 夜になって、疲れが大分取れてきた。