研究課題
基盤研究(C)
項書換え系という代数的ソフトウェアの分野において,本研究では多くの問題を効率よく解く新しい推論基盤システムの開発に成功した。それらの問題には,プログラムが必ず実行を停止して唯一の解を出力するように変換する完備化問題およびプログラムが満たす重要な性質を証明する帰納的定理自動証明が含まれる。鍵となる技術は,ノードという特殊なデータ構造と経験的探索を使って複数処理の並列実行を高性能に模擬する多重文脈型推論である。
すべて 2010 2009 2008
すべて 雑誌論文 (3件) (うち査読あり 3件) 学会発表 (10件)
IEICE Transactions on Information and Systems Vol. E93-D, No. 5(採録決定)
Journal of Heuristics Vol. 16
ページ: 23-36
IEICE Transactions on Information and Systems Vol. E92-D, No. 2
ページ: 220-234