「assertion」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

one's own assertion 例文帳に追加

自分の主張する議論 - EDR日英対訳辞書

an assertion which runs counter to another assertion 例文帳に追加

ある主張に対して,それを否定する主張 - EDR日英対訳辞書

I am bad at self assertion. 例文帳に追加

私は自己主張が苦手です。 - Weblio Email例文集

an assertion made in a truthful and reliable manner regarding one's actions or intentions 例文帳に追加

約束を述べた言葉 - EDR日英対訳辞書

person who performs intellectual activity (person who makes a claim, assertion, charge or argues for) 例文帳に追加

主張する人 - EDR日英対訳辞書

a solemn promise or assertion 例文帳に追加

約束することを誓った言葉 - EDR日英対訳辞書

The ambassador was emphatic in his assertion that Japan should open its markets further. 例文帳に追加

大使は日本の市場開放を強く主張した. - 研究社 新和英中辞典

assertion named judgment cessation of ancient Greek philosophy 例文帳に追加

古代ギリシア哲学で,判断中止という主張 - EDR日英対訳辞書

a discourse refuting someone's assertion 例文帳に追加

他人の主張を攻撃,反論する論説 - EDR日英対訳辞書

evidence that indirectly supports an assertion 例文帳に追加

間接的に証明するのに役立つ証拠 - EDR日英対訳辞書

a groundless and false assertion 例文帳に追加

話に根拠がなくいつわりがあるさま - EDR日英対訳辞書

Nobody will believe his assertion that he is innocent. 例文帳に追加

無実だという彼の主張は誰も信じないだろう。 - Tanaka Corpus

It's clear that their assertion is wrong. 例文帳に追加

相手側の主張が間違っていることは明らかである。 - 愛知県総合教育センター Classroom English（教室英語集）

Don't the statistics bear out your assertion? 例文帳に追加

統計資料はあなたの考えを支持していませんね。 - 愛知県総合教育センター Classroom English（教室英語集）

The witness's assertion that he's innocent will most likely be accepted. 例文帳に追加

彼が無実だという証人の主張はきっと受け入れられるであろう. - 研究社 新英和中辞典

In proof of [As (a) proof of] this assertion, he produced a letter. 例文帳に追加

この主張についての証拠として彼は 1 通の手紙を取り出した. - 研究社 新英和中辞典

He asserted with emphasis [was emphatic in his assertion] that kindheartedness was more important than anything else. 例文帳に追加

心の優しさが何よりも大切であると彼は語気を強めて語った. - 研究社 新和英中辞典

It is important to note that his assertion is groundless. 例文帳に追加

彼の主張には根拠がないことに注意することが重要である。 - Tanaka Corpus

The truth of her assertion was not capable of proof.例文帳に追加

彼女の主張が正しいということは証明できなかった - Eゲイト英和辞典

ASSERTION DESCRIPTION GENERATING APPARATUS例文帳に追加

アサーション記述生成装置 - 特許庁

The assertion is presented to the assurer. 例文帳に追加

事業者による主張 - 経済産業省

ASSERTION GENERATION SYSTEM, CIRCUIT VERIFICATION SYSTEM, PROGRAM, AND ASSERTION GENERATION METHOD例文帳に追加

アサーション生成システムと回路検証システムおよびプログラムならびにアサーション生成方法 - 特許庁

yet another new candidate for an industry-standard assertion language 例文帳に追加

業界標準表明言語のさらにまた新しい候補 - コンピューター用語辞典

ASSERTION DESCRIPTION CONVERTER AND CONVERSION METHOD例文帳に追加

アサーション記述変換装置および変換方法 - 特許庁

To provide an assertion description converter and conversion method, capable of generating automatically an assertion description over the superordinate level of assertion description to a subordinate level of assertion description.例文帳に追加

上位レベルのアサーション記述から下位レベルのアサーション記述を自動的に生成することのできるアサーション記述変換装置および変換方法を提供する。 - 特許庁

The company's written assertion (e.g., inventory results) 例文帳に追加

事業者の書面による主張（インベントリ結果など） - 経済産業省

The assertion language that RST developed is used to specify the condition that an assertion statement is verifying. 例文帳に追加

RSTで開発した表明言語は、ある表明ステートメントが実証される条件を規定するのに用いられる。 - コンピューター用語辞典

Each intermediate assertion states all the assumptions about program variables that may have changed since the last assertion. 例文帳に追加

それぞれの中間表明は、最後の表明から変化するであろうプログラム変数に関するすべての仮定を明言する。 - コンピューター用語辞典

