「Recursive function」を解説文に含む見出し語の検索結果(61～70/161件中)
帰納プログラミング (Inductive Programming, IP) は人工知能とプログラミングの研究分野をまたぐ自動プログラミングの特殊分野である．通常，入出力例や制約などの不完全な仕様からの...
対関数（ついかんすう、英: Pairing function）とは、2つの自然数を一意に符号化して1つの自然数を返す関数である。集合論では、任意の対関数を用いて、有理数全体の集合 Q が可算濃度である...
対関数（ついかんすう、英: Pairing function）とは、2つの自然数を一意に符号化して1つの自然数を返す関数である。集合論では、任意の対関数を用いて、有理数全体の集合 Q が可算濃度である...
クリーネの再帰定理（クリーネのさいきていり、英: Kleene's recursion theorem）は、再帰理論における2つの基本的な結果である。この定理によれば計算可能関数をそれ自身を用...
クリーネの再帰定理（クリーネのさいきていり、英: Kleene's recursion theorem）は、再帰理論における2つの基本的な結果である。この定理によれば計算可能関数をそれ自身を用...
著者ウォード・カニンガムP・J・プロージャー（英語版）木村泉（訳）出版マグロウヒル共立出版（訳本）出版年19781982（訳本）頁数168 ページISBN.mw-parser-output cite....
数理論理学の一分野である証明論において、初等関数算術（英: elementary function arithmetic）または指数関数算術（EFA）は算術の体系のひとつであり、関数記号 0 ...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...