| 時間 | 13:00～13:20 |
|---|---|
| 題目 | 3H2-OS3-1 部分方向性組み合わせ論理の計算論的性質 |
| 著者 |
尾崎 博子(お茶の水女子大学大学院人間文化創成科学研究科理学専攻) 戸次 大介(お茶の水女子大学 大学院人間文化創成科学研究科) |
| 論文 | PDFファイル |
| 時間 | 13:20～13:40 |
|---|---|
| 題目 | 3H2-OS3-2 前提記述のための動的論理の証明論構築に向けて |
| 著者 |
石下 裕里(お茶の水女子大学大学院 人間文化創成科学研究科) 戸次 大介(お茶の水女子大学 大学院人間文化創成科学研究科) |
| 論文 | PDFファイル |
| 時間 | 13:40～14:00 |
|---|---|
| 題目 | 3H2-OS3-3 条件論理C_bとそのタブローシステム |
| 著者 |
尾崎 有梨(お茶の水女子大学大学院人間文化創成科学研究科 理学専攻) 戸次 大介(お茶の水女子大学 大学院人間文化創成科学研究科) |
| 論文 | PDFファイル |
| 時間 | 14:00～14:20 |
|---|---|
| 題目 | 3H2-OS3-4 文書上の事象に基づいた潜在的トピック推定 |
| 著者 |
北島 理沙(お茶の水女子大学大学院人間文化創成科学研究科理学専攻) 小林 一郎(お茶の水女子大学大学院人間文化創成科学研究科理学専攻情報科学コース) |
| 論文 | PDFファイル |
| 時間 | 14:30～15:10 |
|---|---|
| 題目 | 3H2-OS3-5 (OS招待講演)動詞項構造シソーラスの構築 |
| 著者 |
竹内 孔一(岡山大学大学院自然科学研究科) |
| 論文 | PDFファイル |
| 時間 | 15:10～15:30 |
|---|---|
| 題目 | 3H2-OS3-6 語彙概念構造を用いた語彙間意味関係グラフの自動構築 |
| 著者 |
松林 優一郎(国立情報学研究所コンテンツ科学研究系) 宮尾 祐介(国立情報学研究所コンテンツ科学研究系) 相澤 彰子(国立情報学研究所) |
| 論文 | PDFファイル |
| 時間 | 15:40～16:00 |
|---|---|
| 題目 | 3H2-OS3-7 関連研究に関する記述の分析による論文間の意味的関係の抽出 |
| 著者 |
亀田 尭宙(東京大学大学院 情報理工学系研究科) 武田 英明(国立情報学研究所) 相澤 彰子(国立情報学研究所) |
| 論文 | PDFファイル |
| 時間 | 16:00～16:20 |
|---|---|
| 題目 | 3H2-OS3-8 文章の隣接グラフ化とグラフマッチングに基づく判例文の類似度計算 |
| 著者 |
野坂 卓矢(北海道大学大学院 情報科学研究科 コンピュータサイエンス専攻) 原口 誠(北海道大学大学院情報科学研究科) |
| 論文 | PDFファイル |
| 時間 | 16:40～17:00 |
|---|---|
| 題目 | 3H2-OS3-10 自然言語の生成性について |
| 著者 |
麻生 英樹(独立行政法人産業技術総合研究所知能システム研究部門) |
| 論文 | PDFファイル |