语言
没有数据
通知
无通知
(1)理由や根拠を明らかにして事柄が真実であることや判断・推理などが正しいことを明らかにすること。
(1)はっきりと証拠をあげて示すこと。 また， その証拠。
証明を書くことは、機械語でプログラミングをするようなものである。 現代では、形式的証明は一般に計算機支援証明を補助としてコンピュータを使って構築される。また、その証明がコンピュータで自動的に検証される点も重要である。形式的証明の検証は簡単だが、証明そのものをコンピュータが構築すること（自動定理証明
『明証』とは、クルアーンにおける第98番目の章（スーラ）。8つの節（アーヤ）から成る。 ^ a b 日本ムスリム情報事務所 聖クルアーン日本語訳 日本ムスリム情報事務所 聖クルアーン日本語訳 表示 編集
『証×明 -SHOMEI-』（しょうめい）は、喜多村英梨の2枚目のオリジナルアルバム。2014年4月9日にスターチャイルドから発売された。 タイトルの「証×明 -SHOMEI-」は、喜多村曰く「喜多村ってここまでやるの?」ということを証明するためにつけられた。
型式証明（かたしきしょうめい、英語: Type certificate）とは、民間航空機の型式が安全性及び環境適合性の基準を満たしていることを証明するものである。 型式証明はTC (Type Certificate) ともいい、航空機の開発時に必要な証明で予め開発段階で設計や製造過程の検査を行って
配達証明（はいたつしょうめい）とは日本郵便が提供する郵便サービスの一つ。一般書留とした郵便物に対して付加するサービスである。 一般書留（現金書留を含む）に付加できるオプションとして扱われ、郵便物を配達・交付した際に郵便物等配達証明書を差出人に送付し、当該の郵便物を配達・交付した事実を証明
証明責任（しょうめいせきにん）とは、真偽不明な対象に関して証明を負う責任。挙証責任、立証責任とも言う。 論理学・哲学的な文脈で、どちらが対象となる事実について証拠を挙げる、または証明を行う責任を負うか、という意味で用いられることがある。 裁判上では、ある事実が真偽不明であるときに、その事実を要件（前
搜索 
搜索 搜索 
