flickr2006/10/10名前付きletをlambda式にしたい。SICPの第4章では、Schemeの式の評価機をSchemeで書く。書くとやたらに抽象的で深遠でカッコよさげに聞こえるけど、まずはプロシージャをいくつかのスペシャルフォームによる表現に均さないといけないからandやorをletをlambdaにするとか、そういうどちらかというとバタ臭い作業が続く。ex.4.8では、名前付きletをlambda式にしろとある。defineを使う方法。式の表現を変換するだけの作業には飽きてきたので、不必要に解答をややこしくしてみる。要するに関数を再帰させる話だと解釈して、こういう問題設定にする。再帰的なプロシージャを抽象化したい。