翻訳と辞書 Words near each other ・ 範多龍太郎 ・ 範子内親王 ・ 範宴 ・ 範彊 ・ 範玄 ・ 範田紗々 ・ 範疆 ・ 範疇 ・ 範疇 (数学) ・ 範疇の錯誤 ・ 範疇文法 ・ 範疇論 (アリストテレス) ・ 範疇部門 ・ 範美忠事件 ・ 範長 ・ 範長龍 ・ 範馬 ・ 範馬バキ ・ 範馬刃牙 ・ 範馬勇次郎 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 範疇文法 ： ミニ英和和英辞書 範疇文法[はんちゅうぶんぽう] (n) categorial grammar =========================== ・ 範 ： [はん] 　【名詞】 1. example　2. model　 ・ 範疇 ： [はんちゅう] 　(n) category ・ 範疇文法 ： [はんちゅうぶんぽう] 　(n) categorial grammar ・ 疇 ： [ちゅう] 　【名詞】 1. before　2. companion　3. same kind ・ 文 ： [ぶん] 　【名詞】 1. sentence　 ・ 文法 ： [ぶんぽう] 　【名詞】 1. grammar　 ・ 法 ： [ほう] 　 1. (n,n-suf) Act (law: the X Act)　 範疇文法 ： ウィキペディア日本語版 範疇文法[はんちゅうぶんぽう] 範疇文法 (はんちゅうぶんぽう、英語: ) は，構成性原理のもと，統語成分は関数の結合で一般化されるべきであるという見地にしたがって編成された，自然言語の構文論に使われる用語である．範疇文法は，項の構成により文の構造を解析し，これは句構造文法のうち依存文法と反対のものになる． ==概要== 範疇文法は，語彙と型推論の法則の2つより成る．語彙は記号に型を与える集合であり，型推論は構成される記号の型より文の型をつくる規則を定める．それは型推論が明確に定められる利点を持ち,それゆえ特定の言語の文法は語彙によって完全に決められる． 範疇文法は，単純型付きラムダ計算といくつかの特徴を共有する． しかしラムダ計算は $A\; \backslash rightarrow\; B$ という唯一の関数型を持ち，範疇文法は左適用と右適用の2つの関数型があるという特徴がある． 例えば，単純な範疇文法は $B/A\backslash ,\backslash !$ と $A\backslash backslash\; B$ の2つの関数型でできている． 始めに， $B/A\backslash ,\backslash !$ は右から $A\backslash ,\backslash !$ 型の単語を受け取ると $B\backslash ,\backslash !$ 型の単語を返す単語の型であり， 次に， $A\backslash backslash\; B\backslash ,\backslash !$ は左から $A\backslash ,\backslash !$ 型の単語を受け取ると $B\backslash ,\backslash !$ 型の単語を返す単語の型である． Lambekによると，その記法は代数学に基づく． 分数はその分母を掛けられたとき，分子を返す． 関係が可換でないならば，左から来るか右から来るかにより異なる値を出す． その関係は，記号を消すためには同じ側からその逆になる記号を掛けることになる． 初めの，かつ最も簡単な範疇文法の例は，basic categorial grammar または時に AB-grammar (Ajdukiewicz と Bar-Hillel が由来) と呼ばれる． 根源的な型の集合 $\backslash text\backslash ,\backslash !$ を与えられ， $\backslash text(\backslash text)\backslash ,\backslash !$ をそれら根源的な型の組み合わせの集合とする． 先述のbasicな例は，以下を満たす最小の集合である． * $\backslash text\backslash subseteq\; \backslash text(\backslash text)$ * $X,\; Y\backslash in\; \backslash text(\backslash text)$ ならば $(X/Y),\; (Y\backslash backslash\; X)\; \backslash in\; \backslash text(\backslash text)$ ． これらを根源の型により自由に生成された純粋な形式表現と考え，意味の全ては後に加えられる． 一部の著者は根源の型の集合として固定された無限集合を考えることがあるが，根源の型を文法の一部とすることで，すべての構造は有限に保たれる． basic categorial grammar とは，以下を満たすタプル $(\backslash Sigma,\; \backslash text,\; S,\; \backslash triangleleft)$ のことである． * $\backslash Sigma\backslash ,\backslash !$ は記号の有限集合， * $\backslash text\backslash ,\backslash !$ は根源の型の有限集合， * $S\; \backslash in\; \backslash text(\backslash text)$ * $\backslash triangleleft$ は語彙を意味する，型から記号への関係である．すなわち $(\backslash triangleleft)\; \backslash subseteq\; \backslash text(\backslash text)\; \backslash times\; \backslash Sigma$. 語彙が有限ならば，それは, $TYPE\backslash triangleleft\backslash text$ というような組をリストすることで定められる． 英語における範疇文法では，$N,\; NP,\; S$を基本の型とすることが多い． 可算名詞の型は$N\backslash ,\backslash !$, 完全な名詞句の型は$NP\backslash ,\backslash !$，そして文の型は$S\backslash ,\backslash !$である． ここで形容詞の型は$N/N\backslash ,\backslash !$とできる．なぜならば形容詞は後ろの可算名詞と合わさり全体で一つの可算名詞のようにふるまうからだ． 同様に，限定詞は$NP/N\backslash ,\backslash !$の型を持つ．なぜならば後ろの可算名詞と合わさり完全な名詞となるからだ． 自動詞は$NP\backslash backslash\; S$の型を持ち，他動詞は$(NP\backslash backslash\; S)/NP$の型を持つ． そうすると，単語の列が適用の結果として$S\backslash ,\backslash !$の型になる場合，その単語列は文ということになる． 例として，"the bad boy made that mess" の文を考える． ここで "the" と "that" は限定詞，"boy" と "mess" は名詞，"bad" は形容詞，"made" は他動詞だから， 語彙は $NP/N\backslash triangleleft\backslash text,$ $NP/N\backslash triangleleft\backslash text,$ $N\backslash triangleleft\backslash text,$ $N\backslash triangleleft\backslash text,$ $N/N\backslash triangleleft\backslash text,$ $(NP\backslash backslash\; S)/NP\backslash triangleleft\backslash text$ となり， そしてこの文における型の列はこうなる． $$ そしてこれらに $X\backslash leftarrow\; X/Y,\backslash ;\; Y$ と $X\backslash leftarrow\; Y,\backslash ;\; Y\backslash backslash\; X$ の2つの規則を適用していくと， $.\backslash qquad\; NP/N,\backslash ;\; N/N,\backslash ;\; N,\backslash ;\; (NP\backslash backslash\; S)/NP,\backslash ;\; \backslash underbrace$ $.\backslash qquad\; NP/N,\backslash ;\; N/N,\backslash ;\; N,\backslash ;\; \backslash underbrace$ $.\backslash qquad\; NP/N,\backslash ;\; \backslash underbrace,\; \backslash qquad\; (NP\backslash backslash\; S)$ $.\backslash qquad\; \backslash underbrace,\backslash ;\; \backslash qquad\; (NP\backslash backslash\; S)$ $.\backslash qquad\; \backslash qquad\backslash underbrace$ $.\backslash qquad\; \backslash qquad\backslash qquad\backslash quad\backslash ;\backslash ;\backslash ;\; S$ 結果は$S\backslash ,\backslash !$となった．この事実はこの文字列が文であることを示し，この簡約の行程は，この文が ((the (bad boy)) (made (that mess))) というように区切られるべきことを示す． この形(適用規則のみを持つ)の範疇文法は，文脈自由文法程度しか表現能力を持たず，自然言語の構文理論には充分ではない． だが文脈自由文法とは異なり，範疇文法は語彙化されている，つまり，(言語から独立した)少ない数の規則のみを採用していて，すべての他の構文事象は， 特定の語の語彙入力に由来する． 範疇文法の他の魅力的な面は，組成上の意味論を付け加えるのがしばしば容易である点にある．初めに通訳型をすべての基本的な圏に入れてみると，関連付けているすべてのderived categoriesは適切な関数型と．任意の成分の通訳はその時簡単に引数で関数の値である．内包と定量を扱うための修正について，このアプローチは意味論的現象を幅広く行うために使われる． 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「範疇文法」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.