「logic programming」を解説文に含む見出し語の検索結果(41～50/393件中)
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
function mfTempOpenSection(id){var block=document.getElementById("mf-section-"+id);block.className+=...
function mfTempOpenSection(id){var block=document.getElementById("mf-section-"+id);block.className+=...
ナビゲーションに移動検索に移動Concurrent Prologパラダイム並行論理プログラミング登場時期1983年設計者Ehud Y. Shapiro型付け動的型付け主な処理系Logix影響を受けた言...
"James while John had had had had had had had had had had had a better effect on the teacher"は、多義語の語...
Jump to navigationJump to search操作的意味論（そうさてきいみろん、Operational Semantics）とは、プログラムの意味を数学的に厳密に与える計算機科学の手...
Jump to navigationJump to search操作的意味論（そうさてきいみろん、Operational Semantics）とは、プログラムの意味を数学的に厳密に与える計算機科学の手...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2013/10/21 05:39 UTC 版)「臨床情報学」の記事における「Clinical data processing」の解説臨...
直観主義型理論（ちょっかんしゅぎかたりろん、英: intuitionistic type theory）とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン＝レーフによって開発され...
直観主義型理論（ちょっかんしゅぎかたりろん、英: intuitionistic type theory）とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン＝レーフによって開発され...