再帰関数とは (ID:68186)

名前

ホームページ(ブログ、Twitterなど)のURL (省略可)

本文 > 関数を入れ子にするのは理解できるのですが、この時、関数は、どのような働きをしているのでしょうか。 ツリービューが帰納的に定義されてるなら、そのノードはwell-foundedな集合の元となる。それを調べる再帰関数は開始するノードからのinfinite descending chainを辿る働きをするわけだ（これはもちろん有限のステップで停止する）。