曇りなき眼で見定めブログ

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