検索結果- 英語 - 英語

検索内容:

checkable

形容詞

別表記異形比較不可

日本語の意味

検証または確認が可能な / チェックマークやティックで印を付けられる / （金融用語）小切手処理が可能な、『chequable』の別形式

このボタンはなに？

Before publishing the report, make sure all sources are checkable.

Google翻訳 / DeepL翻訳

報告書を公開する前に、すべての出典が確認可能であることを確認してください。

詳細

checkability

名詞

不可算名詞

The quality of being checkable.

日本語の意味

検証可能である性質、すなわち何かが検査や確認が可能である状態

このボタンはなに？

The checkability of the new procedures gave the audit team greater confidence.

Google翻訳 / DeepL翻訳

新しい手順が確認可能であったことが監査チームにより大きな信頼を与えた。

詳細

probabilistically checkable proof

名詞

(computing theory) A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.

日本語の意味

計算理論において、ランダムアルゴリズムを用いて得られる、計算上の定理または予想に対する合理的な証明。

このボタンはなに？

The mathematician explained how the new probabilistically checkable proof reduced the verification time for large computational theorems.

Google翻訳 / DeepL翻訳

その数学者は、新しいランダム化アルゴリズムで検証できる証明が大規模な計算定理の検証時間を短縮したことを説明した。

詳細

probabilistically checkable proofs

名詞

活用形複数形

plural of probabilistically checkable proof

日本語の意味

確率的検証可能証明（複数形）

このボタンはなに？

Researchers continue to explore probabilistically checkable proofs to better understand the limits of efficient verification.

Google翻訳 / DeepL翻訳

研究者たちは効率的な検証の限界をよりよく理解するために、確率的に検証可能な証明を研究し続けている。

詳細

Webで検索する