「Recursive」を解説文に含む見出し語の検索結果(281~290/587件中)

数理論理学の一分野である証明論において、初等関数算術(英: elementary function arithmetic)または指数関数算術(EFA)は算術の体系のひとつであり、関数記号 0 ...
実効記述集合論(じっこうきじゅつしゅうごうろん、Effective descriptive set theory)は記述集合論で細字の定義をもつ集合や実数を扱う分野である; それはすなわち、定義にいか...
実効記述集合論(じっこうきじゅつしゅうごうろん、Effective descriptive set theory)は記述集合論で細字の定義をもつ集合や実数を扱う分野である; それはすなわち、定義にいか...
実効記述集合論(じっこうきじゅつしゅうごうろん、Effective descriptive set theory)は記述集合論で細字の定義をもつ集合や実数を扱う分野である; それはすなわち、定義にいか...
対関数(ついかんすう、英: Pairing function)とは、2つの自然数を一意に符号化して1つの自然数を返す関数である。集合論では、任意の対関数を用いて、有理数全体の集合 Q が可算濃度である...
対関数(ついかんすう、英: Pairing function)とは、2つの自然数を一意に符号化して1つの自然数を返す関数である。集合論では、任意の対関数を用いて、有理数全体の集合 Q が可算濃度である...
数学の記述集合論において、ポーランド空間 X {\displaystyle X} の部分集合 A {\displaystyle A} が 射影集合(しゃえいしゅうごう、Projective hiera...
ナビゲーションに移動検索に移動数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術の言語における自然数の理論 Th( N {\displaystyle {...
ナビゲーションに移動検索に移動数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術の言語における自然数の理論 Th( N {\displaystyle {...
NACA の IBM 704 (1957)IBM 704。IBM 727 磁気テープ装置と IBM 780 CRTディスプレイが見える。(Image courtesy of LLNL.)レオナルド・ダ...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2026 GRAS Group, Inc.RSS