@techreport{oai:ipsj.ixsq.nii.ac.jp:00031143,
 author = {沢村, 一 and 南, 俊朗 and Hajime, Sawamura and Toshiro, Minami},
 issue = {72(1987-PRO-022)},
 month = {Oct},
 note = {これまで基礎論理系が固定されている特定目的のための論証支援システム（証明チェッカー、コンストラクタ）については多くの研究がなされてきている。このような研究の動向とは対照的に、本論文では、それぞれの対象ごとにより適した記述形式・推論形式を定義することを許し、さらにその下での論証による問題解決を可能にする汎用の論証支援システムを考察する。論文の前半では、「すべての議論領界はそれぞれの論理構造をもつ」という仮説を背景に、このような汎用の論証システムの意義、必要性を論ずる。後半では、汎用の論証支援システムの構想の実現に向けて、主として次の4つの特徴をもつ論証システムの提案を行う：(1)論理記述言語、(2)論理的思考（計算）のための作業シートに基づく証明方法論、(3)種々の理論間の関係依存性の保持、(4)論証システム向きインタフェース。, Much work has been done on special-purpose reasoning assistant systems whose underlying logics are fixed. In contrast with such a research trend, this paper is devoted to general-purpose reasoning assistant system which will allow us to define our own logical systems relevant for the objects in the problem domains and to reason about them. In the first half of the paper, the thesis that every universe has its logical structure and our conception of general-purpose reasoning assistant system are described. In the latter half, a feasible scheme to realize it is proposed, placing emphasis on the following four points; (1) logic description language, (2) proving methodology based on working sheets for logical thought (or logical calculi), (3) maintenance of a relational dependency among various theories, (4) human-computer interface for the reasoning system.},
 title = {汎用の論証支援システムの構想とその実現法},
 year = {1987}
}