検証

例文

コアイメージ

何かが基準や事実と合っているかを比べて確かめること

関連語

使い方

• data validation

  データ検証

• validation process

  検証プロセス

• validation report

  検証報告

類義語との違い

validation: 正しさや有効性を確かめること
verification: 事実や数値が正しいか確認すること
confirmation: 情報や予定を確かめて確定すること
approval: 正式に許可・承認すること

英英

The process of checking or proving that something is correct, true, or meets certain standards.

語源

validationは、ラテン語のvalidus（強い、価値がある）から出て、中世ラテン語validare（有効にする）→英語validateを経て『検証』の意味になった。

コラム

• validationは文書や製品の公的な妥当性確認を指し、ビジネス文書では「承認」「妥当性確認」の意味で用いられることが多い

例文

コアイメージ

主張や記録が本当かどうかを証拠と比べて確かめる行為

関連語

使い方

• identity verification

  身元確認

• verification of

  〜の検証

• verification process

  検証プロセス

類義語との違い

verification: 主張や事実が正しいことを立証する行為や手続き
evidence: 事実を支持する資料や情報で、部分的な証拠
proof: 主張を決定的に示す証拠・証明
confirmation: 事実や情報の正確さを確かめる行為・結果

英英

The process of checking or proving that something is true, accurate, or valid.

語源

verificationは、動詞verify（確かめる）に名詞化の接尾語-ationがついて「確かめること＝立証」を表す語。

コラム

• 日常会話より報告書や研究発表などフォーマルな文脈で用いられ、証拠をもとに正当性を確かめる場面で使われる

例文

コアイメージ

利用者や情報の真正性を確認する手続きで認証をさす

英英

Authentication is the process of confirming the identity or legitimacy of a user, device, or data before granting access.

語源

authenticationは、ギリシャ語authentikosの語根に由来し中世ラテン語を経て英語化し認証つまり真正性を確認する行為という意味で定着した

コラム

• 認証は利用者の身元や資格を確認する手続きで認可とは異なりアクセス権の付与自体は別に判断されるため二要素認証などで本人確認を強化する場面で用いられる

例文

コアイメージ

形式化された規則に従って構成された証明で、自動定理証明との相性が良い証明

英英

A formal demonstration that establishes the truth of a statement by applying explicit rules of logic or a formal system, often used in automated theorem proving.

語源

logical proofは、logical（論理の）とproof（証明）という語の結合で、特に形式化された手続きで成立する証明を指す語として用いられる経緯がある。

コラム

• プログラムが出力するような場合、logical proofは形式証明とほぼ同義で扱われることが多く、人間の直感的な説明と区別される。