「Logic Programming」を解説文に含む見出し語の検索結果(31~40/428件中)
ホーン節(ホーンせつ、英: Horn clause)とは、数理論理学において、節(リテラルの選言結合命題)のうち、肯定形のリテラルの数が1つ以下の物を言う。論理学者のアルフレッド・ホーンによっ...
ナビゲーションに移動検索に移動並行論理プログラミング(へいこうろんり-、英: Concurrent Logic Programming)は、論理プログラミングにおける並列性及び論理プログラミン...
ナビゲーションに移動検索に移動並行論理プログラミング(へいこうろんり-、英: Concurrent Logic Programming)は、論理プログラミングにおける並列性及び論理プログラミン...
ナビゲーションに移動検索に移動並行論理プログラミング(へいこうろんり-、英: Concurrent Logic Programming)は、論理プログラミングにおける並列性及び論理プログラミン...
量子プログラミング言語(りょうしプログラミングげんご、英: Quantum programming language)とは量子アルゴリズム(英語版)の表現を実現するプログラミング言語の総称であ...
量子プログラミング言語(りょうしプログラミングげんご、英: Quantum programming language)とは量子アルゴリズム(英語版)の表現を実現するプログラミング言語の総称であ...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
時相論理(Temporal Logic)とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコになる」、「私は何かを食べるま...
時相論理(Temporal Logic)とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコになる」、「私は何かを食べるま...
時相論理(Temporal Logic)とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコになる」、「私は何かを食べるま...