小窓モード


プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > JMdict > 反例の英語・英訳 

反例の英語

ピン留め

追加できません

(登録数上限)

単語を追加

英訳・英語 counterexample


JMdictでの「反例」の英訳

反例


「反例」を含む例文一覧

該当件数 : 20



例文

反例例文帳に追加

counterexample - Eゲイト英和辞典

反例解析支援装置例文帳に追加

COUNTER EXAMPLE ANALYSIS SUPPORT APPARATUS - 特許庁

反例解析支援装置、反例解析支援システム、それらの反例解析支援方法及びプログラム例文帳に追加

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. - 特許庁

>>例文の一覧を見る


調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます!
  • 履歴機能
    履歴機能
    過去に調べた
    単語を確認!
  • 語彙力診断
    語彙力診断
    診断回数が
    増える!
  • マイ単語帳
    マイ単語帳
    便利な
    学習機能付き!
  • マイ例文帳
    マイ例文帳
    文章で
    単語を理解!
  • その他にも便利な機能が満載!
Weblio会員登録(無料)はこちらから

JST科学技術用語日英対訳辞書での「反例」の英訳

反例


ライフサイエンス辞書での「反例」の英訳

反例


日英・英日専門用語辞書での「反例」の英訳

Weblio英和対訳辞書での「反例」の英訳

反例

Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

Weblio例文辞書での「反例」に類似した例文

反例

1

反例

Weblio例文辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

「反例」を含む例文一覧

該当件数 : 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. - 特許庁

>>例文の一覧を見る


反例のページの著作権
英和・和英辞典 情報提供元は 参加元一覧 にて確認できます。

   
EDRDGEDRDG
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 ライフサイエンス辞書プロジェクト
日本語WordNet日本語WordNet
日本語ワードネット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会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2024 GRAS Group, Inc.RSS