最終更新日：2025/11/30

Dictionary quizzes to help you remember vocabulary

Dictionary quizzes to help you remember vocabulary

plural of Hoare triple

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

正解を見る

Hoare triples

編集履歴（0）

元となった辞書の項目

Hoare triples

名詞

活用形複数形

plural of Hoare triple

日本語の意味

Hoare tripleの複数形

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

意味（1）

plural of Hoare triple

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★