無駄的日文

• 微小なエラーですが、１０年間の努力を無駄にした。
  细微的错误，使得１０年的努力毁于一旦．
• 無駄合判定アルゴリズムは柿木によって報告されている．
  无用合判定算法已经由柿木提了出来。
• さもないと，通信相手は無駄にｒｅｔｕｒｎ　ｒｏｕｔａｂｉｌｉｔｙを要求し続ける．
  否则，通信对象就会继续请求ｒｅｔｕｒｎ　ｒｏｕｔａｂｉｌｉｔｙ，造成浪费。
• 証明に関連がある違反節だけを推論に用いれば，無駄な推論を防げることが明らかである．
  如果只将与证明有关联的违反子句用于推理，那么很明显就能够防止无用的推理。
• これにより利用者には使える機能と使えない機能が一目で分かり無駄な操作が避けられる．
  通过该方法，让使用这对于可以使用和不能使用的功能一目了然，避免浪费操作。
• このような場合には証明が無駄な探索をしてしまう．
  在这样的情况下，证明会做无用的搜索。
• またＯｆｆｅｒの応答がないことで無駄になるＤｉｓｃｏｖｅｒの数を考慮する必要がある．
  另外，还需要考虑由于没有Ｏｆｆｅｒ的回答而变得无用的Ｄｉｓｃｏｖｅｒ数。
• 無駄に多くの述語を生成して知識に加えていくと，知識が不必要に大規模なものになってしまう．
  如果白白生成很多谓语添加至知识上的话，则知识变成不必要的大规模的东西。
• Ｐａｒｅｔｏ集団が最も多様性を保ち，しかも，無駄のない合理的な保ち方をしていることが分かる．
  Ｐａｒｅｔｏ集团保持最多样性，而且，采用没有浪费的合理的保持方式。
• 先ほどの無駄なＳｈｉｆｔを防ぐことができる．
  这样就可以防止刚才的无用Ｓｈｉｆｔ。