Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
身分証明書(みぶんしょうめいしょ)とは、社会生活上、人の本人性や法的資格を示すために用いられる文書のことである。官公庁や学校・会社・団体など公的機関が発行する証明書等が利用される。身分証(みぶんしょう)とも。なお、「身分証明証」は誤り。ID(英語: identity documentの略語から)とも呼ばれる。
(1)理由や根拠を明らかにして事柄が真実であることや判断・推理などが正しいことを明らかにすること。
(1)はっきりと証拠をあげて示すこと。 また, その証拠。
〔古くは「ふんじん」とも〕
(1)その人が属する社会における地位や資格。
〔古くは「ふんめい」とも〕
〔「ぶんみょう」とも〕
証明を書くことは、機械語でプログラミングをするようなものである。 現代では、形式的証明は一般に計算機支援証明を補助としてコンピュータを使って構築される。また、その証明がコンピュータで自動的に検証される点も重要である。形式的証明の検証は簡単だが、証明そのものをコンピュータが構築すること(自動定理証明