ProofDisplay
の編集
http://mathlibre.org/wiki/?ProofDisplay
[
トップ
] [
編集
|
差分
|
バックアップ
|
添付
|
リロード
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
]
-- 雛形とするページ --
(no template pages)
*ProofDisplay [#zffb5d43] The ProofDisplay is a rich graphical interface used to to interact with AProS. In the ProofDisplay one can view both the resulting proof and each step in the search in a number of formats. ProofDisplay は Carnegie Mellon 大学の Automated Proof Search プロジェクトの証明検索エンジン AProS の GUI です． &ref(20130929-pd.png); - Demo 版ですが，最小，直観主義，古典論理の各範囲から命題，一階述語論理の定理式のサンプルが選べます． * 実行 [#w3022534] - Webstart 用ですので，実行には Java 環境とネットワーク環境が必要です． - 次をクリックし，（Firefoxの場合）「プログラムで開く」を選択，OKを押してください（初回のみ確認のメッセージなどが出ます）． -- http://www.phil.cmu.edu/projects/apros/download/proofdisplay-dev.jnlp - 起動したらメニューの「Tools」→「Choose Assertion Category」→「Standard Problem Files」から適当な定理式を選び，C-p（コントロールキーを押しながら，pを押す） で自然演繹による証明が検索，表示されます． * リンク [#q63cb043] - http://www.phil.cmu.edu/projects/apros/index.php?page=overview - http://www.phil.cmu.edu/projects/apros/index.php?page=generator&subpage=proofdisplay
タイムスタンプを変更しない
*ProofDisplay [#zffb5d43] The ProofDisplay is a rich graphical interface used to to interact with AProS. In the ProofDisplay one can view both the resulting proof and each step in the search in a number of formats. ProofDisplay は Carnegie Mellon 大学の Automated Proof Search プロジェクトの証明検索エンジン AProS の GUI です． &ref(20130929-pd.png); - Demo 版ですが，最小，直観主義，古典論理の各範囲から命題，一階述語論理の定理式のサンプルが選べます． * 実行 [#w3022534] - Webstart 用ですので，実行には Java 環境とネットワーク環境が必要です． - 次をクリックし，（Firefoxの場合）「プログラムで開く」を選択，OKを押してください（初回のみ確認のメッセージなどが出ます）． -- http://www.phil.cmu.edu/projects/apros/download/proofdisplay-dev.jnlp - 起動したらメニューの「Tools」→「Choose Assertion Category」→「Standard Problem Files」から適当な定理式を選び，C-p（コントロールキーを押しながら，pを押す） で自然演繹による証明が検索，表示されます． * リンク [#q63cb043] - http://www.phil.cmu.edu/projects/apros/index.php?page=overview - http://www.phil.cmu.edu/projects/apros/index.php?page=generator&subpage=proofdisplay
テキスト整形のルールを表示する
添付ファイル:
20130929-pd.png
2266件
[
詳細
]
![[PukiWiki]](image/knxmpen.png "[PukiWiki]")
20130929-pd.png