@article{oai:ipsj.ixsq.nii.ac.jp:00013492,
 author = {大谷, 武 and 沢村, 一 and 南, 俊朗 and Takeshi, Ohtani and Hajime, Sawamura and Toshiro, Minami},
 issue = {1},
 journal = {情報処理学会論文誌},
 month = {Jan},
 note = {EUODHILOS-IIは PSI/SIMPOS上に実現されたBUODHILOSの可搬性と利用可能性を高めるために GNU Emacs上に新たに作られた汎用の論証支援システムである.この論文では まずEUODHIILOS-IIを広く普及しているGNU Emacs上に設計実現する際に問題となった諸点を議論する.次いで EUODHILOS-IIの主要な構成要素である論理系定義 証明構築 証明指向のインタフェースに含まれる特徴的な仕様設計と実現方法について述べる.最後に EUODHILOS-IIの利点をまとめ 設計思想が類似している他のシステムとの比較を与える., EUODHILOS-II is a general reasoning assistant system for various logics built on top of GNU Emacs, aiming at highly portable and widely usable version of EUODHILOS built on PSI/SIMPOS. This paper first argues about the issues which raised in designing and implementing EUODHILOS-II on the widely prevailing platform GNU Emacs. Then, we describe the specification and the implementation methods of unique features in logic definition, proof construction and reasoning-oriented interface which are the main components of EUODUILOS-II. The paper concludes with discussing some advantages of EUODHJLOS-II and comparing it with other systems which have the similar design principle.},
 pages = {9--22},
 title = {汎用論証支援システムEUODHILOS - IIの設計と実装},
 volume = {38},
 year = {1997}
}