Weblio 辞書 > 同じ種類の言葉 > 言葉 > 文法 > 文法 > モンタギュー文法の解説 > モンタギュー文法の全文検索
「モンタギュー文法」を解説文に含む見出し語の検索結果(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...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

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

©2025 GRAS Group, Inc.RSS