「モンタギュー文法」を解説文に含む見出し語の検索結果(1～10/51件中)
読み方：もんたぎゅー［1930〜1971］米国の数学者・論理学者。記号論理学を自然言語の意味論へ応用、モンタギュー文法を構築して形式意味論の創始者となった。
読み方：もんたぎゅー［1930〜1971］米国の数学者・論理学者。記号論理学を自然言語の意味論へ応用、モンタギュー文法を構築して形式意味論の創始者となった。
読み方：もんたぎゅー［1930〜1971］米国の数学者・論理学者。記号論理学を自然言語の意味論へ応用、モンタギュー文法を構築して形式意味論の創始者となった。
読み方：もんたぎゅー［1930〜1971］米国の数学者・論理学者。記号論理学を自然言語の意味論へ応用、モンタギュー文法を構築して形式意味論の創始者となった。
読み方：もんたぎゅー［1930〜1971］米国の数学者・論理学者。記号論理学を自然言語の意味論へ応用、モンタギュー文法を構築して形式意味論の創始者となった。
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/16 07:47 UTC 版)「証明論」の記事における「構造証明論」の解説構造証明論は証明論の一分野であり、解析的証明...
モンタギュー文法（モンタギューぶんぽう）は、自然言語の意味論へのアプローチの一つ。アメリカ合衆国の論理学者リチャード・モンタギューの名を採って名付けられた。概要モンタギュー文法は形式論理学、特にラムダ...
モンタギュー文法（モンタギューぶんぽう）は、自然言語の意味論へのアプローチの一つ。アメリカ合衆国の論理学者リチャード・モンタギューの名を採って名付けられた。概要モンタギュー文法は形式論理学、特にラムダ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/16 08:53 UTC 版)「型理論」の記事における「コンピューター」の解説型理論の最も顕著な応用は、プログラミング...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 08:00 UTC 版)「量化」の記事における「自然言語における量化」の解説全ての人間の言語は、完全な数体系がな...
< 前の結果 | 次の結果 >