プログラミング言語の基礎概念を学んでる - はこべブログ ♨ の続きです。前の記事では、プログラミング言語の基礎概念という本を紹介した。この本では学んだことを確認するために、S(S(Z)) + Z evalto S(S(Z))のような式が正しいことを、与えられた推論規則…