世界大百科事典（旧版）内の再帰的関数の言及
【アルゴリズム】より
…
[関連領域]
アルゴリズムに関連して，次のような研究が行われている。(1)計算の可能性について…再帰的関数の理論。(2)論理的正しさについて…プログラムの正当性理論。…
※「再帰的関数」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」
Sponserd by 
ローマ法王ともいう。ラテン語 Papaの称号はカトリック教会首長としてのローマ司教 (教皇) 以外の司教らにも適用されていたが，1073年以後教皇専用となった。使徒ペテロの後継者としてキリスト自身の定...