プルーフ中国語の意味
- (英) proof
证据;[印刷]校样ルーフ(英) roof 屋顶;最高部分
例文
- 対象システムは十分数学化されているので,プルーフチェッカの利用が可能である。
对象系统是被十分数学化的,proof check的利用是可能的。 - これからのオブジェクト指向設計に必要な形式論理の訓練の実践例?ミニ?プルーフ?チェッカMizar?MSEを用いて?
今后目标指向设计中必要的形式逻辑训练实例-利用小型校对检测仪Mizar-MSE - 情報通信の将来の基礎に向けて6.プルーフチェッカを用いたLSI回路設計の正しさの検証 演算用,通信用LSI等
面向信息通信的将来的基础6.使用proof checker的LSI线路设计的正确性的检验演算用,通信用LSI等等 - 記号論理教育の教科細目,具体的指導方法,Mizar?MSE(記号論理のプルーフチェッカー)の使用例について説明した。
说明了关于记号逻辑教育的课程细目、具体的指导方法、Mizar-MSE(记号逻辑的校对检测仪)的使用案例。 - そして実現システムが対象モデルを確かに実現するものであることの数学的証明の可能性と,そのためのツールであるプルーフチェッカなるものについて論じた。
而且,实现系统是确实能够实现对象模型的东西,这一观点的数学的证明的可能性,以及对此有所帮助的工具proof checker进行论述。 - 王冠,ピルファー?プルーフ?キャップ(PPキャップ)など小口径キャップではオレフィンライナーのコンプレッション成形に移行できたが,ツイスト?オフ?キャップ,など大口径キャップで固有の問題で代替技術が遅れていた。
王冠、防盗瓶盖(PP瓶盖)等小口径瓶盖已经改为压缩成型烯烃瓶盖垫片,但旋开盖等大口径瓶盖由于固有问题,代替技术还比较落后。 - エラープルーフ:エラーが発生しないようなしかけを作るエラーの発生防止(error resistant approach)と,エラーが発生した場合に影響を緩和するエラーの拡大防止(error tolerant approach)のこと。
校正误差:是指为了不发生误差而做的误差防止措施(error resistant approach),以及在误差发生的时候减轻误差的影响,防止误差的扩大(error tolerant approach)。