「Logic programming」を解説文に含む見出し語の検索結果(41~50/428件中)
function mfTempOpenSection(id){var block=document.getElementById("mf-section-"+id);block.className+=...
function mfTempOpenSection(id){var block=document.getElementById("mf-section-"+id);block.className+=...
直観主義型理論(ちょっかんしゅぎかたりろん、英: intuitionistic type theory)とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン=レーフによって開発され...
直観主義型理論(ちょっかんしゅぎかたりろん、英: intuitionistic type theory)とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン=レーフによって開発され...
直観主義型理論(ちょっかんしゅぎかたりろん、英: intuitionistic type theory)とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン=レーフによって開発され...
直観主義型理論(ちょっかんしゅぎかたりろん、英: intuitionistic type theory)とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン=レーフによって開発され...
直観主義型理論(ちょっかんしゅぎかたりろん、英: intuitionistic type theory)とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン=レーフによって開発され...
"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)とは、プログラムの意味を数学的に厳密に与える計算機科学の手...