氏名 | 戸次 大介 |
---|---|
ふりがな | べっき だいすけ |
所属 | お茶の水女子大学 大学院人間文化創成科学研究科 理学専攻情報科学コース |
題目 | 1N2-2 依存型意味論における型チェックの実装の試み |
---|---|
著者 | 佐藤 未歩 戸次 大介 |
論文 | PDFファイル |
題目 | 3O3-OS-04a-2 依存型意味論による時間に関する照応現象の記述に向けて |
---|---|
著者 | 宇津木 舞香 戸次 大介 |
論文 | PDFファイル |
題目 | 3O3-OS-04a-3 依存型意味論による述語の選択制限の前提としての分析 |
---|---|
著者 | 木下 恵梨子 峯島 宏次 戸次 大介 |
論文 | PDFファイル |
題目 | 3O3-OS-04a-1 依存型意味論による複数照応の分析 |
---|---|
著者 | 田中 リベカ 峯島 宏次 戸次 大介 |
論文 | PDFファイル |