Hoare（『hoar』の現在分詞形。活用形）とは - 英語 - 英語 | ディクト

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

Hoare

hoaring

活用形分詞現在形

present participle of hoar

日本語の意味

『hoar』の現在分詞形。活用形として、動作が進行中である状態や、変化している状態を示す形です。

このボタンはなに？

By dawn, the grass was hoaring with delicate crystals that sparkled in the morning light.

夜明けまでに草は霜に覆われ、繊細な結晶が朝の光できらめいていた。

Hoare triples

活用形複数形

plural of Hoare triple

日本語の意味

Hoare tripleの複数形

このボタンはなに？

Hoare triples provide a concise way to reason about the correctness of imperative programs.

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

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.

日本語の意味

ホーア論理において、プログラムの一部の実行による状態の変化を、実行前の前提条件、実行される命令（あるいはコード）、および実行後の事後条件の三要素で形式的に記述したもの

このボタンはなに？

Before verifying the program, we expressed its specification as a Hoare triple to capture the required precondition and postcondition.

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

関連語

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.

日本語の意味

ホア論理：コンピュータプログラムの正当性（正しさ）を論理的に検証するための形式的規則体系。ホア・トリプル（各操作前後のシステム状態の記述）に基づいて、プログラムの挙動を証明するための方法論。

このボタンはなに？

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

関連語

Hoare logics

（ plural ）

Hoare logics

活用形複数形

plural of Hoare logic

日本語の意味

この語は『Hoare logic』（ホーア論理）の複数形です。つまり、ホーア論理を複数で表現する場合に用いられます。

このボタンはなに？

Researchers compared different Hoare logics to determine which were most suitable for verifying concurrent programs.

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

hoar frost

別表記異形

Alternative spelling of hoarfrost

日本語の意味

白霜、すなわち『hoarfrost』と同義で、霜が特殊な結晶構造を持つ状態を指します。

このボタンはなに？

In the early morning, hoar frost covered the meadow like a delicate white lace.

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

関連語

hoar frosts

（ plural ）

hoar-frosts

活用形複数形

plural of hoar-frost

日本語の意味

「hoar-frosts」は「hoar-frost」の複数形であり、日本語では「白霜」を意味します。

このボタンはなに？

By dawn, hoar-frosts had silvered the meadow, turning every blade of grass into a fragile crystal.

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

hoar-frost

別表記異形

Alternative spelling of hoarfrost

日本語の意味

霜。特に、表面に白く付着した細かい氷の結晶として現れる現象（hoarfrostの代替表記であり、意味は同一）

このボタンはなに？

By dawn, a delicate hoar-frost had glazed the meadow, turning every blade of grass into a tiny silver sculpture.

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

関連語

hoar-frosts

（ plural ）

hoar frosts

活用形複数形

plural of hoar frost

日本語の意味

『hoar frosts』は『hoar frost』の複数形です。

このボタンはなに？

The early morning landscape was covered in delicate hoar frosts that shimmered in the pale sunlight.

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

Webで検索する

ログイン / 新規登録

ログイン

新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★