「再帰的定義」を解説文に含む見出し語の検索結果(1～10/90件中)
ナビゲーションに移動検索に移動再帰的定義（Recursive Definition）は、再帰的な定義、すなわち、あるものを定義するにあたってそれ自身を定義に含むものを言う。無限後退を避けるため、定義に...
ナビゲーションに移動検索に移動再帰的定義（Recursive Definition）は、再帰的な定義、すなわち、あるものを定義するにあたってそれ自身を定義に含むものを言う。無限後退を避けるため、定義に...
ナビゲーションに移動検索に移動再帰的定義（Recursive Definition）は、再帰的な定義、すなわち、あるものを定義するにあたってそれ自身を定義に含むものを言う。無限後退を避けるため、定義に...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/14 06:38 UTC 版)「ミンコフスキーの疑問符関数」の記事における「有理数引数に対する再帰的定義」の解説単位区...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/09 09:58 UTC 版)「LISP」の記事における「プログラム例」の解説以下にいくつかのLISP (特にComm...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 08:09 UTC 版)「ロビンソン算術」の記事における「公理」の解説Qの基盤となる理論は等号付き一階述語論理で...
最小不動点（さいしょうふどうてん、英: Least fixed point, LFP）は、関数の不動点の中でも、何らかの半順序関係において最も小さい不動点をいう。例えば、次の実関数f(x) = x2の...
最小不動点（さいしょうふどうてん、英: Least fixed point, LFP）は、関数の不動点の中でも、何らかの半順序関係において最も小さい不動点をいう。例えば、次の実関数f(x) = x2の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/15 10:26 UTC 版)「超現実数」の記事における「大小関係」の解説超現実数の再帰的定義は、以下で定義する比較規...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/05 03:00 UTC 版)「不動点定理」の記事における「代数学および離散数学において」の解説クナスター・タルスキー...
< 前の結果 | 次の結果 >