「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 ...