Weblio 辞書 > 学問 > OR事典 > Logic Programmingの解説 > Logic Programmingの全文検索
「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)とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコになる」、「私は何かを食べるま...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

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

©2026 GRAS Group, Inc.RSS