| 演題番号 | 2G1-OS3-6 |
|---|---|
| 題目 | 証明木作成プログラムを用いたCCG意味合成の実装 |
| 著者 | 尾崎 有梨(お茶の水女子大学大学院人間文化創成科学研究科 理学専攻) 櫻井 加奈子(お茶の水女子大学) 浅井 健一(お茶の水女子大学 大学院人間文化創成科学研究科) 戸次 大介(お茶の水女子大学 大学院人間文化創成科学研究科) |
| 時間 | 06月10日(Thu) 11:15〜11:35 |
| 概要 | 自然言語の文法理論のうち、論理文法の一種として知られるCCGは、プログラミング言語の型理論との間に対応があると考えられている。しかし型推論の観点から見たとき、型理論では環境と項から型を推論するのに対し、CCGでは環境から項と型を同時に推論するという違いがある。本研究では、このタスクを証明木作成GUIプログラムとして実装し、型理論とCCGの共通点と違いについて計算論的視点から考察する。 |
| 論文 | PDFファイル |