アプリをダウンロードする
educalingo
検索

"verifiability"辞典での英語の意味

辞典
辞典
section

英語でVERIFIABILITYの発音

verifiability  [ˌvɛrɪfaɪəˈbɪlɪtɪ] play
facebooktwitterpinterestwhatsapp

VERIFIABILITYの文法範疇

名詞
形容詞
動詞
副詞
代名詞
前置詞
接続詞
限定詞
感嘆詞

英語でVERIFIABILITYはどんな意味ですか?

英語辞典で«verifiability»の元の定義を見るをクリックします。
日本語の定義から自動翻訳を見るをクリックします

正式な検証

Formal verification

ハードウェアおよびソフトウェアシステムのコンテキストでは、正式な検証とは、正式な数学的方法を使用して、特定の正式な仕様または特性に関するシステムの基礎となるアルゴリズムの正当性を証明または否定する行為です。 フォーマル検証は、暗号プロトコル、組み合わせ回路、内部メモリを備えたデジタル回路、およびソースコードとして表現されたソフトウェアなどのシステムの正確性を証明するのに役立ちます。 これらのシステムの検証は、システムの抽象的な数学的モデル上の正式な証明、数学的モデルとシステムの性質との対応関係を構築によって知られているものとすることによって行われる。 ペトリネット、時間オートマトン、ハイブリッドオートマトン、プロセス代数、オペレーションセマンティクス、デモセマンティックセマンティクス、公理セマンティクス、ホアレロジックなどのプログラミング言語の正式セマンティクスなど、システムをモデル化するためによく使用される数学的オブジェクトの例があります。 In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code. The verification of these systems is done by providing a formal proof on an abstract mathematical model of the system, the correspondence between the mathematical model and the nature of the system being otherwise known by construction. Examples of mathematical objects often used to model systems are: finite state machines, labelled transition systems, Petri nets, timed automata, hybrid automata, process algebra, formal semantics of programming languages such as operational semantics, denotational semantics, axiomatic semantics and Hoare logic.

英語辞典でのverifiabilityの定義

辞書における検証可能性の定義は、検証、確認、または実証可能な品質または状態である。

The definition of verifiability in the dictionary is the quality or state of being capable of being verified, confirmed or substantiated.

英語辞典で«verifiability»の元の定義を見るをクリックします。
日本語の定義から自動翻訳を見るをクリックします

VERIFIABILITYと韻を踏む英語の単語


ability
əˈbɪlɪtɪ
accessibility
əkˌsɛsɪˈbɪlɪtɪ
accountability
əˌkaʊntəˈbɪlɪtɪ
availability
əˌveɪləˈbɪlɪtɪ
capability
ˌkeɪpəˈbɪlɪtɪ
compatibility
kəmˌpætɪˈbɪlɪtɪ
disability
ˌdɪsəˈbɪlɪtɪ
durability
ˌdjʊərəˈbɪlɪtɪ
eligibility
ˌɛlɪdʒɪˈbɪlɪtɪ
flexibility
ˌflɛksɪˈbɪlɪtɪ
inability
ˌɪnəˈbɪlɪtɪ
liability
ˌlaɪəˈbɪlɪtɪ
mobility
məʊˈbɪlɪtɪ
nobility
nəʊˈbɪlɪtɪ
possibility
ˌpɒsɪˈbɪlɪtɪ
probability
ˌprɒbəˈbɪlɪtɪ
reliability
rɪˌlaɪəˈbɪlɪtɪ
responsibility
rɪˌspɒnsəˈbɪlɪtɪ
stability
stəˈbɪlɪtɪ
visibility
ˌvɪzɪˈbɪlɪtɪ

VERIFIABILITYのように始まる英語の単語

veridical
veridicality
veridically
veridicous
verier
veriest
verifiable
verifiableness
verifiably
verification
verification principle
verificative
verificatory
verified
verifier
verifies
verify
verily
verisimilar
verisimilarly

VERIFIABILITYのように終わる英語の単語

agility
credibility
facility
feasibility
fertility
functionality
hostility
humility
inevitability
instability
merchantability
profitability
suitability
susceptibility
sustainability
tranquility
usability
utility
variability
versatility
vulnerability

英語の同義語辞典にあるverifiabilityの類義語と反意語

同義語

«verifiability»を25ヵ国語で翻訳

翻訳家
online translator

VERIFIABILITYの翻訳

当社の英語多言語翻訳者が翻訳した25ヵ国語verifiabilityを探してみましょう。
自動統計翻訳によって、このセクションで示されている英語から他の言語へのverifiabilityの翻訳を訳しました。この場合は、必須の翻訳単位は英語で«verifiability»という単語です。

