CCGに基づく言語的計算効果の評価遅延

自然言語の意味解釈は，統語構造だけでなく，線形順序にも依存する場合がある．理論言語学では，代名詞などに見られるこの種の順序依存性に対して，プログラミング言語での逐次実行に伴う計算効果（副作用）と同様の形式的分析を与えられることが示唆されている．しかし，wh疑問文のように語順の入れ替えを伴う構文では，計算効果の評価が表層的な位置よりも後ろに遅延される場合がある．本研究は，代名詞束縛の現象に注目し，CombinatoryCategorialGrammar(CCG)の枠組みにおけるwh疑問文の分析を応用することで，代名詞の計算効果の評価遅延に対して理論的分析を与える．