翻訳と辞書 Words near each other ・ モンタギュウ・ロウズ・ジェイムズ ・ モンタギュー ・ モンタギュー (小惑星) ・ モンタギュー (戦列艦) ・ モンタギュー (戦列艦・4代) ・ モンタギュー (戦艦) ・ モンタギュー・ノーマン ・ モンタギュー家とキャピュレット家 ・ モンタギュー島 ・ モンタギュー島 (アラスカ州) ・ モンタギュー文法 ・ モンタギュー郡 (テキサス州) ・ モンタクート ・ モンタグネス地方 ・ モンタグート ・ モンタゲ島 ・ モンタサン ・ モンタジオ ・ モンタジオチーズ ・ モンタジオ・チーズ Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク モンタギュー文法 ： ウィキペディア日本語版 モンタギュー文法[もんたぎゅーぶんぽう] モンタギュー文法（モンタギューぶんぽう）は、自然言語の意味論へのアプローチの一つ。アメリカ合衆国の論理学者リチャード・モンタギューの名を採って名付けられた。 == 概要 == モンタギュー文法は形式論理学、特にラムダ計算と集合論にもとづき、内包論理とタイプ理論も利用している。モンタギューはこのアプローチを1960年代から1970年代の初頭にかけて率先した。 モンタギューによれば（英語のような）自然言語の意味論と（述語論理のような）形式言語のそれとの間に本質的な違いはない。モンタギュー文法の中心的な概念は論文 "''The Proper Treatment of Quantification in Ordinary English''" ではじめて提案された。 モンタギューの量化の扱いはプログラミング意味論の継続の概念と関連付けられている。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「モンタギュー文法」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.