線型論理の創設者、我らが碩学、J.Y.Girardの証明論に関する講義録"Blind Spot"の英語版がpdfで公開された（Georg's diary経由）というので見てみる。

一日原稿書き。夜になって、論文の構成上、もう一つテーマを付け加えることに。早期完成を目指していたのに･･･。