PROOFS - 日本語 への翻訳

• 証明
• 証拠
• プルーフを
• 校正
• proofs
• 実証

英語 での Proofs の使用例とその 日本語 への翻訳

Go, both of you, with Our proofs.
あなたがた両人は、わが印を持って行け。

Proofs of God's Existence.".
理性による神の存在証明について>>

But there's a second model for arguing: arguments as proofs.
つ目のモデルは「証明としての議論」です。

Since they can be verified quickly, and because the proofs are small, they can protect the integrity of the computation without burdening non-participants.
迅速に認証でき、証明は小規模で済むため、非参加者へ負担をかけることなくコンピュテーションの完全性を保護することができます。

Let us go ahead to explore all the proofs of redemption in the Bible.
では、聖書にある贖いの証拠をすべて探してみましょう。

Though we think it will take some time to fully industrialize the implementation of zero-knowledge proofs, the payoff will enormous.
ゼロ知識証明の完全な工業化と導入には時間を要するだろうが、その見返りは巨大なものだ。

These are just some of the proofs within the Bible, which make it clear that the nature of Jesus and God is completely different.
これらは聖書に書かれている証拠のほんの一部で、イエスと神の特性がまったく異なっていることを明確に示しています。

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in Isabelle.
形式的な証明のアーカイブは証拠のライブラリ、例、およびより大きい科学の発展、Isabelleの定理証明における機械的にチェックのコレクションです。

This watermarking software is particularly useful to designers, artists and banner makers who send artwork proofs to customers for evaluation.
この透かしソフトウェアは、評価用に作品のプルーフを顧客に送ることがあるデザイナーやアーティストの方、バナーメーカーの方に特に役立ちます。

A Proofs column is added to the sheet(to the right of the Attachments column).
シートに「校正」列が追加されます(「添付ファイル/リンク」列の右)。

The book is very practical, presenting problems with diagrams and proofs, implementing algorithms, and analyzing the theory behind the results.
非常に実用的な本であり、問題を図や証拠で示し、アルゴリズムを実装し、結果の背後にある理論を分析します。

The judgment"A prop" defines the structure of valid proofs of A, which in turn defines the structure of propositions.
判断"Aprop"は、Aの妥当な証明の構造を定義し、そこから命題の構造が定義される。

Bullet proofs technology will replace the Monero"zero-knowledge range proofs" that have often led Cryptographers to be inconvenienced by Blockchain bloats.
Bulletproofs技術は、しばしば暗号化技術者をBlockchainbloatsによって不便にさせたMoneroの"zero-knowledgerangeproofs"を置き換えるでしょう。

If more than 50 copies are required, application should be made at the time of returning the author proofs.
部以上の購入を希望する場合は50部を１単位として、著者校正の返送時に申し込むこと。

Using encryption on a blockchain is only possible through the use of zero-knowledge proofs.
ブロックチェーンでの暗号化の使用は、ゼロ知識証明の利用を通じてのみ可能です。

Potential proofs of his claim were lost in a 1935 hangar fire.
彼の主張の潜在的な証拠である機体は、1935年の火事で焼失した。

This is my short summary of Philip Wadler's Proofs are Programs:
良く薦められている文献はPhilWadlerのProofsarePrograms:19thCenturyLogic

From the row where you want to add the proof, click the Add a proof icon in the Proofs column to display the Proofs panel.
校正を追加する行の「校正」列の「校正の追加」アイコンをクリックすると、校正パネルが表示されます。

Euclid of Alexandria revolutionized the way that mathematics is written, presented or thought about, and introduced the concept of mathematical proofs.
アレキサンドリアのユークリッドは数学における記述、表記、思考の方法に革命をもたらし、そして数学的証明の概念を導入しました。

The key to understanding the Holocaust story is understanding the true nature of the things passed off as proofs.
ホロコースト物語の理解の鍵は、証拠として提出されている事柄の本質を理解することです。