ノート:証明

書き方のフォーマット

高等学校などでは、「証明の最後には『Q.E.D.』と書きなさい」などの注意を受ける思います。書き方のフォーマットに関する言及・議論を望みます。--61.215.245.246 2007年7月11日 (水) 16:56 (UTC)

私の知り合いの中学校教員は「//」と書いているようです。--裏横綱（会話） 2015年3月1日 (日) 08:54 (UTC)

分割提案

Kyosu-tanniと申します。

この記事は現在、

1. 一般用法
2. 数学
3. 計算機科学
4. 法律学

と分けて解説していますが、廃止された「1ページに共存」の方式の曖昧さ回避となってしまっているのではないかと思います。よって、以下のようにしてこの記事を分割等することを提案します。

• 「証明」は、上記 1. の解説を残して曖昧さ回避とする。
• 上記 2. を「証明 (数学)」に分割する。
• 上記 3. を適当な記事に一部転記、適当な転記先がなければ「証明 (計算機科学)」へ分割する。
  • {{一部転記}}は転記先の指定が必須のようだったので{{分割}}でまとめて書いたのですが、単独記事だとスタブとなってしまうと思うので、できれば一部転記にしたいと思っております。
• 上記 4. は、説明が概要のようなものとなっているため、曖昧さ回避ページ内で「証明 (法律学)」というリンクを記述しそれに付記する形とする。

上記 3. の転記先として適当なものが分からないため、その点ご意見をお願いします。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年3月24日 (水) 13:49 (UTC)

失礼いたします。分割先の記事ですが、相当する他言語版は存在しますでしょうか？分割自体には反対ではありませんが、他言語版が無いのであれば、わざわざ分割するほどでもない気がします。（他言語版が存在するのであれば、全く異議はありません。）ちなみに、現記事のリンク先はen:Mathematical proofとなっており、証明 (数学)に相当するようです（少なくともこの記事に相当する他言語版は存在するようです）。このあたり、他言語版とのリンクについて、整理いただければ幸いです。

また以前私が消滅について消滅 (法律)への改名提案（ノート:消滅）を行った際、「一般的な日本語の意味を超えた法律用語としての「消滅」という用語があるわけではない」との意見があり、私は法律に詳しくないことから、この意見を受け、改名を取りやめてソフトリダイレクトにした経緯があります。「証明 (法律学)」についても同様ということはないでしょうか。私は法律に全く詳しくありませんが、ご参考いただければ幸いです。--ABCEdit（会話） 2021年3月29日 (月) 12:44 (UTC)

返信 (ABCEditさん宛) コメントありがとうございます。

他言語版について確認するため英語版の曖昧さ回避ページ en:Proof を見てみたところ、法律に関するものは en:Evidence (law)（日本語版の「証拠」にあたる記事）に誘導されていました。ですので法律分野のものについては「証拠」への誘導になろうかと思いますが、私も法律にはさして詳しくなく、一般名詞を超えた意味が特にないという確証が得られていないので、プロジェクト:法学で質問してみようと思います。（それでも特に意見が来なければ「証拠」への誘導ということにしてしまっても良いと思います。）

で、数学分野の記述は en:Mathematical proof、分割する場合の跡地の曖昧さ回避は en:Proof に対応することとなりますが、計算機科学のほうは、分割する場合英語版に対応する記事があるかどうかも、転記する場合の適切な転記先も全く分かりませんので、プロジェクト:コンピュータ での意見募集の効果を待つこととなるかと思います。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年3月31日 (水) 13:44 (UTC)

 追記 計算機科学分野の記述の転記先を探していたのですが、数式なら言語を超えて手がかりになるはずだと思い、「x∈L」というのを利用して英語版で調べてみたところ、en:Probabilistically checkable proof（日本語版の「PCP (計算複雑性理論)」）が出てきました。まだ詳しくは読んでいないのですが、今ある記述によく似た部分があったので、転記先の有力な手掛かり、あるいは転記先そのものになるかもしれません。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年3月31日 (水) 14:43 (UTC)

さらに追記 その後、全く分からない領域のため内容は理解できないながらも「PCP (計算複雑性理論)」を読んだのですが、その中のリンクに「対話型証明系」というのを見つけ、見てみたところ、冒頭部に例の記述によく似たものを発見しました。

ただ、なにしろ内容が分からないものですので、コメント依頼に出して広く意見を伺いたいと思います。

なお、「計算複雑性理論」によると、これは計算機科学の一分野のようです。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月4日 (日) 08:40 (UTC)

情報 先の「対話型証明系」ですが、#Arthur-Merlin プロトコルと Merlin-Arthur プロトコルという節にある記述が、内容までよく似ていました。「対話型証明系」への誘導で良さそうです。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月7日 (水) 09:41 (UTC)

プロジェクト‐ノート:法学の案内より参りました。Kyosu-tanniさんご質問の法律用語上の「証明」について説明させていただきます。

法律用語というよりも訴訟・裁判用語として、一般的な意味以外での「証明」の語が使われる場合があります。その内容に関してはこの記事の当該節に記載の通りです（『有斐閣 法律用語辞典』にもほぼ同様の記載あり）。この中で特に重要な点は「確信」を要する点です。確信ではなく「確からしいという推測」で足りる「疎明」と区別されます。

