ASCII.jpデジタル用語辞典 「リカーシブ」の解説
リカーシブ
出典 ASCII.jpデジタル用語辞典ASCII.jpデジタル用語辞典について 情報
出典 ASCII.jpデジタル用語辞典ASCII.jpデジタル用語辞典について 情報
…これはきわめて妥当なものと認められ,帰納的関数の理論は決定問題の解決に数学的根拠を与えることとなった。自然数の集合や自然数に関する命題P(x1,……,xn)がリカーシブrecursiveであるとは,その特性関数あるいは表現関数が帰納的関数となるときをいう。体系Sにおいて対象a1,……,anに関する命題P(a1,……,an)が与えられているとき,SにおけるPの決定問題とは,Sにおいて命題Pの対象となりうる任意のa1,……,anに対し,P(a1,……,an)が成り立つかどうかを有限回の操作で判定する一様な手順を求めることである。…
※「リカーシブ」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
外国人や外国の思想・文物・生活様式などを嫌ってしりぞけようとする考え方や立場。[類語]排他的・閉鎖的・人種主義・レイシズム・自己中・排斥・不寛容・村八分・擯斥ひんせき・疎外・爪弾き・指弾・排撃・仲間外...
4/12 日本大百科全書(ニッポニカ)を更新
4/12 デジタル大辞泉を更新
4/12 デジタル大辞泉プラスを更新
3/11 日本大百科全書(ニッポニカ)を更新
2/13 日本大百科全書(ニッポニカ)を更新