研究上の成果

• 藤田 博，長谷川 隆三： 「Java言語によるモデル生成型定理証明系MGTPの実装」， 九州大学大学院システム情報科学研究科報告， Vol. 3，No. 1，(1998) 63--68．
• 中山 英俊，藤田 博，長谷川 隆三： 「GA-MGTPによるCondensed Detachment 問題の解法」， 信学技報，AI98-12，(1998) 83--90．
• 長谷川 隆三，藤田 博： 「制約問題向きモデル生成型定理証明系の新実装」， 九州大学大学院システム情報科学研究科報告， Vol. 4，No. 1，(1999) 掲載予定．
• Ryuzo Hasegawa, Hiroshi Fujita: ``Java-CMGTP: Java Implementation of a Constraint MGTP'', 16th Intl. Conf. on Automated Deduction (1999) 投稿中．