組合せ範疇文法

組合せ範疇文法（くみあわせはんちゅうぶんぽう、テンプレート:Lang-en-short、CCG、組み合わせ範疇文法とも）とは、形式主義言語学の統語論の理論である。語彙化文法テンプレート:Efn2の一種であり^[1]、統語構造や意味情報が予め辞書（テンプレート:Lang-en-short）に記述されていると^[2]。古典的範疇文法に関数合成規則を取り入れたものである^[3]^[4]。

その仕組は、範疇（カテゴリ）に対して繰り返し関数を適応することによって文を構築するものである^[4]。また、意味論において統語構造に対応するラムダ関数を適応し、意味表現を導出している^[4]。この文法を適用することで、等位接続構造をうまく説明できる^[1]^[3]。

その弱生成能力は、文脈自由文法と文脈依存文法の中間に位置し、自然言語の文法記述に適しているとされている^[3]。近年では、自然言語処理において、CCGが応用された漸進的な意味解析なども行われている^[5]。

歴史

基本的にカテゴリが以下のものである^[4]。

原始カテゴリ（atomic category）: $N$ （名詞）・ $S$ （文）
複合カテゴリ（complex category）: 他のカテゴリから合成される。 $X$ 、 $Y$ をカテゴリとすると、 $X / Y$ や $X ∖ Y$ 。

↑ ^1.0 ^1.1 引用エラー: 無効な <ref> タグです。「toji2010」という名前の注釈に対するテキストが指定されていません
↑ 引用エラー: 無効な <ref> タグです。「tmta2023」という名前の注釈に対するテキストが指定されていません
↑ ^3.0 ^3.1 ^3.2 引用エラー: 無効な <ref> タグです。「tkhs2023」という名前の注釈に対するテキストが指定されていません
↑ ^4.0 ^4.1 ^4.2 ^4.3 引用エラー: 無効な <ref> タグです。「nnmy2014」という名前の注釈に対するテキストが指定されていません
↑ 引用エラー: 無効な <ref> タグです。「kato2014」という名前の注釈に対するテキストが指定されていません