例文
Please provide an attestation of employment with your application.
申請に雇用の証明を添付してください。
コアイメージ
口頭または書面で事実を示す証明
英英
A spoken or written statement that declares something to be true and serves as proof, often used in legal or formal contexts.
語源
attestationは、ラテン語 attestari の派生で、証言を意味する語が文書による公式な証明の意味に発展した。
コラム
- attestationは証言や宣誓供述書の意味で使われることがあり、法的手続きで用いられる
例文
The computer program generated a logical proof for the automated theorem.
そのコンピュータプログラムは自動定理のための証明を生成した。
コアイメージ
形式化された規則に従って構成された証明で、自動定理証明との相性が良い証明
英英
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は形式証明とほぼ同義で扱われることが多く、人間の直感的な説明と区別される。
