基本的な再帰の練習は5章までで終わり 第6章「影法師」からは応用編といった感じ 6章では算術式を題材にして表現と抽象化を学びます 算術式をschemeで取り扱うためにS式で表したものを算術式の表現と呼びます まずは単純に、n + 3を(n + 3)と表現します ということは1 + 2 + 3の表現は(1 + 2 + 3)かと思ったらハズレ ここでは「2つの(数を含む)アトムか算術式を+か*か^で結合したもの」を算術式と呼んでます 算術式の定義に算術式が出てきますので再帰的定義ですね こういうのが後から出てくるのがこの本の特徴 1 + 2 + 3は算術式1 + 2と算術式3を+で結合したものか、 または算術式1と算術式2 + 3を+で結合したものとみなせるので その表現は((1 + 2) + 3)か(1 + (2 + 3))のどちらかになります 右から結合とか左から結合とかは決まっていないよ