Contents of Report

[Data of Report]

Report Number:: TR0346
Date of Registration:: 1988.03
English Title:: ***
Japanese Title:: 論証支援システム：論理モデル構築のための支援ツ－ル
English Author:: T.Minami,H,Sawamura,K.Sato,K.Tsuchiya
Japanese:: 南　俊郎,沢村　一,佐藤　かおる,土屋　恭子
Name of Organization to which author belongs:: Fujitsu,Fujitsu,Fujitsu,Fujitsu
PDF:: tr0346.pdf

[Contents]

1	まえがき	.... 2
2	論証支援システムとは	.... 2
2.1	証明チェッカー	.... 2
2.2	証明コンストラクタ	.... 3
2.3	論証支援システム	.... 3
3	論理系定義支援機能	.... 4
3.1	記号定義	.... 4
3.2	構文定義	.... 4
3.3	公理・導出規則定義	.... 5
3.4	論理系定義支援機能に関する補足	.... 5
4	思考シートのユーザ・インタフェースに関する考察	.... 5
4.1	ユーザの主導権について	.... 6
4.2	応答時間の考慮	.... 6
4.3	表現や操作上の制約	.... 7
4.4	操作・応答の一貫性	.... 7
5	思慮シートの機能	.... 7
5.1	入力支援機能	.... 8
5.2	編集機能	.... 8
5.3	推論規則による証明断片の拡張	.... 9
5.4	その他の機能	.... 9
6	むすび	.... 10
	謝辞	.... 11
	参考文献	.... 11

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports