>>420-421
ありがとうございます。
LISPでは"self"というキーワードで、現在の評価中関数の
参照が取得できるんですね。なるほど。

ネットでラムダに関して何か良いドキュメントはないかと探していたら
http://members.at.infoseek.co.jp/nbz/ref/lambda.html
こんなものがありました。
α変換、β変換について書かれているところで、自由変数(free variable),
束縛変数(bounded variable)という分らないキーワードが出てきたので
http://www.graco.c.u-tokyo.ac.jp/~kashiwa/sysI/2001/pred/node4.html
このドキュメントを読んでいまいた。

Cでいうところのローカル変数が束縛変数。関数の仮引数が
自由変数という解釈でいいのでしょうか？それともこういった
現実のプログラミング言語に置き換えるのは間違いでしょうかね、、