Weblio 辞書 > 学問 > OR事典 > logic programmingの解説 > logic programmingの全文検索
「logic programming」を解説文に含む見出し語の検索結果(321~330/392件中)

ディプリーション負荷NMOSロジックのNANDゲート(T1がディプリーション負荷)ディプリーション負荷NMOSロジック(ディプリーションふかNMOSロジック、Depletion-load NMOS l...
クリーネの再帰定理(クリーネのさいきていり、英: Kleene's recursion theorem)は、再帰理論における2つの基本的な結果である。この定理によれば計算可能関数をそれ自身を用...
クリーネの再帰定理(クリーネのさいきていり、英: Kleene's recursion theorem)は、再帰理論における2つの基本的な結果である。この定理によれば計算可能関数をそれ自身を用...
数学におけるバナッハの不動点定理(バナッハのふどうてんていり、英: Banach fixed-point theorem)は、距離空間の理論において重要な役割を担う不動点定理であり、縮小写像の...
数学におけるバナッハの不動点定理(バナッハのふどうてんていり、英: Banach fixed-point theorem)は、距離空間の理論において重要な役割を担う不動点定理であり、縮小写像の...
数学におけるバナッハの不動点定理(バナッハのふどうてんていり、英: Banach fixed-point theorem)は、距離空間の理論において重要な役割を担う不動点定理であり、縮小写像の...
数学におけるバナッハの不動点定理(バナッハのふどうてんていり、英: Banach fixed-point theorem)は、距離空間の理論において重要な役割を担う不動点定理であり、縮小写像の...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
LeanLeanのロゴパラダイム関数型プログラミング登場時期2013年 (12年前) (2013)開発者Leonardo de Moura Lean FRO最新リリースv4.19.0...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

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

©2025 GRAS Group, Inc.RSS