最終更新日：2025/12/02

Dictionary quizzes to help you remember vocabulary

Dictionary quizzes to help you remember vocabulary

plural of Hoare logic

音声機能が動作しない場合はこちらをご確認ください

正解を見る

Hoare logics

編集履歴（0）

元となった辞書の項目

Hoare logics

活用形複数形

plural of Hoare logic

日本語の意味

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

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

意味（1）

plural of Hoare logic

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★