「recursion theory」を解説文に含む見出し語の検索結果(1～10/109件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/08 16:44 UTC 版)「レイモンド・スマリヤン」の記事における「Recursion Theory for Me...
集合論において、順序数 α が許容順序数（きょようじゅんじょすう）であるとは、Lα が許容集合（英語版）（すなわちKripke–Platek集合論（英語版）の推移的内部モデル（英語版））であるときをい...
集合論において、順序数 α が許容順序数（きょようじゅんじょすう）であるとは、Lα が許容集合（英語版）（すなわちKripke–Platek集合論（英語版）の推移的内部モデル（英語版））であるときをい...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/08 16:44 UTC 版)「レイモンド・スマリヤン」の記事における「専門書」の解説Theory of Formal...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/04/09 08:34 UTC 版)「ジオマンシー」の記事における「脚注・出典」の解説^ Skinner, Stephen ...
佐藤理論（さとうりろん）は、佐藤幹夫によるソリトン方程式と解に関する理論である[1]。(京都大学数理解析研究所講究録388 1980[2],; 414, 1981 ...
左再帰（英: Left recursion）とは、言語（普通、形式言語について言うが、自然言語に対しても考えられ得る）の文法（構文規則）にあらわれる再帰的な規則（定義）の特殊な場合で、ある非終端記号を...
左再帰（英: Left recursion）とは、言語（普通、形式言語について言うが、自然言語に対しても考えられ得る）の文法（構文規則）にあらわれる再帰的な規則（定義）の特殊な場合で、ある非終端記号を...
ナビゲーションに移動検索に移動smn定理 (英: smn theorem) もしくはパラメータ定理 (英: parameterization theorem) とは、再帰理論における定...
ナビゲーションに移動検索に移動smn定理 (英: smn theorem) もしくはパラメータ定理 (英: parameterization theorem) とは、再帰理論における定...
< 前の結果 | 次の結果 >