「recursion theory」を解説文に含む見出し語の検索結果(41～50/109件中)
Jump to navigationJump to searchプロセス計算（プロセスけいさん、英: Process calculus）またはプロセス代数（プロセスだいすう、英: Pr...
Jump to navigationJump to searchプロセス計算（プロセスけいさん、英: Process calculus）またはプロセス代数（プロセスだいすう、英: Pr...
動的計画法（どうてきけいかくほう、英: Dynamic Programming, DP）は、計算機科学の分野において、アルゴリズムの分類の1つである。対象となる問題を複数の部分問題に分割し、部...
動的計画法（どうてきけいかくほう、英: Dynamic Programming, DP）は、計算機科学の分野において、アルゴリズムの分類の1つである。対象となる問題を複数の部分問題に分割し、部...
アッカーマン関数（アッカーマンかんすう、英: Ackermann function、独: Ackermannfunktion）とは、非負整数 m と n に対し、 A ( m , n ...
アッカーマン関数（アッカーマンかんすう、英: Ackermann function、独: Ackermannfunktion）とは、非負整数 m と n に対し、 A ( m , n ...
アッカーマン関数（アッカーマンかんすう、英: Ackermann function、独: Ackermannfunktion）とは、非負整数 m と n に対し、 A ( m , n ...
アッカーマン関数（アッカーマンかんすう、英: Ackermann function、独: Ackermannfunktion）とは、非負整数 m と n に対し、 A ( m , n ...
数理論理学や記述集合論において、解析的階層（かいせきてきかいそう、Analytical hierarchy）は算術的階層の拡張である。論理式の解析的階層には二階算術の言語による式が含まれ、すなわち、自...
数理論理学や記述集合論において、解析的階層（かいせきてきかいそう、Analytical hierarchy）は算術的階層の拡張である。論理式の解析的階層には二階算術の言語による式が含まれ、すなわち、自...