http://d.hatena.ne.jp/cranebird/20081221/1229816029 で shiro さんに頂いたコメント。 1) 「この範囲には絶対に自由変数はないよ」とするととても大変なような。構文識別子は許すとしても、consもcarもcdrも使えなくなります。2) (lambda (x) (lambda (y)…