英語翻訳家 - 中国語

核查
1,325百万人のスピーカー

英語翻訳家 - スペイン語

verificabilidad
570百万人のスピーカー

英語

verifiability
510百万人のスピーカー

英語翻訳家 - ヒンディー語

verifiability
380百万人のスピーカー
ar

英語翻訳家 - アラビア語

التحقق
280百万人のスピーカー

英語翻訳家 - ロシア語

проверяемость
278百万人のスピーカー

英語翻訳家 - ポルトガル語

verificabilidade
270百万人のスピーカー

英語翻訳家 - ベンガル語

যাচাই
260百万人のスピーカー

英語翻訳家 - フランス語

vérifiabilité
220百万人のスピーカー

英語翻訳家 - マレー語

Verifiability
190百万人のスピーカー

英語翻訳家 - ドイツ語

Prüfbarkeit
180百万人のスピーカー

英語翻訳家 - 日本語

検証可能性
130百万人のスピーカー

英語翻訳家 - 韓国語

검증 가능성
85百万人のスピーカー

英語翻訳家 - ジャワ語

Verifiability
85百万人のスピーカー
vi

英語翻訳家 - ベトナム語

kiểm chứng
80百万人のスピーカー

英語翻訳家 - タミル語

ஆராய்வது
75百万人のスピーカー

英語翻訳家 - マラーティー語

सत्यापन
75百万人のスピーカー

英語翻訳家 - トルコ語

doğrulanabilirliği
70百万人のスピーカー

英語翻訳家 - イタリア語

verificabilità
65百万人のスピーカー

英語翻訳家 - ポーランド語

sprawdzalności
50百万人のスピーカー

英語翻訳家 - ウクライナ語

проверяемость
40百万人のスピーカー

英語翻訳家 - ルーマニア語

verificabilitate
30百万人のスピーカー
el

英語翻訳家 - ギリシャ語

επαληθευσιμότητα
15百万人のスピーカー
af

英語翻訳家 - アフリカーンス語

verifieerbaarheid
14百万人のスピーカー
sv

英語翻訳家 - スウェーデン語

kontrollerbarhet
10百万人のスピーカー
no

英語翻訳家 - ノルウェー語

etterprøvbarhet
5百万人のスピーカー

verifiabilityの使用傾向

傾向

用語«VERIFIABILITY»の使用傾向

0
100%
頻度
定期的に使われています
63
/100
上記の地図は、各国での用語«verifiability»の使用頻度を示しています。
verifiabilityの一般的な使い方と傾向を主に検索します
英語オンライン辞典にアクセスする際に、ユーザーの主な検索リストと«verifiability»で最も広く使用されている表現です。

用語«VERIFIABILITY»の時間の経過による使用頻度

グラフは、過去500年間の単語«verifiability»の使用頻度の年次変化を表しています。これは、1500年度から現在に至るまで«verifiability»という用語が英語でデジタル化された印刷ソースに表示される頻度を分析した内容に基づいています。

英語文献、引用文、verifiabilityに関するニュースでの使用例

例え

«VERIFIABILITY»に関連する英語の本

