本文へスキップ
法人様向け ログイン
ログインすると広告が減り、学習に集中できます。
広告

検索結果- 英語 - 多言語

検索内容:

hoar

hoars

名詞
 活用形 複数形

plural of hoar

原形: hoar
日本語の意味
「hoars」は「hoar」の複数形を示す活用形です。
英語の意味
plural of hoar
このボタンはなに？
翻訳する

夜明けに、野原は繊細な霜で覆われ、日光を浴びてきらめいていた。

詳細
詳細

hoar-frosts

名詞
 活用形 複数形

plural of hoar-frost

原形: hoar-frost
日本語の意味
「hoar-frosts」は「hoar-frost」の複数形であり、日本語では「白霜」を意味します。
英語の意味
plural of hoar-frost
このボタンはなに？
翻訳する

夜明けには、白い霜が野原を銀色に染め、一本一本の草をもろい結晶のように変えていた。

詳細
詳細

Hoare logics

名詞
 活用形 複数形

plural of Hoare logic

原形: Hoare logic
日本語の意味
この語は『Hoare logic』（ホーア論理）の複数形です。つまり、ホーア論理を複数で表現する場合に用いられます。
英語の意味
plural of Hoare logic
このボタンはなに？
翻訳する

研究者たちは、並行プログラムの検証に最も適したホーア論理の異なるバージョンを比較した。

詳細
詳細

hoar frost

名詞
 別表記 異形

Alternative spelling of hoarfrost

日本語の意味
hoarfrostの別表記
英語の意味
Alternative spelling of hoarfrost
このボタンはなに？
翻訳する

早朝、野原は霜に覆われ、繊細な白いレースのように見えた。

詳細
関連語

hoar frosts
（ plural ）

詳細

hoar-frost

名詞
 別表記 異形

Alternative spelling of hoarfrost

日本語の意味
hoarfrostの別綴り
英語の意味
Alternative spelling of hoarfrost
このボタンはなに？
翻訳する

夜明けまでに、繊細な霜が牧草地を覆い、草の一本一本が小さな銀の彫刻のようになっていた。

詳細
関連語

hoar-frosts
（ plural ）

詳細

Hoare triples

名詞
 活用形 複数形

plural of Hoare triple

原形: Hoare triple
日本語の意味
Hoare tripleの複数形
英語の意味
plural of Hoare triple
このボタンはなに？
翻訳する

ホーア論理における三つ組は、命令型プログラムの正しさを論じる簡潔な手段を提供する。

詳細
詳細

Hoare triple

名詞

(computing theory) A formal description of how the execution of a piece of code changes the state of the computation in Hoare logic, consisting of a command to be run, a precondition that holds true beforehand, and a postcondition that holds true afterwards.

日本語の意味
ホーア論理において、プログラムの一部の実行による状態の変化を、実行前の前提条件、実行される命令（あるいはコード）、および実行後の事後条件の三要素で形式的に記述したもの
英語の意味
(computing theory) A formal description of how the execution of a piece of code changes the state of the computation in Hoare logic, consisting of a command to be run, a precondition that holds true beforehand, and a postcondition that holds true afterwards.
このボタンはなに？
翻訳する

プログラムを検証する前に、必要な初期条件と終了条件をとらえるため、その仕様をホア論理における命令・事前条件・事後条件からなる三つ組として表現しました。

詳細
関連語

Hoare triples
（ plural ）

詳細

Hoare logic

名詞
 可算名詞 不可算名詞

(computing theory) A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.

日本語の意味
ホア論理：コンピュータプログラムの正当性（正しさ）を論理的に検証するための形式的規則体系。ホア・トリプル（各操作前後のシステム状態の記述）に基づいて、プログラムの挙動を証明するための方法論。
英語の意味
(computing theory) A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.
このボタンはなに？
翻訳する

信頼性を確保するため、研究チームはホーア論理（ホーア三つ組に基づくプログラムの正当性を推論する形式体系）を適用し、並行スケジューラがすべてのスレッドのインタリーブに対して不変条件を維持することを証明した。

詳細
関連語

Hoare logics
（ plural ）

詳細

hoar frosts

名詞
 活用形 複数形

plural of hoar frost

原形: hoar frost
日本語の意味
『hoar frosts』は『hoar frost』の複数形です。
英語の意味
plural of hoar frost
このボタンはなに？
翻訳する

早朝の風景は、淡い日の光の中できらめく繊細な白い霜に覆われていた。

詳細
詳細

compulsive hoarding

名詞
 不可算名詞 通常

(medicine, psychology) A behavioral pattern characterized by excessive acquisition of and an inability or unwillingness to discard large quantities of objects.

日本語の意味
強迫的貯蔵症：医学・心理学の文脈で、必要以上に物品を収集し、不要なものを捨てられない行動パターンを指す。 / 物品過剰収集行動：大量の物を集め続け、手放すことが困難または拒否される状態
英語の意味
(medicine, psychology) A behavioral pattern characterized by excessive acquisition of and an inability or unwillingness to discard large quantities of objects.
このボタンはなに？
翻訳する

そのドキュメンタリーは、ホーディング障害（強迫的な溜め込み）がどのように人々を孤立させ、危険な居住環境を招くかを探った。

詳細
関連語

compulsive hoardings
（ plural ）

詳細

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

ログイン

パスワードを忘れましたか？
──── or ────

アカウントを持っていませんか？ 新規登録

新規登録

──── or ────

アカウントを持っていますか？ ログイン

　

アプリをダウンロード！
DiQt

DiQt（ディクト）

無料

★★★★★★★★★★