プルーフ中国語の意味

• (英) proof
  证据;[印刷]校样

• ルーフ:    (英) roof 屋顶;最高部分

例文

もっと例文:   次へ＞

1. 対象システムは十分数学化されているので，プルーフチェッカの利用が可能である。
   对象系统是被十分数学化的，ｐｒｏｏｆ　ｃｈｅｃｋ的利用是可能的。
2. これからのオブジェクト指向設計に必要な形式論理の訓練の実践例?ミニ?プルーフ?チェッカＭｉｚａｒ?ＭＳＥを用いて?
   今后目标指向设计中必要的形式逻辑训练实例－利用小型校对检测仪Ｍｉｚａｒ－ＭＳＥ
3. 情報通信の将来の基礎に向けて６．プルーフチェッカを用いたＬＳＩ回路設計の正しさの検証　演算用，通信用ＬＳＩ等
   面向信息通信的将来的基础６．使用ｐｒｏｏｆ　ｃｈｅｃｋｅｒ的ＬＳＩ线路设计的正确性的检验演算用，通信用ＬＳＩ等等
4. 記号論理教育の教科細目，具体的指導方法，Ｍｉｚａｒ?ＭＳＥ（記号論理のプルーフチェッカー）の使用例について説明した。
   说明了关于记号逻辑教育的课程细目、具体的指导方法、Ｍｉｚａｒ－ＭＳＥ（记号逻辑的校对检测仪）的使用案例。
5. そして実現システムが対象モデルを確かに実現するものであることの数学的証明の可能性と，そのためのツールであるプルーフチェッカなるものについて論じた。
   而且，实现系统是确实能够实现对象模型的东西，这一观点的数学的证明的可能性，以及对此有所帮助的工具ｐｒｏｏｆ　ｃｈｅｃｋｅｒ进行论述。