リカーシブ

ASCII.jpデジタル用語辞典

リカーシブ

再帰的という意味。プログラミング言語において、あるサブルーチンの処理中に自分自身を呼び出す処理のこと。この方法を利用した関数を再帰的関数という。言語によって、できるものとできないものがある。複雑な処理も再帰呼び出しによって簡単に解決できる利点を持つが、処理の終了条件を明確にしておかないと、無限ループやメモリー不足によるトラブルを引き起こす危険性がある。

出典　ASCII.jpデジタル用語辞典

世界大百科事典（旧版）内のリカーシブの言及

【数学基礎論】より

…これはきわめて妥当なものと認められ，帰納的関数の理論は決定問題の解決に数学的根拠を与えることとなった。自然数の集合や自然数に関する命題P(x₁，……，x_n)がリカーシブrecursiveであるとは，その特性関数あるいは表現関数が帰納的関数となるときをいう。体系Sにおいて対象a₁，……，a_nに関する命題P(a₁，……，a_n)が与えられているとき，SにおけるPの決定問題とは，Sにおいて命題Pの対象となりうる任意のa₁，……，a_nに対し，P(a₁，……，a_n)が成り立つかどうかを有限回の操作で判定する一様な手順を求めることである。…

※「リカーシブ」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」