http://w.atwiki.jp/proofpattern/ proofpattern @ ウィキ ja 2014-08-09T19:13:59+09:00 1407579239 https://w.atwiki.jp/proofpattern/pages/6.html もしも、 前提条件に(S O = O)のような、 明らかに異なる値の等式がある ならば、 タクティック [[inversion>http://coq.inria.fr/distrib/current/refman/Reference-Manual010.html#hevea_tactic87]] を適用する。 なぜなら、 inversionは異なるコンストラクタの等式から矛盾を導く。 // 本当？ 2014-08-09T19:13:59+09:00 1407579239 https://w.atwiki.jp/proofpattern/pages/5.html もしも、 前提条件からFalseを導ける ならば、 タクティック [[exfalso>http://coq.inria.fr/distrib/current/refman/Reference-Manual010.html#hevea_tactic64]] を適用する。 なぜなら、 exfalsoはforall P, False->Pを適用し、結論をFalseに変える。 前提条件からFalseを導くことで証明できる。 2014-08-09T18:53:34+09:00 1407578014 https://w.atwiki.jp/proofpattern/pages/4.html もしも、 前提条件で0<>0のような命題が出現した ならば、 タクティック [[absurd>http://coq.inria.fr/distrib/current/refman/Reference-Manual010.html#hevea_tactic61]] を適用する。 なぜなら、 absurdはforall P, P->~P->Falseを適用し、Falseを導くことで命題を証明する。 absurd (0=0)を使用することでPが(0=0)となり証明できる。 2014-08-09T18:50:53+09:00 1407577853 https://w.atwiki.jp/proofpattern/pages/3.html **カウンター |今日|&counter(today)人| |昨日|&counter(yesterday)人| |&bold(){合計}|&bold(){&counter()人}| 現在&online()人が閲覧中。 **更新履歴 #recent(30) 2014-08-09T18:23:54+09:00 1407576234 https://w.atwiki.jp/proofpattern/pages/2.html <h3 id="id_b7a6c500">メニュー</h3> <ul><li><a href="http://www60.atwiki.jp/proofpattern/pages/1.html" title="トップページ (22d)"><font color="#5F441A">トップページ</font></a></li> <li><a href="http://www60.atwiki.jp/proofpattern/pages/2.html" title="メニュー (202d)"><font color="#5F441A">メニュー</font></a> <ul><li class="AlignRight"><font color="#5F441A">​​Falseに関するパターン</font> <ul><li class="AlignRight"><font color="#5F441A">​<a href="http://www60.atwiki.jp/proofpattern/pages/4.html">absurd</a></font></li> <li class="AlignRight"><a href="http://www60.atwiki.jp/proofpattern/pages/5.html">exfalso</a></li> <li class="AlignRight"><a href="http://www60.atwiki.jp/proofpattern/pages/6.html">inversion</a></li> </ul></li> <li class="AlignRight">Reductionに関するパターン <ul><li class="AlignRight">red</li> <li class="AlignRight">simpl</li> <li class="AlignRight">compute</li> </ul></li> <li class="AlignRight">変換に関するパターン <ul><li class="AlignRight">rewrite</li> <li class="AlignRight"> </li> </ul></li> <li class="AlignRight">??? 2014-08-09T19:37:52+09:00 1407580672 https://w.atwiki.jp/proofpattern/pages/1.html <h3>このウィキの使い方　～4つのステップ～</h3> <h4>■ログインしてみよう！</h4> <p>デザインを変えたり、サイト名を変えたりするためには、ログインしないといけないよ。</p> <p>ログインの方法は、下の手順でログインしてみよう！</p> <p>わからない場合は<a href="http://www1.atwiki.jp/wpmode_guide/pages/4.html" target="_blank">こちらのページ</a>も参考にしてね。</p> <ol><li>画面の右上にある「ログイン」をクリック！</li> <li>ユーザ名に「proofpattern」、パスワードには、登録の時に設定したものを入力しよう。</li> <li>画面の右上に「proofpattern」と表示されればログイン完了！</li> </ol><p> </p> <h4>■サイト名を変更しよう！</h4> <p>サイト名はどこから変えれるの？下の手順にそえばサイト名を変えれるよ！</p> <p>わからない場合は<a href="http://www1.atwiki.jp/wpmode_guide/pages/5.html" target="_blank">こちらのページ</a>も参考にしてね。</p> <ol><li>ログインしたら、右上にある「設定」をクリック！</li> <li>表示されたページの左メニューにある、「基本設定」をクリックしよう！</li> <li>そうすると、一番上の「サイト名」と書かれた右側に、今のサイト名が書かれています。<br /> ここを好きな名前に書き換えよう！</li> <li>書き換え終わったら、一番下にある「設定変更」ボタンをクリック！</li> <li>右上の 「（設定したサイト名）」へ戻る　をクリックすると、サイト名が変わったことが確認できるよ！</li> </ol><p> </p> <div> <h4>■新しいページを作成しよう！</h4> <p>新しくページを作成するにはどうすればいいのか、下の手順にそってやってみよう！</p> <p>わからない場合は<a href="http://www1.atwiki.jp/wpmode_guide/pages/7.html" target="_blank">こちらのページ</a>も参 2014-08-09T18:23:54+09:00 1407576234