繁體版 English 日本語
登录 注册
网站工具

プログラムの検証中文是什么意思

发音:  
用"プログラムの検証"造句"プログラムの検証"中国語の意味

中文翻译手机手机版

  • 程序验证

例句与用法

  • すなわち，プログラムの検証方法として関数等価性を用いる場合，本来はプログラム関数を厳密な形で求めなければならない．
    即，采用函数等价性作为程序验证法时，本来必须用严密的形式求出程序函数。
  • 以上のとおり，本章での注釈除去問題のプログラムの場合，状態変数の導入でｇｏｔｏ文を除きＭｉｌｌｓ流の意味で「構造化」したプログラムの検証は状態遷移をｇｏｔｏ文で表したプログラムの検証と比べ何ら簡単にならない．
    如上所述，本章中的注释除去问题程序，利用导入状态参数去除ｇｏｔｏ语句并且在Ｍｉｌｌｓ意义上的“结构化”程序的验证与用ｇｏｔｏ语句表达的验证相比并不简单。
  • 以上のとおり，本章での注釈除去問題のプログラムの場合，状態変数の導入でｇｏｔｏ文を除きＭｉｌｌｓ流の意味で「構造化」したプログラムの検証は状態遷移をｇｏｔｏ文で表したプログラムの検証と比べ何ら簡単にならない．
    如上所述，本章中的注释除去问题程序，利用导入状态参数去除ｇｏｔｏ语句并且在Ｍｉｌｌｓ意义上的“结构化”程序的验证与用ｇｏｔｏ语句表达的验证相比并不简单。
  • 何より「構造化」にともない導入されたｗｈｉｌｅループの不変条件がｇｏｔｏ文を用いたプログラムの検証での知識（各状態に対する事前条件）なくしては導けない，ということは「構造化」されたプログラムを検証するうえでの致命的な問題である．
    不管怎样，在验证“结构化”程序时的致命问题是，伴随着“结构化”导入的ｗｈｉｌｅ回路的不变条件，如果没有使用了ｇｏｔｏ语句程序验证中的知识（针对各种状态的先决条件）便无法引导。
  • さて，Ｍｉｌｌｓ流の構造的プログラミングが，なぜ，構造的プログラミングとｇｏｔｏ文不使用とを結び付けたかの理由を考えると，技術的な理由の１つとしては，彼がプログラムの検証方法として関数等価性を用いていること２８），３０），３１），３３）をあげることが可能である．
    Ｍｉｌｌｓ式的结构性编程之所以把结构性编程和不使用ｇｏｔｏ句结合起来，其技术上的一个原因是，他采用了函数等价性作为程序验证法２８）、３０）、３１）、３３）。
  • 以上がｇｏｔｏ文論争と構造的プログラミングに関する歴史的な概観であるが，これで分かるとおり，Ｄｉ―ｊｋｓｔｒａが提起したｇｏｔｏ文の使用法に関しては，膨大な論争があったにもかかわらず，提起から３０年以上を経てもＢ¨ｏｈｍらに代表されるような制御フローの表現力のみに関する研究を超えたプログラムの検証の容易さ，という観点からの検討は皆無といってよい．
    以上是关于ｇｏｔｏ句争论和结构性编程的历史概观，从中可知，Ｄｉｊｋｓｔｒａ提出的ｇｏｔｏ句使用法问题，虽然引起了广泛争论，但是自提出以来已经３０多年了，从验证程序的容易性角度进行探讨并且超越Ｂ¨ｏｈｍ代表的只对控制流表现力的研究，这样的探讨可以说一个也没有。
用"プログラムの検証"造句  

精彩推荐

细数日本关东和关西一些词语的不同

惊呆|姓氏都这么随意，还有什么不能随意的...

词汇|日语中这些词语最容易让人望文生义！

プログラムの検証的中文翻译，プログラムの検証是什么意思，怎么用汉语翻译プログラムの検証，プログラムの検証的中文意思，プログラムの検証的中文，プログラムの検証 in Chinese，プログラムの検証的中文，发音，例句，用法和解释由查查日语词典提供，版权所有违者必究。
日语→汉语 汉语→日语