K.Maebashi's BBS

ご回答ありがとうございました。 >　説明不足でしたでしょうか。 >　「定義するもの自身をその定義で書いた」もののことを「再帰的定義」と言いまして、プログラミングの世界ではさほど珍しいものではありません。 僕が混乱したのは、きっと、１次式の定義に「式」という１次式を含む未定義のクラスが登場したと受け止めたからだと思います。 式は１次式から構成されるものなのでしょうが、どのように構成されるものをそう言うのか、そこでの記述では不明だと思います。定義になっていないのでは。