ケヤキ　リベカ   欅　リベカ    所属   コンピュータサイエンス学部 コンピュータサイエンス学科    職種   助教
言語種別	英語
発行・発表の年月	2017
形態種別	学術論文
査読	査読あり
標題	Factivity and Presupposition in Dependent Type Semantics
執筆形態	共著
掲載誌名	Journal of Language Modeling
巻・号・頁	5(2),pp.385-420
概要	主筆 叙実動詞knowは、非叙実動詞believeとは異なり、補文命題が真であるという前提をもつ。本研究では依存型理論に基づく自然言語の意味論である依存型意味論の枠組みにおいて、叙実動詞に関わる前提現象の分析を提案した。依存型理論における型と証明項の関係に注目し、命題に関する事実を証明項として形式化することで、叙実動詞と非叙実動詞の型理論的な語彙意味論を提案した。