「quantifier」を解説文に含む見出し語の検索結果(21~30/93件中)

プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
ザ・フォールのディスコグラフィThe Fall in Hamburg, 13 April 1984リリースリスト↙スタジオ・アルバム27↙ライブ・アルバム29↙コンピレーション・アルバム34↙EP9↙...
ザ・フォールのディスコグラフィThe Fall in Hamburg, 13 April 1984リリースリスト↙スタジオ・アルバム27↙ライブ・アルバム29↙コンピレーション・アルバム34↙EP9↙...
フーリエ・モツキンの消去法(フーリエ・モツキンのしょうきょほう、英: Fourier-Motzkin elimination)とは、数理論理学および計算機科学において、一次不等式からなる一階述...
フーリエ・モツキンの消去法(フーリエ・モツキンのしょうきょほう、英: Fourier-Motzkin elimination)とは、数理論理学および計算機科学において、一次不等式からなる一階述...
ユーリ・マチャセビッチ生誕 (1947-03-02) 1947年3月2日(77歳) ソビエト連邦 ロシア・ソビエト連邦社会主義共和国、レニングラード居住 ソビエト連邦、 ロシア国籍 ロシア研究分野数学...
くの すすむ久野 暲生誕 (1933-08-11) 1933年8月11日(89歳) 大日本帝国・東京府国籍 日本出身校ハーバード大学職業言語学者 · 著作家著名な実績機能的...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

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

©2026 GRAS Group, Inc.RSS