講演番号 | 題目/著者 |
---|---|
A-009 | 総頂点間経路長を最小にする完全K分木型組織構造のリエゾン配置モデル 澤田 清, |
A-010 | DNA分子を利用したリレーショナルデータベースの開発 北 豊, 柏村 聡, 亀田 充史, 山本 雅人, 大内 東, |
A-011 | An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited 岩見 宗弘, |
A-012 | SATはNP完全か? : Part 2 山口 人生, |
LA-001 | 関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法 櫻井 敬大, 草刈 圭一郎, 西田 直樹, 酒井 正彦, 坂部 俊樹, |