「Recursive set」を解説文に含む見出し語の検索結果(11～20/80件中)
数学において、始代数 (しだいすう、英: initial algebra) とは、与えられた自己関手 F に対する F-代数の圏における始対象を言う。始代数の持つ始対象性 (initiality) は...
帰納的可算集合（きのうてきかさんしゅうごう、英: Recursively enumerable set）は、計算理論または再帰理論におけるある種の集合に付与された名前。自然数の集合 S につい...
帰納的可算集合（きのうてきかさんしゅうごう、英: Recursively enumerable set）は、計算理論または再帰理論におけるある種の集合に付与された名前。自然数の集合 S につい...
帰納的可算集合（きのうてきかさんしゅうごう、英: Recursively enumerable set）は、計算理論または再帰理論におけるある種の集合に付与された名前。自然数の集合 S につい...
帰納的可算集合（きのうてきかさんしゅうごう、英: Recursively enumerable set）は、計算理論または再帰理論におけるある種の集合に付与された名前。自然数の集合 S につい...
帰納的可算集合（きのうてきかさんしゅうごう、英: Recursively enumerable set）は、計算理論または再帰理論におけるある種の集合に付与された名前。自然数の集合 S につい...
KRCパラダイム関数型、宣言型登場時期1981年設計者デビッド・ターナー型付け動的型付け影響を受けた言語SASL影響を与えた言語Miranda、Orwell (OL)、Haskellウェブサイトkrc...
図に示す11種のワンのタイルからなる集合は平面を敷き詰めることができるが、パターンは非周期的（英語版）になる。ワンのタイル（英: Wang tiles, Wang dominoes,中:...
図に示す11種のワンのタイルからなる集合は平面を敷き詰めることができるが、パターンは非周期的（英語版）になる。ワンのタイル（英: Wang tiles, Wang dominoes,中:...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...