【英単語】soundnessを徹底解説!意味、使い方、例文、読み方

【英単語】soundnessを徹底解説!意味、使い方、例文、読み方

「soundness」の意味(noun)

品詞(英単語での分類):名詞

【状態が良いという事実】の意味として使われています。

和訳:【健全性】

【判断力の質】意味として使われています。

参考:「soundness」の例文一覧

例文
The main result of this subsection follows as an immediate corollary of the soundness of the typing system.
このサブセクションの主な結果は、型付けシステムの健全性の直接の帰結として続きます。
例文
The tool’s soundness theorem is expressed in terms of the bit-level semantics of x86 programs, so its correctness depends on very few assumptions.
このツールの健全性定理は、x86 プログラムのビットレベルのセマンティクスで表現されるため、その正確性はほとんど仮定に依存しません。
例文
If the system in figure 4 is operationally correct then, because of the soundness theorem above, the system in figure 3 is operationally correct.
図 4 のシステムが動作上正しい場合、上記の健全性定理により、図 3 のシステムは動作上正しい。
【英単語】soundnessを徹底解説!意味、使い方、例文、読み方 ・例文1
例文
We show that the system enjoys properties like type uniqueness, subject reduction, soundness , confluence, and weak normalization.
システムが型の一意性、サブジェクトの削減、健全性、合流性、弱い正規化などの特性を享受することを示します。
例文
Section 5 then proves soundness (but not completeness) in the general case where predicates in contracts may diverge.
セクション 5 では、コントラクトの述語が分岐する可能性がある一般的なケースでの健全性(完全性ではない) を証明します。
例文
The addition of recursive contracts has far-reaching implications, deeply affecting the formulation of our model and requiring different techniques for proving soundness .
再帰的なコントラクトの追加は、モデルの定式化に深く影響し、健全性を証明するためのさまざまな手法を必要とする、広範囲にわたる影響を及ぼします。
【英単語】soundnessを徹底解説!意味、使い方、例文、読み方 ・例文2
例文
The following results are required by the proof of the soundness theorem below.
以下の健全性定理の証明には、次の結果が必要です。
例文
We are interested in the soundness and conservativity issues these features raise: can we ensure modularity features do not lead to inconsistencies?
これらの機能が引き起こす健全性と保守性の問題に関心があります。
例文
Our proof (sections 4 and 5) is short, but not as straightforward as those of soundness and conservativity.
私たちの証明 (セクション 4 と 5) は短いですが、健全性と保守性の証明ほど単純ではありません。
【英単語】soundnessを徹底解説!意味、使い方、例文、読み方 ・例文3
例文
In this section, we describe how this executable model has been used to check the soundness of polymorphic inference rules by calculation.
このセクションでは、この実行可能なモデルを使用して、多態的推論ルールの健全性を計算によって確認する方法について説明します。

「soundness」のネイティブ発音(読み方)を聞きましょう!

読み方は【ˈsaʊnd.nəs】です。下記動画を聞きながらˈsaʊnd.nəsを大声で発音しましょう

【絶対聞こう】アメリカ人が「soundness」の意味について解説】!


「soundness」の類語一覧です。順番に覚えましょう!

  • correctness
  • durability
  • integrity
  • solidity
  • solvency
  • heartiness
  • integrality
  • solidarity
  • stability
  • strength
  • truth
  • weight
  • wit
  • horse sense
  • levelheadedness

対義語・反対語一覧を覚えることで、soundnessの単語を使いこなしましょう!

  • unhealthiness
  • unsoundness

soundnessの実際の意味・ニュアンス(健全性?健全化?確実?安定性?)を理解して、正しく使いましょう!

