｢4.1.5 プログラムとしてのデータ｣では、これまでに説明されてきた評価器は万能機械であるという視点について述べられています。プログラムそのものも、評価器にとってはデータなのだということで、非常に興味深く読み進めました。注釈19には、Turing機械に…

｢4.1.6 内部定義｣に入りました。四章の第一節もゴールが見えてきましたが、このトピックは問題が多く、しかも一筋縄では解けそうにないので、ちょっと参っています。 問題4-16を解く前に、問題4-6で定義した自前のletが正しく動くかを試してみました。結果は…