Weblio 辞書 > 学問 > OR事典 > Logic Programmingの解説 > Logic Programmingの全文検索
「Logic Programming」を解説文に含む見出し語の検索結果(181~190/428件中)

単一の指数関数(青い曲線)と比較した二重指数関数(赤い曲線)。二重指数関数(にじゅうしすうかんすう、英: double exponential function)とは、指数関数の肩に指数関数を...
単一の指数関数(青い曲線)と比較した二重指数関数(赤い曲線)。二重指数関数(にじゅうしすうかんすう、英: double exponential function)とは、指数関数の肩に指数関数を...
TLA+パラダイムAction登場時期1999年4月23日 (26年前) (1999-04-23)[1]設計者Leslie Lamport最新リリースTLA+2/ 2...
数学の抽象代数学の分野において 関係代数 (relation algebra) は、"逆" と呼ばれる対合を持つ剰余付きブール代数(英語版)のことである。動機付けとなるような関係代数の例は、集合 X ...
議論学(ぎろんがく、英: argumentation theory)とは、「議論」(argument)について研究する学問分野である。具体的には、批判的思考に基づく推論を通じて、結論や合意が形...
議論学(ぎろんがく、英: argumentation theory)とは、「議論」(argument)について研究する学問分野である。具体的には、批判的思考に基づく推論を通じて、結論や合意が形...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
Common Lisp Object System(コモン リスプ オブジェクトシステム、略称 CLOS)は、ANSI Common Lisp (CL) の一部をなすオブジェクト指向プログラミング機能...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

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

©2026 GRAS Group, Inc.RSS