语言
没有数据
通知
无通知
(1)理由や根拠を明らかにして事柄が真実であることや判断・推理などが正しいことを明らかにすること。
(1)はっきりと証拠をあげて示すこと。 また， その証拠。
証明を書くことは、機械語でプログラミングをするようなものである。 現代では、形式的証明は一般に計算機支援証明を補助としてコンピュータを使って構築される。また、その証明がコンピュータで自動的に検証される点も重要である。形式的証明の検証は簡単だが、証明そのものをコンピュータが構築すること（自動定理証明
『明証』とは、クルアーンにおける第98番目の章（スーラ）。8つの節（アーヤ）から成る。 ^ a b 日本ムスリム情報事務所 聖クルアーン日本語訳 日本ムスリム情報事務所 聖クルアーン日本語訳 表示 編集
『証×明 -SHOMEI-』（しょうめい）は、喜多村英梨の2枚目のオリジナルアルバム。2014年4月9日にスターチャイルドから発売された。 タイトルの「証×明 -SHOMEI-」は、喜多村曰く「喜多村ってここまでやるの?」ということを証明するためにつけられた。
何も着用せず、生まれたのままの姿を披露し、自分自身の可能性、そして今を生きる自分自身の存在を「証明」している。最後は凛とした全メンバーが後方を向いて佇み、後頭部からセミヌードの背中が映り、メンバーのリーダーシップも感じさせるようになっている。 音楽配信サイトで「証明ティンエイジャー」のオルゴールバー
型式証明（かたしきしょうめい、英語: Type certificate）とは、民間航空機の型式が安全性及び環境適合性の基準を満たしていることを証明するものである。 型式証明はTC (Type Certificate) ともいい、航空機の開発時に必要な証明で予め開発段階で設計や製造過程の検査を行って
配達証明（はいたつしょうめい）とは日本郵便が提供する郵便サービスの一つ。一般書留とした郵便物に対して付加するサービスである。 一般書留（現金書留を含む）に付加できるオプションとして扱われ、郵便物を配達・交付した際に郵便物等配達証明書を差出人に送付し、当該の郵便物を配達・交付した事実を証明
搜索 
