| 演題番号 | 3H2-OS3-1 |
|---|---|
| 題目 | 部分方向性組み合わせ論理の計算論的性質 |
| 著者 | 尾崎 博子(お茶の水女子大学大学院人間文化創成科学研究科理学専攻) 戸次 大介(お茶の水女子大学 大学院人間文化創成科学研究科) |
| 時間 | 06月03日(Fri) 13:00〜13:20 |
| 概要 | 部分方向性組み合わせ論理は、組み合わせ論理(CL)を拡張であり、ランベック計算のように関数適用の二つの方向性を区別する体系である。この理論は組み合わせ範疇文法(CCG)の論理学的位置づけ、および自然言語間の類型論的パラメータを説明するために設計されたものであるが、本研究ではこの体系の1) Subject-reduction、2) 合流性、3) 正規化定理、等の計算論的性質を証明する。 |
| 論文 | PDFファイル |