Emphasis on transparency and soundness 5.
透明性と健全性の重視 5.
Such strengthening of management discipline helps to maintain the soundness of financial markets.
こうした経営規律の向上は、市場の健全性を維持することにも役立つと思われる。
This effort aims to ensure the soundness of the entire industry.
これは業界全体の健全化を目的に取り組むもの です。
However, there is basically no contradiction between fostering soundness of banking business and fortifying the financial intermediary function.
しかし、金融機関の経営健全化と信用仲介機能の強化は、本来決して矛盾する命題ではありません。
How they tackle these challenges will serve as a key factor for determining financial institutions’ future soundness and profitability.
これらへの取組みが、先行きの金融機関の健全性や収益力を規定する重要なファクターになっていくと考えられる。
Second, we have been urging financial institutions to enhance their soundness.
第二は、金融システムの健全化を促すことです。
This overall soundness of Audi It leads me personally to translate also in construction quality.
この全体的な健全性 アウディ それは中にも翻訳し、個人的に私をリード 施工品質.
UK tax strategy Through material handling, the Daifuku Group aims for further growth by balancing business activities and social soundness.
英国における税務戦略 ダイフクグループは、マテリアルハンドリングを通じて、事業活動と社会的健全性を両立させ、さらなる成長を目指しています。
To prepare for this possibility, central banks are keenly interested in the soundness and the implications of electronic money developments.
従って、中央銀行としては、そうした場合に備えて、電子マネーの健全性やその影響には深い関心を抱いている。
Such restoration of the soundness of the financial system is considered indispensable in strengthening the transmission mechanism of monetary policy.
同時に、金融システムの健全化は、金融政策の波及メカニズムを強化する上で、不可欠な条件であると考えています。
First, identifying precise measurement of risks is a precondition for banks to make appropriate profit and maintain soundness.
まず、リスクを常時、可能な限り正確に認識することは、収益性や健全性を確保するための大前提です。
They would need to ask how the quality, soundness, and future potential of these various projects should be evaluated.
さまざまなプロジェクトがある中で、その品質や健全性、将来性をどのように評価するのか。
Turning to the financial system, considerable progress has been made toward restoring the system to soundness.
金融システム面でも、健全性回復に向けた対応は相当程度進捗してきています。
Japanese financial institutions have also been restoring soundness in their assets and striving to reinforce their capital.
また、日本の金融機関も、資産の健全化を進めるとともに、自己資本の充実にも努めてきています。
It should be also noted that the soundness of financial institutions before the crisis differed between the countries.
また、今回の危機では、危機以前における各国金融機関の健全性が異なっていました。
They then determine opportunities for optimization in terms of reliability, efficiency and environmental soundness.
そして、信頼性、効率性、環境の健全性の観点から最適化の機会を決定します。
Ensuring the soundness of individual financial institutions is vital in maintaining overall stability of the financial system.
金融システムの安定を維持する上では、まず、個別銀行の健全性確保が重要となる。
The soundness of the cylinder liners*2 of the emergency diesel generators will be checked. d.
非常用ディーゼル発電機シリンダライナ(注2)の健全性確認を実施します。
Improve transparency, soundness and efficiency of the management based on the above.
これらにより経営の透明性・健全性・効率性を向上させる。
This has no semantic consequences, but is probably a more useful notion when verifying the soundness of a construct.
意味上の違いは特にありませんが、プログラムの構造の健全性を検証する時には、 この考え方の方がわかりやすいでしょう。

「soundness」の意味(noun)

品詞(英単語での分類):名詞

【状態が良いという事実】の意味として使われています。

和訳:【健全性】

【判断力の質】意味として使われています。

参考:「soundness」の例文一覧

例文
The main result of this subsection follows as an immediate corollary of the soundness of the typing system.
このサブセクションの主な結果は、型付けシステムの健全性の直接の帰結として続きます。
例文
The tool’s soundness theorem is expressed in terms of the bit-level semantics of x86 programs, so its correctness depends on very few assumptions.
このツールの健全性定理は、x86 プログラムのビットレベルのセマンティクスで表現されるため、その正確性はほとんど仮定に依存しません。
例文
If the system in figure 4 is operationally correct then, because of the soundness theorem above, the system in figure 3 is operationally correct.
図 4 のシステムが動作上正しい場合、上記の健全性定理により、図 3 のシステムは動作上正しい。
【英単語】soundnessを徹底解説!意味、使い方、例文、読み方 ・例文1
例文
We show that the system enjoys properties like type uniqueness, subject reduction, soundness , confluence, and weak normalization.
システムが型の一意性、サブジェクトの削減、健全性、合流性、弱い正規化などの特性を享受することを示します。
例文
Section 5 then proves soundness (but not completeness) in the general case where predicates in contracts may diverge.
セクション 5 では、コントラクトの述語が分岐する可能性がある一般的なケースでの健全性(完全性ではない) を証明します。
例文
The addition of recursive contracts has far-reaching implications, deeply affecting the formulation of our model and requiring different techniques for proving soundness .
再帰的なコントラクトの追加は、モデルの定式化に深く影響し、健全性を証明するためのさまざまな手法を必要とする、広範囲にわたる影響を及ぼします。
【英単語】soundnessを徹底解説!意味、使い方、例文、読み方 ・例文2
例文
The following results are required by the proof of the soundness theorem below.
以下の健全性定理の証明には、次の結果が必要です。
例文
We are interested in the soundness and conservativity issues these features raise: can we ensure modularity features do not lead to inconsistencies?
これらの機能が引き起こす健全性と保守性の問題に関心があります。
例文
Our proof (sections 4 and 5) is short, but not as straightforward as those of soundness and conservativity.
私たちの証明 (セクション 4 と 5) は短いですが、健全性と保守性の証明ほど単純ではありません。
【英単語】soundnessを徹底解説!意味、使い方、例文、読み方 ・例文3
例文
In this section, we describe how this executable model has been used to check the soundness of polymorphic inference rules by calculation.
このセクションでは、この実行可能なモデルを使用して、多態的推論ルールの健全性を計算によって確認する方法について説明します。

