ケヤキ　リベカ   欅　リベカ    所属   コンピュータサイエンス学部 コンピュータサイエンス学科    職種   助教
言語種別	日本語
形態種別	学術論文
査読	査読あり
標題	Integrating Deep Neural Network with Dependent Type Semantics
執筆形態	共著
掲載誌名	Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), Studies in Computational Intelligence
出版社・発行元	Springer
概要	副筆 依存型理論に基づく自然言語の証明論的意味論である依存型意味論とニューラル言語モデルの融合を提案した。依存型意味論における個体の名前と述語を、名前のベクトル表現とそれを入力とする分類器に置き換えることで、原子論理式の真理性を担う証明項は損失関数の値に、証明項の構成に用いられる前提は学習パラメータに自然に対応づけられることを示した。 印刷中