「モンタギュー文法」を解説文に含む見出し語の検索結果(31~40/51件中)
型理論(かたりろん、英: Type theory)とは、プログラミング・数学・言語学等に現れる型の概念及びそれらが成す型システムを研究対象とする数学・計算機科学の分野である。特定の型システムの...
型理論(かたりろん、英: Type theory)とは、プログラミング・数学・言語学等に現れる型の概念及びそれらが成す型システムを研究対象とする数学・計算機科学の分野である。特定の型システムの...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
動的意味論(どうてきいみろん)は、論理学や自然言語意味論において、「文の意味」というものを「文脈を更新する能力」として扱う枠組みである。静的意味論では、文の意味を知ることはその文がいつ真となるかを知る...
動的意味論(どうてきいみろん)は、論理学や自然言語意味論において、「文の意味」というものを「文脈を更新する能力」として扱う枠組みである。静的意味論では、文の意味を知ることはその文がいつ真となるかを知る...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...