Partial correctness of a program S with respect to input assertion p and output assertion q is usually denoted: ... 例文帳に追加

入力表明pと出力表明qに関するプログラムSの部分的正確性は、通常...のように示される。 - コンピューター用語辞典

ASSERTION DESCRIPTION LANGUAGE GENERATION METHOD AND DEVICE, AND ASSERTION BASE SIMULATION PROGRAM USING IT例文帳に追加

アサーション記述言語生成方法、装置及びそれを用いたアサーションベースシミュレーションプログラム - 特許庁

To obtain an assertion description generating apparatus which can readily check whether design specifications and assertion description are in agreement with each other.例文帳に追加

設計仕様とアサーション記述が一致しているかどうかを容易に確認可能なアサーション記述生成装置を得ること。 - 特許庁

AUTOMATIC ASSERTION GENERATOR AND LOGIC CIRCUIT DESIGN VERIFICATION METHOD例文帳に追加

アサーション自動生成装置および論理回路設計検証方法 - 特許庁

To prevent circuit scale increase as assertion description is incorporated into hardware.例文帳に追加

アサーション記述のハードウェア化に伴う回路規模の増大を防ぐ。 - 特許庁

The detection circuit detects the assertion verification start, and the computer 100 determines the determination timing of the assertion result, and the decision circuit performs the result decision of the assertion verification, and the computer 100 performs the assertion verification based on the result decision in the determination timing.例文帳に追加

検出回路によってアサーション検証開始を検出し、コンピュータ１００が、アサーション結果の判断タイミングを決定し、判定回路がアサーション検証の結果判定を行い、コンピュータ１００が、判断タイミングにおいて結果判定を元にアサーション検証を行う。 - 特許庁

METHOD AND PROGRAM FOR CREATING ASSERTION DESCRIPTION, AND RECORDING MEDIUM例文帳に追加

アサーション記述の生成方法及びプログラム並びに記録媒体 - 特許庁

For example, an extension specification of SAML assertion is used for the authorization information.例文帳に追加

認可情報には、例えばＳＡＭＬアサーションの拡張仕様を用いる。 - 特許庁

The results of the assurer's assessment of the reporting company's assertion. 例文帳に追加

報告事業者の主張に関するアシュランス実施者の評価結果。 - 経済産業省

A reference to the reporting company's assertion included in the inventory report 例文帳に追加

インベントリリポートに記載される報告事業者の主張の引用 - 経済産業省

Where it is difficult to understand the applicant’s assertion stated in the written opinion submitted after the notice of reason for refusal, and that assertion seems to have material impact on the examination results: documents that clearly explain the applicant’s assertion stated in the written opinion 例文帳に追加

拒絶理由の通知後、意見書における主張に理解が困難な点があり、しかもその点が審査に重大な影響を及ぼすと認められる場合において、意見書における主張を更に明りょうに説明した書類。 - 特許庁

An assertion analysis unit analyzes the assertion described in the module external specification to generate assertion analysis information expressing the result of the analysis.例文帳に追加

アサーション解析部は、モジュール外部仕様に記されたアサーションの解析を行い、その解析の結果を表すアサーション解析情報を生成する。 - 特許庁

The accessory is provided with a self-assertion part where an accessory code AC peculiar to the accessory is recorded, and the holder is provided with an accessory detection part 225b, which is formed to be connectable to the self-assertion part and detects an accessory code AC when connected to the self-assertion part.例文帳に追加

また、前記アクセサリにはそれに固有なアクセサリコードＡＣが記録された自己主張部が設けられ、前記ホルダには前記自己主張部に接続可能に形成され該接続がなされた場合にアクセサリコードＡＣを検出するアクセサリ検出部２２５ｂが設けられている。 - 特許庁

When proving this program correct the input assertion may be assumed for the initial value of N, N0. 例文帳に追加

このプログラムが正しいと証明する時は、入力表明はNの初期値N0の代わりに仮定されよう。 - コンピューター用語辞典

Make an assertion by submitting a written argument, etc. that the indicated matter does not fall under new matters beyond the translation. 例文帳に追加

翻訳文新規事項に該当しない旨を意見書等で主張する。 - 特許庁

When the voltages are not within the acceptable range, the system inhibits assertion of the word lines.例文帳に追加

それらの電圧が許容可能な範囲内にないとき、ワード線をアサートすることを禁止する。 - 特許庁

LOGICAL SIMULATION DEVICE, AUTOMATIC ASSERTION DESCRIPTION GENERATING DEVICE, AND PROGRAM例文帳に追加

論理シミュレーション装置、アサーション記述自動生成装置、及びプログラム - 特許庁