>>978

＞結局、lengthを定義する際に、λ式にdefineで名前を与えてやらないと、
＞λ式本体(lambda文の定義部)で、無限にλ式がネストしてしまう、
＞つまり定義不可能と理解しました。

ところが>>989をよくみるとY-combinatorのご利益がわかる。
これでdefineで名前空間を汚さなくて済むようになる。