関数型言語の勉強にSICPを読もう - (76) 4章 - 超言語的抽象(268-270ページ)

「規則」「プログラムとしての論理」を読みました。
問題はスキップ。