絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

最終更新日：2025/11/30

例文

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

Google翻訳 / DeepL翻訳

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

復習用の問題

Sentence quizzes to help you learn to read

正解を見る

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

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

詳細

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.

Google翻訳 / DeepL翻訳

英語 - 英語

項目の編集設定

項目の編集権限を持つユーザー - すべてのユーザー
項目の新規作成を審査する
項目の編集を審査する
項目の削除を審査する
重複の恐れのある項目名の追加を審査する
項目名の変更を審査する
審査に対する投票権限を持つユーザー - 編集者
決定に必要な投票数 - 1

例文の編集設定

例文の編集権限を持つユーザー - すべてのユーザー
例文の削除を審査する
審査に対する投票権限を持つユーザー - 編集者
決定に必要な投票数 - 1

問題の編集設定

問題の編集権限を持つユーザー - すべてのユーザー
審査に対する投票権限を持つユーザー - 編集者
決定に必要な投票数 - 1

編集ガイドライン

復習用の問題

関連する単語

Hoare triple

英語 - 英語

ログイン / 新規登録

アプリをダウンロード！

復習用の問題

関連する単語

Hoare triple

英語 - 英語

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！