http://w.atwiki.jp/proofpattern/ proofpattern @ ウィキ ja 2014-08-09T19:37:52+09:00 1407580672 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">???に関するパターン <ul><li class="AlignRight">specialize</li> <li class="AlignRight">assert</li> </ul></li> <li class="AlignRight">帰納法に関するパターン <ul><li class="AlignRight">induction</li> <li class="AlignRight">elim</li> <li class="AlignRight"> </li> </ul></li> </ul></li> <li><a href="http://www60.atwiki.jp/proofpattern/?page=%E5%8F%B3%E3%83%A1%E3%83%8B%E3%83%A5%E3%83%BC"> <font color="#5F441A">右メニュー</font></a></li> </ul><p> </p> 2014-08-09T19:37:52+09:00 1407580672 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/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>も参考にしてね。</p> </div> <ol><li>画面の左上にある「＠メニュー」にマウスを持って行くと、さらにメニューが表示されます。</li> <li>表示されたメニューから「新規ページ作成」をクリック！</li> <li>表示されたページで、作りたいページの名前を入力して、<br /> 編集モードは　<span style="color:rgb(255,0,0);">【初心者向け】ワープロモード</span>　を選択しよう。</li> <li>真ん中の枠の中に、自由に書き込めるよ！　</li> <li>作り終わったら、「ページを保存」をクリックすれば、新しいページの作成は完了！</li> </ol><p> </p> <h4>■このページを編集しよう！</h4> <p>最後に、このトップページを編集しよう！</p> <p>ページ編集の方法がわからない場合は<a href="http://www1.atwiki.jp/wpmode_guide/pages/9.html" target="_blank">こちらのページ</a>も参考にしてね。</p> <ol><li>左上にある「編集」にマウスを持って行くと、さらにメニューが表示されます。</li> <li>表示されたメニューから「ページ編集」をクリック！</li> <li>編集画面が表示されるので、自由に書き換えてみよう。</li> <li>書き換え終わったら、「ページを保存」をクリックすれば、トップページの編集は完了！</li> </ol><p> </p> <h3>もし、wikiで議論する場や掲示板が欲しい場合は？</h3> <p>@wikiの姉妹サービスである@chsをご利用ください。</p> <p><a href="http://atchs.jp/new_regist.php">登録はこちらから</a>　←　ここをクリックしてください。</p> <p> </p> <h3 id="id_a57b2f4f">分からないことは？</h3> <ul><li><a href="http://atwiki.jp/guide/" target="_blank"><font color="#5F441A">@wiki ご利用ガイド</font></a></li> <li><a href="http://www1.atwiki.jp/guide/pages/21.html" target="_blank"><font color="#5F441A">よくある質問</font></a></li> <li><a href="http://www1.atwiki.jp/guide/pages/143.html" target="_blank"><font color="#5F441A">@wiki更新情報</font></a></li> <li><a href="http://atwiki.jp/helpdesk" target="_blank"><font color="#5F441A">@wikiへのお問合せフォーム</font></a></li> </ul><div>等をご活用ください</div> <p> </p> <h3 id="id_9a589d71">その他お勧めサービスについて</h3> <li><a href="http://atchs.jp/" target="_blank"><font color="#5F441A">2ch型の無料掲示板は@chsをご利用ください</font></a></li> <li><a href="http://atbb.jp/" target="_blank"><font color="#5F441A">フォーラム型の無料掲示板は@bbをご利用ください</font></a></li> <li><a href="http://atbbs.jp/" target="_blank"><font color="#5F441A">その他の無料掲示板は@bbsをご利用ください</font></a></li> </ul><p> </p> <h3 id="id_c06b13d0">バグ・不具合を見つけたら？ 要望がある場合は？</h3> <div>お手数ですが、<a href="http://atwiki.jp/helpdesk" target="_blank">お問い合わせフォーム</a>からご連絡ください。</div> <p> </p> 2014-08-09T18:23:54+09:00 1407576234 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