| 時間 | 14:55～15:15 |
|---|---|
| 題目 | 1J3-2 オイラー図・ヴェン図推論の翻訳とFree ride |
| 著者 |
竹村 亮(慶応義塾大学 文学部 哲学科) |
| 論文 | PDFファイル |
| 時間 | 15:15～15:35 |
|---|---|
| 題目 | 1J3-3 結論発見手続き SOL タブロー計算法の分割統治法に基づく効率化 |
| 著者 |
寄特 勇紀(山梨大学大学院医学工学総合教育部コンピュータ・メディア工学専攻) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
| 論文 | PDFファイル |
| 時間 | 15:35～15:55 |
|---|---|
| 題目 | 1J3-5 命題論理に基づく確率モデルのためのベイズ推定 |
| 著者 |
石畠 正和(東京工業大学 大学院情報理工学研究科) 亀谷 由隆(東京工業大学 大学院情報理工学研究科) 佐藤 泰介(東京工業大学大学院 情報理工学研究科) |
| 論文 | PDFファイル |