反例の英語
追加できません
(登録数上限)
英訳・英語 counterexample
「反例」を含む例文一覧
該当件数 : 20件
反例例文帳に追加
counterexample - Eゲイト英和辞典
反例解析支援装置例文帳に追加
反例解析支援装置、反例解析支援システム、それらの反例解析支援方法及びプログラム例文帳に追加
COUNTER EXAMPLE ANALYSIS SUPPORT DEVICE, COUNTER EXAMPLE ANALYSIS SUPPORT SYSTEM, COUNTER EXAMPLE ANALYSIS SUPPORT METHOD THEREFOR, AND PROGRAM - 特許庁
彼はその定理に対する反例を挙げた。例文帳に追加
He gave a counterexample to the theorem.発音を聞く - Weblio英語基本例文集
具体的には、反例と正例の差分をとる。例文帳に追加
Concretely, a difference between the positive example and the negative example is used. - 特許庁
生成される複数の反例を集積し、集積された複数の反例を解析して、最も多くの反例に現れるプロセスと最も多くの反例に現れる処理を出力する。例文帳に追加
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. - 特許庁
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解!
「反例」を含む例文一覧
該当件数 : 20件
反例に加え、正例とそれに対応するプロパティを利用する。例文帳に追加
A property correction device or the like uses a positive example, and a property corresponding thereto, in addition to a negative example. - 特許庁
モデル検証実行部30は、モデル検証コードを入力としてSpinを実行し、当該システムの仕様の反例を示すデータを検証結果(反例)として取得する。例文帳に追加
A model verification execution part 30 executes Spin with the model verification code as input, and acquires data indicating a counter example of the specification of the system as a verification result (the counter example). - 特許庁
例/反例画像選択部5で、使用者が検索したいと考える画像(例画像)と検索したくないと考える画像(反例画像)とを選択する。例文帳に追加
The images (example images) which are desired by a user to retrieve and the images (anti-example images) which are not desired by the user are selected at an example/anti-example image selection part 5. - 特許庁
検証仕様の記述量を省力化し、複雑な検証仕様の誤りを減らし、偽反例を可及的に低減する。例文帳に追加
To reduce the number of false counterexamples as small as possible by saving the amount of descriptions of verification specifications, and reducing errors with complex verification specifications. - 特許庁
(これらの最も多くの反例に現れるプロセス・処理は不具合の原因である可能性が高い。)例文帳に追加
There is a high possibility that the process or the processing that appears in the most counter examples is the cause of a failure. - 特許庁
これにより、正例と反例の正例側差分状態遷移列中で駆動されたイベントに関するプロパティから正例の維持と反例のガードという修正対象プロパティの事前条件不足解消の要件を満たす条件を生成・追加することで、プロパティの事前条件が修正可能になる。例文帳に追加
A precondition of the property can be thereby corrected by generating/adding a condition satisfying a required condition for eliminating an insufficient precondition of a property to be corrected, such as maintaining the positive example and guarding the negative example, from the property as to a driven event out of the differential state transition line in the positive example side of the positive example and the negative example. - 特許庁
対象プログラムに対してモデル検査を行った結果得られる反例のパス情報どおりに実行可能なテストプログラムを効果的に生成すること。例文帳に追加
To effectively generate an executable test program according to path information of a counterexample gained as a result of performing a model inspection to an object program. - 特許庁
画像特徴量抽出部12で、例画像と反例画像とにウェーブレット変換を施し、ウェーブレット変換係数のうち値の大きいものを画像特徴量として抽出する。例文帳に追加
The wavelet transformation is carried out at an image feature value extraction part 12 to the example and anti-example images and the larger value of wavelet transformation coefficients are extracted as the image feature value. - 特許庁
|
|
反例のページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence. | |
All Rights Reserved, Copyright © Japan Science and Technology Agency | |
Copyright (C) 2024 ライフサイエンス辞書プロジェクト | |
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved. WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License |
|
Copyright © 2024 CJKI. All Rights Reserved | |
Copyright © 2024 Cross Language Inc. All Right Reserved. |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |