前に書いた↓これの続き。 cut-elimination.hatenablog.com ↑ではSauer先生という人の論文と植村玄輝先生によるまとめ↓を取り上げた（Sauer論文のリンクは植村先生の記事内にあり）。 uemurag.hatenablog.jp 植村先生はその後もいろいろコメントを書いておら…

予告を見てあまりおもしろそうではなかったのだが、最近観るものもなくちょうど時間が空いていたので観てきた。結果、予想通りそんなにおもしろくなかった。 帰りに湿った雪が降っていてかつ足元がぬかるんでいてアカンかった。 話は前に見た『バッタ君町に…