ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
hoars
hoar frost
名詞
別表記
異形
Alternative spelling of hoarfrost
日本語の意味
hoarfrostの別表記
英語の意味
Alternative spelling of hoarfrost
関連語
hoar frosts
名詞
活用形
複数形
plural of hoar frost
原形:
hoar frost
日本語の意味
『hoar frosts』は『hoar frost』の複数形です。
英語の意味
plural of hoar frost
hoar-frosts
名詞
活用形
複数形
plural of hoar-frost
原形:
hoar-frost
日本語の意味
「hoar-frosts」は「hoar-frost」の複数形であり、日本語では「白霜」を意味します。
英語の意味
plural of hoar-frost
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 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 of Hoare logic
原形:
Hoare logic
日本語の意味
この語は『Hoare logic』（ホーア論理）の複数形です。つまり、ホーア論理を複数で表現する場合に用いられます。
英語の意味
plural of Hoare logic
