依存型意味論による日本語のテンス・アスペクトの分析に向けて

抄録

自然言語の意味の理解において、テンス・アスペクトの分析は不可欠である。本研究では、依存型理論に基づく自然言語の証明論的意味論のひとつである依存型意味論(DTS)に時間的概念を導入し、日本語のテンス・アスペクトの分析を行った。特に、過去の助動詞[タ]や非過去の[ル]、進行／結果残存の[テイル]、時間副詞など、テンス・アスペクトに関わる様々な表現に意味表示を与え、意味合成および含意関係の計算を示す。