「soundness」のネイティブ発音(読み方)を聞きましょう!

読み方は【ˈsaʊnd.nəs】です。下記動画を聞きながらˈsaʊnd.nəsを大声で発音しましょう

【絶対聞こう】アメリカ人が「soundness」の意味について解説】!


「soundness」の類語一覧です。順番に覚えましょう!

  • correctness
  • durability
  • integrity
  • solidity
  • solvency
  • heartiness
  • integrality
  • solidarity
  • stability
  • strength
  • truth
  • weight
  • wit
  • horse sense
  • levelheadedness

対義語・反対語一覧を覚えることで、soundnessの単語を使いこなしましょう!

  • unhealthiness
  • unsoundness

soundnessの実際の意味・ニュアンス(健全性?健全化?確実?安定性?)を理解して、正しく使いましょう!

Emphasis on transparency and soundness 5.
透明性と健全性の重視 5.
Such strengthening of management discipline helps to maintain the soundness of financial markets.
こうした経営規律の向上は、市場の健全性を維持することにも役立つと思われる。
This effort aims to ensure the soundness of the entire industry.
これは業界全体の健全化を目的に取り組むもの です。
However, there is basically no contradiction between fostering soundness of banking business and fortifying the financial intermediary function.
しかし、金融機関の経営健全化と信用仲介機能の強化は、本来決して矛盾する命題ではありません。
How they tackle these challenges will serve as a key factor for determining financial institutions’ future soundness and profitability.
これらへの取組みが、先行きの金融機関の健全性や収益力を規定する重要なファクターになっていくと考えられる。
Second, we have been urging financial institutions to enhance their soundness.
第二は、金融システムの健全化を促すことです。
This overall soundness of Audi It leads me personally to translate also in construction quality.
この全体的な健全性 アウディ それは中にも翻訳し、個人的に私をリード 施工品質.
UK tax strategy Through material handling, the Daifuku Group aims for further growth by balancing business activities and social soundness.
英国における税務戦略 ダイフクグループは、マテリアルハンドリングを通じて、事業活動と社会的健全性を両立させ、さらなる成長を目指しています。
To prepare for this possibility, central banks are keenly interested in the soundness and the implications of electronic money developments.
従って、中央銀行としては、そうした場合に備えて、電子マネーの健全性やその影響には深い関心を抱いている。
Such restoration of the soundness of the financial system is considered indispensable in strengthening the transmission mechanism of monetary policy.
同時に、金融システムの健全化は、金融政策の波及メカニズムを強化する上で、不可欠な条件であると考えています。
First, identifying precise measurement of risks is a precondition for banks to make appropriate profit and maintain soundness.
まず、リスクを常時、可能な限り正確に認識することは、収益性や健全性を確保するための大前提です。
They would need to ask how the quality, soundness, and future potential of these various projects should be evaluated.
さまざまなプロジェクトがある中で、その品質や健全性、将来性をどのように評価するのか。
Turning to the financial system, considerable progress has been made toward restoring the system to soundness.
金融システム面でも、健全性回復に向けた対応は相当程度進捗してきています。
Japanese financial institutions have also been restoring soundness in their assets and striving to reinforce their capital.
また、日本の金融機関も、資産の健全化を進めるとともに、自己資本の充実にも努めてきています。
It should be also noted that the soundness of financial institutions before the crisis differed between the countries.
また、今回の危機では、危機以前における各国金融機関の健全性が異なっていました。
They then determine opportunities for optimization in terms of reliability, efficiency and environmental soundness.
そして、信頼性、効率性、環境の健全性の観点から最適化の機会を決定します。
Ensuring the soundness of individual financial institutions is vital in maintaining overall stability of the financial system.
金融システムの安定を維持する上では、まず、個別銀行の健全性確保が重要となる。
The soundness of the cylinder liners*2 of the emergency diesel generators will be checked. d.
非常用ディーゼル発電機シリンダライナ(注2)の健全性確認を実施します。
Improve transparency, soundness and efficiency of the management based on the above.
これらにより経営の透明性・健全性・効率性を向上させる。
This has no semantic consequences, but is probably a more useful notion when verifying the soundness of a construct.
意味上の違いは特にありませんが、プログラムの構造の健全性を検証する時には、 この考え方の方がわかりやすいでしょう。

人気急上昇中英単語一覧

最新投稿英単語一覧