KalvalaのGentle Introductionにある自然演繹とユニフィケーションの絵、Nipkowの http://isabelle.in.tum.de/coursematerial/PSV2009-1/session45/document.pdf の絵とか。ダメダメだ。頑張って親切に説明しているが、誤解を助長するだけだろう。やっぱりス…

根本的にナニカが抜けているかも - 檜山正幸のキマイラ飼育記 メモ編 なぜ分かりにくいのか？ の分析 - 檜山正幸のキマイラ飼育記 メモ編 ポールソンにしろ1994年KalvalaのGentle Introductionにしろ、アルゴリズムと証明論を結ぶ話をしてない。まったくと言…