否定スコープ認識とは否定要素の影響が及ぶ範囲である否定スコープを特定するタスクである．このタスクはヒューリスティックなルールに基づく手法やニューラルモデルに基づく手法など様々なアプローチで取り組まれている．しかし，言語理論に基づいて否定スコープを求める研究はあまり行われていない．本論文では，否定スコープを言語理論に基づいて求めるアプローチの一つとしてCCGに基づく手法を提案する．本手法では，意味表現としてラムダ式を採用し，否定要素とそのスコープの関係を，ラムダ式の関数と引数の関係に関する一つの原理で説明する．否定スコープデータセットを用いて本手法の性能を評価し，手法の課題を明らかにする．

否定とは意味を反転させる言語現象である．否定は，否定を引き起こす否定要素(negationcue)とその影響が及ぶ範囲である否定スコープ(negationscope)から構成される．例えば，文1においては，Noが否定要素に，oneknowsthetruthが否定スコープに該当する．以下，否定要素を太字で，否定スコープを下線で表現する．1.Nooneknowsthetruth.否定スコープ認識は，対話や質問応答などの言語理解を要するタスクにおいて重要な要素となる．否定スコープ認識は，*SEM2012SharedTaskにおいて取り上げられて以来，様々なアプローチで取り組まれている．*SEM2012SharedTaskが発表された当時，構文構造に基づくヒューリスティックな手法[1]が高い性能を達成し[2]，その後の取り組みでも高水準の性能に達している[3]．また，ニューラルモデルや言語モデルを用いて構文構造を明示的に使わずに否定スコープを認識する手法が開発されている（例えば，[4,5]）．一方，言語理論に基づいた否定スコープ認識として，依存構造から一階述語論理式への変換により否定演算子のスコープとして捉える方法[6]などが提案されているがまだ数は少ない．言語理論に基づく否定スコープ認識は，ニューラルモデルや言語モデルを用いる方法よりも解釈性や説明可能性に優れるという利点がある．また，ヒューリスティックなルールベースの手法と比べても，理論的な裏付けを持って否定スコープを求められるという利点がある．そこで本論文では，否定スコープ認識を言語理論に基づいて行うアプローチの一つとしてCCG(CombinatoryCategorialGrammer)[7]に基づく手法を提案する．CCGにおいては，構文構造と意味合成に対応関係があり，意味表現はラムダ計算に基づき合成される．本手法では，意味表現としてラムダ式を採用し，否定要素とそのスコープの関係を，ラムダ式の関数と引数の関係に関する一つの原理で説明する．これにより説明可能性と一貫性の高い否定スコープ認識の実現が期待できる．