>>993
でもプログラムの中に毎回

(Y
(lambda (recfun)
(lambda (l)
(cond
((null? l) 0)
(t (add1
(recfun (cdr l))))))))

と記述するのは面倒です。インタラクティブに実行するときも
メンドイ。名前が無いととても扱いにくいです。
上の式自体にlengthって名前付けてしまうと、名前空間を汚さない
メリットが無いような。