「最小不動点」を解説文に含む見出し語の検索結果(11～20/41件中)
記述計算量（きじゅつけいさんりょう、英: Descriptive complexity）は、有限モデル理論の一種であり、計算複雑性理論と数理論理学の一分野である。複雑性クラスを言語で表現するのに必要と...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/10/03 01:23 UTC 版)「クリーネの再帰定理」の記事における「第一再帰定理の証明の概略」の解説第一再帰定理の前半...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/12/16 08:38 UTC 版)「完備半順序」の記事における「連続写像と不動点」の解説二つの有向完備半順序集合 P, Q...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2013/12/28 13:32 UTC 版)「始代数」の記事における「計算機科学での利用」の解説リストや木構造など、プログラミングで...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/23 10:02 UTC 版)「抽象解釈」の記事における「形式的定義」の解説L を concrete set（具体集合...
クリーネの再帰定理（クリーネのさいきていり、英: Kleene's recursion theorem）は、再帰理論における2つの基本的な結果である。この定理によれば計算可能関数をそれ自身を用...
クリーネの再帰定理（クリーネのさいきていり、英: Kleene's recursion theorem）は、再帰理論における2つの基本的な結果である。この定理によれば計算可能関数をそれ自身を用...
数学の特に圏論におけるF-代数（エフだいすう、英: F-algebra）は、（自己）関手 F に従って定義される構造の一つで、リストや木構造のようなプログラミングで使われるデータ構造を表現する...
数学の特に圏論におけるF-代数（エフだいすう、英: F-algebra）は、（自己）関手 F に従って定義される構造の一つで、リストや木構造のようなプログラミングで使われるデータ構造を表現する...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/22 07:55 UTC 版)「領域理論」の記事における「領域理論の意図と直観的意味」の解説1960年代末にデイナ・ス...