05月31日(Sun) 15:20〜17:05 F会場(5F北-中講義室 (594))
| 演題番号 | 2F4-OS-01a-1 |
|---|---|
| 題目 | 依存型意味論による照応・前提計算の実装に向けて |
| 著者 | 佐藤 未歩(お茶の水女子大学大学院人間文化創成科学研究科理学専攻) 戸次 大介(お茶の水女子大学 大学院人間文化創成科学研究科 理学専攻情報科学コース) |
| 時間 | 05月31日(Sun) 15:20〜15:35 |
| 概要 | 依存型意味論を用いて照応や前提などを扱うには、代名詞や前提トリガーの意味表示に現れるunderspecified termの型を型推論で判定し、その型に対する証明探索を行う。しかし依存型の型推論は一般に決定不能であるため、依存型意味論のための型推論のアルゴリズムはこれまで提示されていない。本研究では、自然言語の意味表示の記述に十分な、制限された体系に対する型推論、型チェックの規則を与え、実装した。 |
| 論文 | PDFファイル |