counter examplesとは 意味・読み方・使い方

A plurality of counter examples that are generated are accumulated, and the plurality of the accumulated counter examples are analyzed so that a process that appears in the most counter examples and processing that appears in the most counter examples are output.例文帳に追加

生成される複数の反例を集積し、集積された複数の反例を解析して、最も多くの反例に現れるプロセスと最も多くの反例に現れる処理を出力する。 - 特許庁

To provide a model inspection device which reduces detection of unnecessary counter examples and improves the efficiency of counter example analysis.例文帳に追加

不要反例の検出を低減し、反例解析の効率を向上させることができるモデル検査装置を提供する。 - 特許庁

Examples of counting sushi with the counter suffix, 'kan,' could be seen in more recent times, and it was also in recent times when a Japanese-language dictionary adopted such counter suffix.発音を聞く 例文帳に追加

寿司を「かん」と数えた例は比較的最近からで、国語辞典が採用するようになったのも最近である - Wikipedia日英京都関連文書対訳コーパス

There is a high possibility that the process or the processing that appears in the most counter examples is the cause of a failure.例文帳に追加

(これらの最も多くの反例に現れるプロセス・処理は不具合の原因である可能性が高い。) - 特許庁

The old literature had no examples of counting sushi with a special counter suffix, 'kan,' and only had descriptions of counting as hitotsu (one piece), futatsu (two pieces) and so on, or ikko (one piece), niko (two pieces) and so on.発音を聞く 例文帳に追加

古い文献に「かん」という特別な助数詞で数えた例は見当たらず、いずれも1つ2つ、または1個2個である。 - Wikipedia日英京都関連文書対訳コーパス

This guide system for learning mental arithmetic makes the user learn mental arithmetic in the abacus calculation system, and all counter movement images are not accompanied with decomposition of 5-valued counters 12, carry, and borrow in examples for a guide to addition and subtraction between proper numerical values of plural figures in the initial stage of learning.例文帳に追加

上記課題を解決するための暗算学習のための指導システムは、珠算式暗算を学習させる指導システムであって、学習初期段階における複数桁の適宜の数値の加減算を指導するための設例は、すべての運珠イメージが五珠１２の分解、繰り上がり、繰り下がりを伴わない設例としたことを特徴とする。 - 特許庁