本研究は，依存型理論に基づく自然言語の意味論である依存型意味論により，様相(modality)の分析を試みる．依存型意味論は，照応などの複雑な言語現象を扱うことができる理論だが，モダリティとの関係に着目する研究は，ほとんどなされていない．本論文が対象とするModalSubordinationは，モダリティと照応が相互作用する言語現象であり，両者を同時に分析可能な体系が必要となる．そこで，依存型意味論を様相型で拡張したModalDTSを提案し，この枠組みの中で分析を与える．

自然言語には様々な言語現象が存在しており，形式意味論では数多くの理論が分析を与えてきた．そのような理論の一つに，本研究で採用する依存型意味論(dependenttypesemantics,DTS)[1]がある．DTSは，依存型理論(dependenttypetheory,DTT)[2]に基づいた自然言語の意味の理論である．項と型が相互に作用しない単純型理論と異なり，DTTは「項に依存した型」を記述できる．たとえば，長さが𝑛:Intであるリスト𝑙:List(𝑛)を扱える．この例では，型List(𝑛)が項𝑛に依存するという点で依存型である．DTSは以上の性質を受け継ぎ，意味表示がDTTの型と対応するため，他の文の意味に依存して別の文の意味を扱うことができる．ModalSubordinationとは，モダリティを伴う談話における照応現象であり，Roberts[3]により指摘された．形式意味論ではRoberts[3]をはじめ，vanRooij[4]やAsherandMcCready[5]など，多数の分析が存在する．ModalSubordinationの例を(1)(2)に示す．(1)Awolfmightcomein.#Itgrowls.(2)Awolfmightcomein.Itwouldgrowl.モダリティを伴う談話では，Eタイプ照応[6]が到達可能ではなくなることがある．たとえば，(1)では，代名詞itがawolfを指すことができず，利用可能な先行詞が存在しない．1）一方，2文目にモダリティwouldを加えた(2)では，そのような制約が生じない．wouldの使用により，前半の文でmightのスコープ内で導入されたawolfを，代名詞itがEタイプ照応の先行詞として参照できる．DTSは照応解決(anaphoraresolution)や前提の束縛(presuppositionbinding)を扱う理論だが，これまでモダリティの分析についてはそれほど多くの研究がなされているわけではない．たとえば文(2)と，モダリティを含まない文(3)を考える．(2)Awolfmightcomein.Itwouldgrowl.(3)Awolfcamein.Itgrowled.どちらの文も，代名詞itはawolfを参照可能だが，DTSによる照応解決が可能なのは(3)のみである．(2)におけるmightやwouldのような，モダリティを含む文の照応解決については，DTSに基づく分析が（田中ら[7]の研究を除けば）存在しない．本研究は，DTSによるModalSubordinationの分析を目的として，モダリティと照応を同時に扱うことができるよう，様相型である可能性(possibility)と必然性(necessity)をDTSに加え，拡張した体系であるModalDTSを提案する．照応の理論であるDTSの特徴を活かし，一般的な照応解決に還元することを目指す．次節でDTSにおける照応解決の仕組みを解説し，ModalDTSについて概要を述べた後，分析例を示す．