証明

証明されたものを、より確実にするための、あるいはその正当性を示す証拠や保証となるもの、およびそれを求める行為のことを裏付け（うらづけ）、裏書き（うらがき）と呼ぶ。 証明 (数学) - 数学における証明。 計算機科学における証明 → 対話型証明系を参照。 訴訟や裁判における証明 -…

内容証明（ないようしょうめい）とは、郵便物の文書の内容ならびに差出人および名あて人を証明する特殊取扱のことである。内容証明の特殊取扱とする郵便物は、同時に一般書留の特殊取扱としなければならない。 内容証明は、郵便物の差出日付・差出人・宛先・文書の内容を、国の特殊会社である日本郵便が謄本により証明…

証明されるか、その証明の中で否定されなければならない（背理法）。 命題 P を証明したいとき、P をそのまま証明することを直接証明という。それに対して P が真であることを直接証明する代わりに、P と同値な別の命題が真であることを証明する方法を間接証明…

悪魔の証明（あくまのしょうめい、ラテン語：probatio diabolica、英語：devil's proof）とは、証明することが不可能か非常に困難な事象を悪魔に例えたものをいう。中世ヨーロッパのローマ法の下での法学者らが、土地や物品等の所有権が誰に帰属するのか過去に遡って証明することの困難さを、比喩的に表現した言葉が由来である。…

技術基準適合証明（ぎじゅつきじゅんてきごうしょうめい）とは、特定無線設備（小規模な無線局に使用するための無線設備）が電波法令の技術基準に適合していることを証明（電波法第38条の2）することである。総務省令特定無線設備の技術基準適合証明等に関する規則（以下、「証明…

ポータル 文学 『人間の証明』（にんげんのしょうめい）は、森村誠一の長編推理小説、またそれを原作とした映画、テレビドラマ。1975年に『野性時代』（角川書店）で連載された。第3回角川小説賞受賞作品。単行本・各社文庫本計で770万部以上のベストセラーとなっている。佐藤純彌監督で映画化（1977年公開）…

身分証明書（みぶんしょうめいしょ）とは、社会生活上、人の本人性や法的資格を示すために用いられる文書のことである。官公庁や学校・会社・団体など公的機関が発行する証明書等が利用される。身分証（みぶんしょう）とも。なお、「身分証明証」は誤り。ID（英語: identity documentの略語から）とも呼ばれる。…

証明写真（しょうめいしゃしん）は、その人物を判断し、他人のなりすましを見分けることなどを目的に身分証明書や書類などに貼付される人物写真。パスポートや運転免許証などの公文書、履歴書などの私文書、入学試験や資格試験などの願書（写真が貼られた部分が受験票となる）などに用いられる。基本的に無地の背景で、肩…

証明論（しょうめいろん、英語: proof theory）は、数理論理学の一分野であり、証明を数学的対象として形式的に表し、それに数学的解析を施す。 証明は帰納的に定義されたデータ構造で表されることが多く、単純なリスト、入れ子リスト、木構造などがある。これらは論理体系の公理や推論規則によって構築さ…

履修証明（りしゅうしょうめい、英: Certificate〈サティフィケイト〉）とは、学業の学修水準または職業の技能能力を証明する制度のひとつである。 アメリカ合衆国のコミュニティ・カレッジにおける職業サーティフィケート課程は、ISCED4Cレベルの職業教育であり、卒業時には職業サーティフィケート（Vocational…

乗車駅証明書を発行する機械で、駅の改札口付近に設置され、駅名・発行日・時間が印刷された乗車駅証明書が発行される。運賃精算はこの証明書を見せて行う。不正乗車が容易であることから、無人駅用自動券売機の設置や、列車内での乗車整理券発行によって、乗車駅証明…

ポータル 文学 『野性の証明』（やせいのしょうめい）は、森村誠一の小説、またそれを原作とした映画やテレビドラマ。 東北の寒村で大量虐殺事件が起こる。その生き残りの少女と、訓練中、偶然虐殺現場に遭遇した自衛官。この二人を主人公に、東北地方の都市を舞台にした巨大な陰謀を描く。…

耐空証明（たいくうしょうめい、英語: Airworthiness certificate）とは、航空機の強度・構造・性能が安全性及び環境保全のための技術上の基準に適合するかどうかを検査し、その基準に適合していると認める証明である。自動車で言えば車検に相当する。 耐空証明はAC（Airworthiness…

接種証明書（せっしゅしょうめいしょ）とは、特定の感染症に対する抗体を保持している事を証明する証書。免疫パスポート、ワクチンパスポートとも言われる。 後述する陰性証明書とともに、主に他国の渡航に際して必要となる。 接種証明書に該当する証書は古くからあり、18世紀には既に存在していたとの記録が存在する。…

証明機は証明探索の完了に失敗する（停止しない）可能性がある。このような理論上の制限はあるが、実用的な定理証明機は様々な難しい問題の証明をすることができる。 関連した問題に、自動証明検証と、証明のコンピュータによる支援がある。定理の証明の正当性を検証するには、証明…

の場合は、別途「使用承諾書」(正式名称は「自動車保管場所使用承諾証明書」である)に、所有者による必要事項の記載、及び証明印が必要となる。 自治体によって異なるが、村などは車庫証明なしで登録できる場合がある。ただし、村であっても車庫証明が必要となる地域は存在する。また、自動車の保管場所の確保等に関す…

証明によって示された最初の定理である。 計算機援用証明は人工知能の分野でも使われ、簡明かつ陽的で新しい（数学の）定理の証明を作り出すことが目指された。このような自動定理証明機はいくつかの新しい結果を生み出し、既存の定理に対しても新しい証明を発見した。 数学的証明…

『理系が恋に落ちたので証明してみた。』（りけいがこいにおちたのでしょうめいしてみた）は、山本アリフレッドによる日本のウェブ漫画。略称は『リケ恋』。Web漫画掲載サイト『COMICメテオ』にて2016年3月15日に読み切り掲載後、同年5月25日より連載中。互いに好意を抱いている主人公2人が、恋愛感情と…

証明する接種証明書を提供するものである。発行した証明書は国内外で利用出来る。 証明書の総発行件数は1111万0713件。 手持ちのスマートフォンのアプリを用いることで、接種証明書の申請、発行、提示、読み取り(認証)ができるようになる。海外渡航時のワクチン接種証明…

証明責任（しょうめいせきにん）とは、真偽不明な対象に関して証明を負う責任。挙証責任、立証責任とも言う。 論理学・哲学的な文脈で、どちらが対象となる事実について証拠を挙げる、または証明を行う責任を負うか、という意味で用いられることがある。 裁判上では、ある事実が真偽不明であるときに、その事実を要件（…