「logic programming」を解説文に含む見出し語の検索結果(181～190/392件中)
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
単一の指数関数（青い曲線）と比較した二重指数関数（赤い曲線）。二重指数関数（にじゅうしすうかんすう、英: double exponential function）とは、指数関数の肩に指数関数を...
単一の指数関数（青い曲線）と比較した二重指数関数（赤い曲線）。二重指数関数（にじゅうしすうかんすう、英: double exponential function）とは、指数関数の肩に指数関数を...
単一の指数関数（青い曲線）と比較した二重指数関数（赤い曲線）。二重指数関数（にじゅうしすうかんすう、英: double exponential function）とは、指数関数の肩に指数関数を...
TLA+パラダイムAction登場時期1999年4月23日 (23年前) (1999-04-23)[1]設計者Leslie Lamport最新リリースTLA+2/ 2...
議論学（ぎろんがく、英: argumentation theory）とは、「議論」（argument）について研究する学問分野である。具体的には、批判的思考に基づく推論を通じて、結論や合意が形...
議論学（ぎろんがく、英: argumentation theory）とは、「議論」（argument）について研究する学問分野である。具体的には、批判的思考に基づく推論を通じて、結論や合意が形...
数学の抽象代数学の分野において 関係代数 (relation algebra) は、"逆" と呼ばれる対合を持つ剰余付きブール代数（英語版）のことである。動機付けとなるような関係代数の例は、集合 X ...
コンピュータ略語一覧（コンピュータりゃくごいちらん）は、コンピュータの略語を一覧にしたものである。「情報・通信・コンピュータ一覧の一覧」および「コンピュータ用語一覧」も参照目次A B C D E F ...
コンピュータ略語一覧（コンピュータりゃくごいちらん）は、コンピュータの略語を一覧にしたものである。「情報・通信・コンピュータ一覧の一覧」および「コンピュータ用語一覧」も参照目次A B C D E F ...