研究課題
基盤研究(B)
「帰納法」と「場合分け」は、問題モデル(問題領域や応用領域におけるモデル)の証明スコアによる検証法の基本技術である。本研究では、多様な応用分野で有効な帰納法と場合分けについて以下の成果を得た。(1)帰納法をデータ型・プロセス型の帰納的な構造に基づき定式化した。(2)場合分けを構成子からの項の生成に基づき定式化した。(3)(1),(2)に基づき、汎用的な証明規則を定式化するとともに、推論と探索を融合した強力な検証法を開発した。
すべて 2010 2009 2008 2007 2006 その他
すべて 雑誌論文 (14件) (うち査読あり 14件) 学会発表 (1件) 図書 (1件) 備考 (1件)
J. Symb. Comput 45(5)
ページ: 551-573
日本ソフトウェア科学会論文誌 25(2),25(2),25(3),25(4),26(1),26(2)
ページ: 1-13, 14-27, 69-80, 68-84, 71-83, 93-106
Proc. of CALCO 2009 5728
ページ: 398-412
IEICE Transactions 92-D(7)
ページ: 1401-1411
情報処理 Vol.49,No.5
ページ: 521-529
Proc. of 2nd International Conference on Theory and Practice of Electronic Governance 2008, ACM
ページ: 98-104
Proc. of 1st VSTTE, LNCS 4171, Springer
ページ: 277-290
IEICE Transactions 91-D(5)
ページ: 1492-1503
Proc. of the 10th Intl. Conference on Formal Engineering Methods (10th ICFEM) 5256
ページ: 187-206
Proc. of IEEE/ACS Intl. Conference on Computer Systems and Applications
ページ: 652-660
Refine 2007, ENTCS 201, Elsevier
ページ: 127-154
Intl. J. of Software Eng. and Knowledge Eng 17(1)
ページ: 3-32
Proc. of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007) 4711
ページ: 381-395
Sci. of Comp. Prog 66(2)
ページ: 162-180
http://www.ldl.jaist.ac.jp/cafeobj