以下の図書目録からverifiabilityの使いかたを見つけましょう。verifiabilityに関する本と英語文献で使われた文脈を提供するための簡単な抜粋文。
1
Philosophy of Science for Nursing Practice: Concepts and ...
One can interpret the verifiability principle in two ways, what Ayer refers to as strong and weak verifiability (Ayer, 1952/2000). Strong verifiability requires the truth of a claim to be, in principle at least, conclusively verifiable, that is, “ conclusively ...
Michael D. Dahnke PhD, H. Michael Dreher PhD, RN, FAAN, 2010
2
Data Protection in a Profiled World
of a decision, the stronger the verifiability requirements. This requires classifications of both decisions and verifiability properties. Such verifiability requirements may also enable assurance that forms of profiling that are considered illegal—e.g. ...
Serge Gutwirth, Yves Poullet, Paul de Hert, 2010
3
The Limits of Logical Empiricism: Selected Papers of Arthur Pap
Verifiability. This section will be opened by a representative quotation from an early defense of physicalism by Carnap (Carnap 1932a). It is only fair to Carnap, however, to remind the reader that the physicalistic thesis maintained by Car- nap ...
Arthur Pap, Alfons Keupink, Sanford Shieh, 2006
4
Information and Communications Security: 12th International ...
Thus, verifiability ensures a voter can link her vote to the result, while anonymity ensures no one can link a voter to her preference. Yet, there is an apparent contradiction between the verifiability and anonymity, since verifiability seems to  ...
Miguel Soriano, Sihan Qing, Javier López, 2010
5
The Concept of Meaning
Early proposals concerning verifiability criteria, such as that every meaningful statement could be translated into statements reporting sensory experience or observations or that from any meaningful statement such statements could always be ...
Hill, Thomas E, 2014
6
Public Key Cryptography -- PKC 2011: 14th International ...
In our constructions, we need FE (CP/KP-ABE) to have either verifiability or delegatability. In this section we define both properties. While the former is a new one defined in this paper, the latter one was already defined in [21,5,7] for the ...
Dario Catalano, Nelly Fazio, Rosario Gennaro, 2011
7
The procedings of the 7th European conference on ...
(Fujioka 1992) pioneered the verifiability in e-Voting protocols by forcing voters to involve more than one round. Voter has to participate in the counting stage by checking that his vote is listed correctly in the tallying list, and then sending a part  ...
D.S.J. Remenyi, 2007
8
Proceedings of the 7th European Conference on e-Government
(Fujioka 1992) pioneered the verifiability in e-Voting protocols by forcing voters to involve more than one round. Voter has to participate in the counting stage by checking that his vote is listed correctly in the tallying list, and then sending a part  ...
Dan Remenyi
9
Mind, Matter, and Method
The only way in which Church's criticism can be taken as a critique of the verifiability criterion is by construing it as an indication that the concept of empirical verifiability is inexplicable in principle. This seems like a harsh conclusion to draw ...
Paul Feyerabend, Grover Maxwell, 1966
10
Innovating Government: Normative, Policy and Technological ...
We have already seen that verifiability can mean two quite different things in voting: verifiability of the technology, or verifiability of the results. In future discussions on electronic voting, consensus must be reached about what is required for ...
Simone van der Hof, Marga M. Groothuis, 2011

用語«VERIFIABILITY»を含むニュース項目

国内外の報道機関が語った内容や、次のニュース項目の文脈からverifiabilityという用語がどのように使われているかを調べてみましょう。
1
'Secret Side Deals' on Iran Accord Are New Republican Target
“The merits of this agreement hinge on its verifiability,” said Senator John McCain, the committee chairman. “And yet, we cannot even read key documents ... «Bloomberg, 7月 15»
2
Leading Nonproliferation Think-Tank Casts Doubt on Verifiability of …
The verification mechanisms described in the Joint Comprehensive Plan of Action (JCPOA), as the nuclear deal between Iran and the P5+1 nations is known, ... «TheTower.org, 7月 15»
3
German politicians and business leaders voice relief over Iran …
"This verifiability is essential not only for the security of Israel, but that of the entire region." Jung also spoke of a "historic outcome" – if the agreement worked. «Deutsche Welle, 7月 15»
4
Voting by phone, computer: Not coming anytime soon
... includes implementing a system called "end-to-end verifiability" that would check that the votes were, in fact, recorded and entered into the final tally of votes. «CNN, 7月 15»
5
The Limits of Science - Verification and Falsification
[i] From Wittgenstein they obtained the verifiability principle. Which meant that in order for a statement or proposition to be meaningful it has to be capable of ... «News24, 7月 15»
6
EC appointment: Mahama hasn't broken the law – Kwesi Pratt
“I have said before that prudence requires transparency and verifiability in the appointment of the EC members, especially the Chair” he stressed. The lawyer ... «Citifmonline, 6月 15»
7
New EC Boss appointment lacks transparency – Prof. Asare
“I have said before that prudence requires transparency and verifiability in the appointment of the EC members especially the chairman of the EC.” Prof. Asare ... «GhanaWeb, 6月 15»
8
Credit card style e-voting system could beat electoral fraud
This way they say, “verifiability is guaranteed with statistically high probability” -- even if all these machines are controlled by the adversary and privacy is ... «SC Magazine UK, 5月 15»
9
The Iran Deal and Its Consequences
Critics question the verifiability of these constraints and their longer-term impact on regional and world stability. The historic significance of the agreement and ... «Wall Street Journal, 4月 15»
10
Superior Court of California First Court to Achieve End-to-End E …
The Court cited e-SignLive's robust security and verifiability as deciding factors when selecting the solution. This included e-SignLive's unique ability to secure ... «Business Wire, 3月 15»

参照
« EDUCALINGO. Verifiability [オンライン] 利用可能<https://educalingo.com/ja/dic-en/verifiability>. 4月 2024 ».
educalingoアプリをダウンロードする
en
英語辞典
で言葉に隠された意味を全部見つけましょう
索引
a b c d e f g h i j k l m n o p q r s t u v w x y z