笛的日文

• 補題４直積法が生成する任意のｇａｓｅ　ｐ［Ｃ］について，Ｓ（ｐ［Ｃ］）?ＩＭＰが成立する．
  补题４就笛卡儿积法生成的任意ｇａｓｅ　ｐ［Ｃ］，成立Ｓ（ｐ［Ｃ］）？ＩＭＰ。
• 補題１直積法は有限時間内に停止する．
  补题１笛卡儿积法在停止在有限时间内。
• 検査所見：チアノーゼがあり、右肺の呼吸音は低く、両肺に笛声音が聞こえ、心拍数は１００回／ｍｉｎ。
  查体：皮肤黏膜发绀，右肺呼吸音低，双肺可闻及哮鸣音，心率１００次／ｍｉｎ。
• このことが直積法の効率を低下させる．
  这会降低笛卡儿积法的效率。
• 定義２は，少なくとも１つの述語について，中間データ数を削減できる可能性のある問題を直積問題と定めている．
  定义２是就至少１个谓语，将有削减中间数据数的可能性的问题定为笛卡儿积问题。
• 直積法の平均ＣＰＵ時間はｄ　＝　１．２５付近でピークを持っているが，ｄが大きいところでは小さい．
  笛卡儿积法的平均ＣＰＵ时间顶峰大约在ｄ＝１．２５，但ｄ为大的地方平均ＣＰＵ时间为小。
• 状態遷移関係Ｅは，現在の状態と次状態，イベント，アクションのベキ集合のカルテジアン積の部分集合である．
  状态转变关系Ｅ是，现在的状态和次状态、事件、行为的幂集合的笛卡尔乘积的部分集合。
• ２章で用語を定義し，３章で直積問題クラスを定義し，４章でルールからｇａｓｅを生成する方法を説明する．
  在第２章定义用语，在第３章定义笛卡儿积问题类，在第４章说明从规则生成ｇａｓｅ的方法。
• 問題を１章の例１の問題，その述語分割集合を３章の例２の式（３）として，直積法を適用する．
  将问题作为第１章的例子１的问题，将其谓语分割集合作为第３章的例子２的算式（３），适用笛卡儿积法。
• その結果，式を計算する過程で作られる直積の数が少なくなり，ゆえに，被覆テスト１回あたりの時間量は小さくなる．
  其结果，在算出算式的过程生成的笛卡儿积数变少，因此每次被覆测试的时间量也变小。