コンピューター用語辞典

日外アソシエーツ株式会社

proof rules

証明規則

プログラムの正当性の証明のために用いられる証明法の総称.あるプログラム言語で書かれたプログラムの正当性の証明を行うことができるように構成された証明のための公理と推論規則の集合.euclidなど正当性の証明を意識したプログラム言語で試みられている.

調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

日英・英日専門用語辞書

日中韓辭典研究所

proof rules

証明規則

proof rulesのページの著作権

  • 日外アソシエーツ株式会社
    Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
  • 日中韓辭典研究所
    Copyright © 2026 CJKI. All Rights Reserved