こうした訴訟に関する場合を除けば、一般的な意味の「証明」と思っていただいて差し支えないかと存じます。--ratexio（会話） 2021年4月5日 (月) 10:05 (UTC)

返信 (ratexioさん宛) コメントありがとうございます。

訴訟・裁判の用語としては一般的な意味を超えた用法があるということですが、もし分割とともに「証明」を曖昧さ回避ページにするとしたら、その意味での「証明」についても独立記事を想定し赤リンクを設置するべきでしょうか。その場合は、記事名はどう想定するのが良いでしょうか（「証明 (訴訟)」「証明 (裁判)」、あるいは疎明とセットで「疎明と証明」「証明と疎明」など？）。その点についてもご意見を伺えると幸いです。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月5日 (月) 11:58 (UTC)

返信 (Kyosu-tannさん宛) 一般的な意味を超えた用法があるといっても、今この記事に書かれているとおりの内容ですし、これ以上特筆して説明するような内容はありません。疎明について言及したとしても、「疎明」は訴訟上の用法が一般的な用法であり、国語辞典的な内容しか書けません。どのような記事名（赤リンク）にしても、独立記事として成立するほどの内容をイメージできないというのが正直なところです。--ratexio（会話） 2021年4月6日 (火) 11:34 (UTC)

感謝 なるほど。コメントありがとうございます。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月7日 (水) 09:31 (UTC)

コメント すみません、最近多忙により編集頻度が下がってしまい、なかなかここでの対応ができておりませんでした。

まとめますと、

• ここ「証明」は、一般用法の記述を残して曖昧さ回避ページとする
• 数学分野は、証明 (数学)への分割
• 計算機科学分野は、対話型証明系への誘導
• 法律（裁判・訴訟）分野は、現在書かれている説明は維持して掲載するが、リンクは設置しない

ということになりましょうか。

また、英語版にならって、（上記の法律（裁判・訴訟）分野とは別で）証拠への誘導も入れても良いのではないかと思います。

今日は時間的にできないので明日以降になりますが、当方時間がとれ次第実施しようと思います。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月24日 (土) 14:44 (UTC)

上記の編集を実施します。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月25日 (日) 11:00 (UTC)

報告 実施しました。なお、「証拠」への誘導も入れようかと思ったのですが、既に関連項目にあったのでそのままにしました。あとはリンク修正などを行います。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月25日 (日) 12:22 (UTC)

報告 僭越ながら、私の方で、証明 (数学)とen:Mathematical proof、証明とen:Proof (truth)をそれぞれ言語版間リンク作業を行っておきました。--ABCEdit（会話） 2021年4月25日 (日) 12:30 (UTC)

返信 (ABCEditさん宛) 感謝 ありがとうございます。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月25日 (日) 14:01 (UTC)

 経過報告 現在リンク修正を進めていますが、この進み具合だと到底終わりそうにありません…。一定の割合で一般用法も混じっており、Bot作業依頼で機械的に作業していただくのも難しそうです。どうにかなりませんでしょうか？--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月25日 (日) 14:13 (UTC)

返信 (Kyosu-tanniさん宛) 私も同様の分割作業を行ったことがありますが、一つ一つの文脈でリンク先を判断することが必要で、Botに依頼することはできないので、自分で付け替える以外の方法を思いつきませんでした。（井戸端で聞いてみるのも良いかもしれません。）膨大な量ですので、私の方でも手が空いたときにリンク付け換え作業を行ってみます。--ABCEdit（会話） 2021年4月26日 (月) 10:06 (UTC)

証明への現在のリンク元をざっと見たところ、数学関係の記事は少なくとも以下がありました。これらのページを対象に証明→証明 (数学)にリンク付け替えができるbot作業依頼の方法があれば、手間はかからないと思います。（32記事なので手動でもできなくはなさそうです。）

• 代数的整数論
• 平面充填
• 双曲幾何学
• 数学上の未解決問題
• 0.999...
• ∴
• ∵
• 集合の代数学
• ブニャコフスキー予想
• 幾何化予想
• 円周率の無理性の証明
• 数学史
• 数学の哲学
• 数学的な美
• 数学的なジョーク
• クラス (集合論)
• 有限演算
• 無限論理
• 数学A
• 素数が無数に存在することの証明
• 円周率が22/7より小さいことの証明
• 可解群
• 数学の年表
• Category:証明を含む記事
• Category:数学的証明
• ゼロの偶奇性
• 算術の超準モデル
• 順序環
• ZFCから独立な命題の一覧
• メタ理論
• 数学の問題
• 仮設 (数学)

--ABCEdit（会話） 2021年4月27日 (火) 00:18 (UTC)

返信 (ABCEditさん宛) 感謝 ありがとうございます。そちらのリストは、カテゴリなどで絞り込んだのでしょうか？　「『証明』にリンクしている」「何か特定のカテゴリ（Category:数学など？）に分類されている」というようなシンプルな条件であればBot作業を行っていただくこともできるかもしれません。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月27日 (火) 11:18 (UTC)

