2005年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
A-009総頂点間経路長を最小にする完全K分木型組織構造のリエゾン配置モデル

澤田 清,  

A-010DNA分子を利用したリレーショナルデータベースの開発

北 豊,  柏村 聡,  亀田 充史,  山本 雅人,  大内 東,  

A-011An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited

岩見 宗弘,  

A-012SATはNP完全か? : Part 2

山口 人生,  

LA-001関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法

櫻井 敬大,  草刈 圭一郎,  西田 直樹,  酒井 正彦,  坂部 俊樹,