検索結果- 英語 - 多言語
検索内容:
proofs by exhaustion
proof of technology
probabilistically checkable proofs
the proof of the pudding is in the eating
zero-knowledge proof
(cryptography) An interactive method for one party to prove to another that a (usually mathematical) statement is true, without revealing anything other than the veracity of the statement.
零知識証明：暗号学において、ある命題（通常は数学的な命題）が真であることを、命題の具体的な情報を一切漏らさずに、対話形式で証明する手法です。
zero-knowledge proofs
probabilistically checkable proof
(computing theory) A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.
計算理論において、ランダムアルゴリズムを用いて得られる、計算上の定理または予想に対する合理的な証明。
prooftext
A decontextualized quotation from a document (often, but not always, a book of the Bible) to establish a proposition rhetorically through an appeal to authority.
文脈から切り離された引用箇所。特に、聖書など権威ある文書からの引用を用い、説得のために命題が補強されるためのもの。
prooftext
To use decontextualized quotations from a document (often, but not always, a book of the Bible) to establish a proposition rhetorically through an appeal to authority.
文脈を取り除いた引用、特に聖書などの書物からの断片的な引用を用い、権威に訴えてある命題や論点を支持する（レトリカルな）行為
（ present singular third-person ）
（ participle present ）
（ participle past ）
（ past ）
proofreadings
plural of proofreading
校正（文章の誤りを見つけ、訂正する作業）