返信 (Kyosu-tanniさん宛) リンク元をざっと見て、数学の分野を主題としていると思われる記事を絞り込みました。本当にざっとなので、抜けがある可能性も高いです。精度が低く申し訳ありません。--ABCEdit（会話） 2021年4月27日 (火) 11:52 (UTC)

返信 (ABCEditさん宛) いえいえ、全然大丈夫です。とりあえず上の32記事だけでもBotに依頼してみましょうか？--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月27日 (火) 12:20 (UTC)

返信 (Kyosu-tanniさん宛) 賛成です。もし記事を限定しての依頼が可能であれば、ですが...--ABCEdit（会話） 2021年4月27日 (火) 12:23 (UTC)

返信 (ABCEditさん宛) とりあえず依頼しました。説明の足りない部分などあれば補足を頂けると幸いです。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月27日 (火) 13:30 (UTC)

返信 (Kyosu-tanniさん宛) 依頼ありがとうございます。カテゴリで指定している事例があるので、可能かも知れませんね。--ABCEdit（会話） 2021年4月27日 (火) 13:47 (UTC) お名前に脱字がありました。申し訳ありません。--ABCEdit（会話） 2021年4月27日 (火) 13:58 (UTC)

返信 (ABCEditさん宛) 確かにそのようですね。ありがとうございます。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月27日 (火) 13:59 (UTC)

@ABCEditさん:  追記（編集競合しました）名前の脱字については私自身全く気付いていなかったので全然大丈夫です。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月27日 (火) 14:02 (UTC)

報告 Bot作業が終わったようです。カテゴリでの絞り込みですが、Category:数学に関する記事あたりが良いですかね？--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月27日 (火) 14:35 (UTC)

報告と 疑問 カテゴリページにある[[証明]]を修正していたのですが、Category:証明法というのが「哲学的方法論における証明の方法に関するカテゴリ」を称しながらCategory:数学的帰納法や無限降下法が収まっていて訳の分からない状態です…。カテゴリ作成者が「哲学的方法論」を意図していたのに気づかず誰かが分類してしまったのでしょうかね？--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月27日 (火) 14:57 (UTC)

返信 (Kyosu-tanniさん宛) botの作業が無事終わって良かったです。次の絞り込みはCategory:数学に関する記事で良いと思います。Category:証明法については、このような捻れ？はカテゴリ全般によく見られる問題だと感じます。英語版en:Category:Methods of proofを元に作られたような感を受けます。この問題については別途検討する必要があるかも知れません。--ABCEdit（会話） 2021年4月28日 (水) 05:37 (UTC)

返信 (ABCEditさん宛) ありがとうございます。では、Category:数学に関する記事で依頼してみようかと思います。

Category:証明法についてですが、カテゴリ名の「証明法」を聞くと、哲学の知識でもなければ（私もそうですが）普通に数学の「証明」の「方法」だと思ってしまうので、それでこのように「捻れ」てしまうのでしょうね…。私は哲学の「証明」というのがよく分からないのですが、これは独立記事を想定して「証明」（ここ）に赤リンクを置いておいたほうが良いでしょうかね？--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月28日 (水) 12:47 (UTC)

報告 Bot作業依頼を出しました。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月28日 (水) 12:57 (UTC)

返信 (Kyosu-tanniさん宛) Bot依頼ありがとうございます。哲学における証明法については私もよくわかりませんね...。そのような概念はあるのかもしれませんが、英語版には対応する記事を見つけられませんでした。赤リンクに関してはお任せいたします。--ABCEdit（会話） 2021年4月28日 (水) 20:05 (UTC)

報告と 返信 (ABCEditさん宛) Bot作業が終了したようです。哲学における証明法については、よく分からないものを勝手に追加するのも難ですし、どのみちどなたかが気づいたら追加すると思うので様子見ということで良いかと思います。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年4月29日 (木) 10:50 (UTC)

┌────────────────────────────────────────────────────────────────────────────────────────────────────┘(インデント戻し)  提案 メンテナンスしやすくするために、

• 証明 (曖昧さ回避) → 証明
• 証明 (一般用法) → 証明#一般用法

というリダイレクトを作成するのはいかがでしょうか？（前者についてはWP:RDR#曖昧さ回避ページへのリンクに書かれていたのですが、後者についてはこのようなリダイレクトが許容されるのかよく分かりませんが…。）--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年5月2日 (日) 10:15 (UTC)

返信 前者については仰るように推奨されているので、作成するのがよろしいかと思います。後者については、一任します。--ABCEdit（会話） 2021年5月2日 (日) 23:19 (UTC)

返信 コメントありがとうございます。では、それらを作成して、特別:リンク元/証明をだんだん空にしていくようにしようかと思います（いずれにしても哲学の「証明」は扱いに困って放置になりそうですが…）。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年5月3日 (月) 10:26 (UTC)

報告 両方作成しました。--Kyosu-tann${\color {Blue}{i}}$（会話・投稿） 2021年5月3日 (月) 10:32 (UTC)