「Assertion」に関連した英語例文の一覧と使い方(3ページ目) - Weblio英語例文検索

When there are material departures in the assertion from the assurance criteria, the reporting company should report the effect of the departures. 例文帳に追加

主張が主張基準と大幅に逸脱する場合、報告事業者は逸脱の影響を報告する。 - 経済産業省

Treat my assertion of its truth as a mere stroke of art to enhance its interest. 例文帳に追加

わたしがこれを真実だと主張するのは、興味深さを増すための技の一つだと思ってください。 - H. G. Wells『タイムマシン』

This dark assertion will be illuminated later on. 例文帳に追加

何だか暗いことを申しましたが、ここで述べた言明は、後にはっきりと光り輝くことになるのです。 - O. Henry『賢者の贈り物』

Whenever the call of a predicate satisfies the input assertion, then the call instantiated by any computed answer substitution satisfies the output assertion. 例文帳に追加

述語の呼び出しが入力表明を満足するときはいつでも、計算された答えの代入によって例示される呼び出しは出力表明を満足する。 - コンピューター用語辞典

This is called a positive lookbehind assertion.(?=abc)def will find a match in "abcdef", since the lookbehind will back up 3 characters and check if the contained pattern matches.例文帳に追加

これは 肯定後読みアサーション(positive lookbehind assertion)と呼ばれます。 (?=abc)def は、"abcdef" にマッチを見つけます、というのは後読みが3文字をバックアップして、含まれているパターンとマッチするかどうか検査するからです。 - Python

In addition, in order to overcome determination that inventors are not the same, an applicant’s assertion alone is insufficient, and evidence supporting the assertion (an oath of an inventor of another application, etc.) is necessary. 例文帳に追加

なお、発明者が同一でないとの認定を覆すためには、出願人の主張のみでは不十分であり、その主張を裏付ける証拠(他の出願の発明者の宣誓書等)が必要である。 - 特許庁

Information necessary for assertion is added to register specification information as the design source of a hardware model so that it is possible for a hardware model developer who does not understand the details of software to describe the assertion.例文帳に追加

ハードウェアモデルの設計元となるレジスタ仕様情報に、アサーションに必要な情報を追加することにより、ソフトウェアの詳細を理解していないハードウェアモデル開発者によるアサーションの記述を可能とする。 - 特許庁

A function simulation part 2 reads HDL design descriptions 8 and assertion descriptions 9, and verifies whether or not simulation operations are conformed to the specifications by assertion check.例文帳に追加

機能シミュレーション部２はＨＤＬデザイン記述８とアサーション記述９とを読み込みシミュレーション動作が仕様通りであるか否かをアサーションチェックによって検証する。 - 特許庁

To solve a problem of a conventional technology not securing consistency between circuit specifications and assertion description and to make it possible for example to increase reliability and efficiency of assertion verification to an LSI and the like.例文帳に追加

従来の技術では、回路仕様とアサーション記述との整合性一致は保証されないとの課題を解決し、例えばＬＳＩ等に対するアサーション検証の高信頼化および高効率化を可能とする。 - 特許庁

Thus, a bug generated in a scenario which is not defined by the assertion A1 and A2 can be detected, so that it is possible to detect a bug even when an assertion do not cover all actions in a verification target circuit.例文帳に追加

このように、アサーションＡ１，Ａ２で定義されていないシナリオで発生するバグが検出できるため、アサーションにより検証対象回路の振る舞いを網羅できない場合であっても、バグの検出が可能となる。 - 特許庁

An assertion generation part 106 inputs signal change information and generates the assertion 107, which is a description expressing the functional specifications and the design intention of a logic circuit.例文帳に追加

アサーション生成部106は、信号変化情報を入力し、論理回路の機能仕様や設計意図を表現した記述であるアサーション107を生成する。 - 特許庁

To provide a high level synthesis apparatus, an automatic high level synthesis method and a high level synthesis program that automatically convert assertion information described in an operation description to assertion information describable as a register transfer level (RTL) description.例文帳に追加

動作記述に記述されたアサーション情報を、ＲＴＬ記述で記述可能なアサーション情報に自動変換する高位合成装置、自動高位合成方法及び高位合成プログラムを提供する。 - 特許庁

The different types of SAML assertion are encoded in a common XML package, which at a minimum consists of: 例文帳に追加

異なるタイプのSAML表明は共通のXMLパッケージ中にエンコードされる。そのパッケージは少なくとも次のものからなっている。 - コンピューター用語辞典

In the JUnit test, you will test the LibClass by passing a phrase to the acrostic method and using an assertion to indicate what you think the result should be.例文帳に追加

JUnit テストでは、acrostic メソッドにフレーズを渡し、表明を使用して予測される結果を示すことで、LibClass をテストします。 - NetBeans

It is also called Yuiju Ichinin Kechimyaku Sojo (only one person to inherit the blood) and Chaku Chaku Fufo (legitimate inheritance), and regard it as the basis for the assertion of Nikko as the legitimacy. 例文帳に追加

唯受一人（ゆいじゅいちにん）血脈相承とも嫡々付法ともいい、日興が正統であるという主張の根拠としている。 - Wikipedia日英京都関連文書対訳コーパス

However, the assertion of Nikkomon School, which argues that only Nikko has inherited the teachings, is not accepted by other schools of Nichiren Sect. 例文帳に追加

ただ日興のみ一人が相承したという日興門流の主張は、他の日蓮各派は認めていない。 - Wikipedia日英京都関連文書対訳コーパス

She was said to be one of the ladies-in-waiting in attendance on Empress Shoshi (also read as Masako) and to have been called Omotomaru at first, but there are also theories that contradict this assertion. 例文帳に追加

はじめ御許丸（おもとまる）と呼ばれた太皇太后宮昌子内親王付きの女房だったらしいが、それを否定する論もある。 - Wikipedia日英京都関連文書対訳コーパス

This perspective is consistent with the assertion of "Gukansho (essay)," which regards the Hogen Disturbance as the beginning of 'the age of warriors.' 例文帳に追加

これは、保元の乱を「武者ノ世」のはじまりであるとする『愚管抄』の認識とも一致しており、時代の画期であると考えてられていたことがわかる。 - Wikipedia日英京都関連文書対訳コーパス

Imatani's assertion impacted art historians, however, later, Katsuya SETA advanced the year of the scenery and he presumed the one who ordered to paint it was Yoshiteru ASHIKAGA. 例文帳に追加

今谷説は美術史家にも衝撃を与えたが、その後、瀬田勝哉は景観年代を下げ、注文主を足利義輝と推定。 - Wikipedia日英京都関連文書対訳コーパス

Moreover, the material is not sufficient for the origin of Nijiriguchi (crawling entrance), and there is no concrete grounds in the widespread assertion that it was created by Rikyu. 例文帳に追加

なお躙り口の発生に関しては資料が不足しており、流布している利休の創作という主張も確たる根拠があるわけではない。 - Wikipedia日英京都関連文書対訳コーパス

It is typical example of assertion that 'Mahayana (great vehicle) Buddhism was completed in Japan' in "Genko-Shakusho" (History of Buddhism of the Genko era) by Kokan Shiren. 例文帳に追加

虎関師錬の『元亨釈書』の「大乗仏教は日本において完成した」という主張はその典型である。 - Wikipedia日英京都関連文書対訳コーパス

Regarding the successor for the position, there was a movement to support Ogen (Rensho), who was his younger brother by a different mother, but based on the assertion of his uncle, Senyu (Nyojo) it was decided that Rennyo would take over the position. 例文帳に追加

継職にあたり異母弟・応玄（蓮照）を擁立する動きもあったが、叔父宣祐（如乗）の主張により蓮如の就任が決定する。 - Wikipedia日英京都関連文書対訳コーパス

Nanori was a loud statement made by a samurai to an opponent in which he announced his full name, status, family lineage and assertion for the conflict. 例文帳に追加

名乗り（なのり）とは、合戦において武士が敵に向かって自分の姓名・身分・家系や戦における自分の主張などを大声で告げること。 - Wikipedia日英京都関連文書対訳コーパス

a person who claims the right to the design if such claim is founded on the assertion that the holder is not entitled to hold the right to the design例文帳に追加

所有者が意匠についての権原を有していないという判断に基づいて意匠についての権利を主張する者 - 特許庁

At first, the examiner should review whether it was appropriate to set it to “the final notice of reasons for refusal,” considering the as assertion of the applicant in the written opinion etc. 例文帳に追加

まず、意見書等における出願人の主張も勘案して、「最後の拒絶理由通知」とすることが適当であったかどうかを再検討する。 - 特許庁

The assertion of claims under Section 150 shall be subject to the provisions of Title XXI of the Code of Criminal Procedure, 1975, Federal Law Gazette No. 631, as amended. 例文帳に追加

第150条の規定に基づく請求権の行使は，改正された1975年刑事訴訟法，BGBl.No.631，の第XXI章の規定に従うものとする。 - 特許庁

The assertion of claims under Section 68f par 2 shall be subject to the provisions of Title XXI of the Code of Criminal Procedure, 1975, Federal Law Gazette No 631. 例文帳に追加

第68f条の規定による請求権の行使については，1975年刑事訴訟法，BGBl.No.631，第XXI編の規定を適用する。 - 特許庁

The method also includes establishing a trust relationship between a first server that issues the security assertion and the failover server.例文帳に追加

この方法は、セキュリティアサーションを発行する第１のサーバとフェイルオーバーサーバの間に信頼関係を確立することも含む。 - 特許庁

An FPGA compounding part 4a carries out logic composition/mapping by embedding the HDL design descriptions 8 and the assertion descriptions 9 in the FPGA.例文帳に追加

ＦＰＧＡ合成部４ａはＨＤＬデザイン記述８とアサーション記述９とを当該ＦＰＧＡに埋め込む論理合成・マッピングを行う。 - 特許庁

When the terminal equipment 5 performs access to a relevant server 11, the relevant server 11 issues and transmits assertion information 53 to the terminal equipment 5.例文帳に追加

端末装置５が関連サーバ１１にアクセスすると、関連サーバ１１は、アサーション情報５３を発行して端末装置５に送る。 - 特許庁

The processing part 200 performs verification by performing assertion check and deadlock detection on the generated enlarged program.例文帳に追加

処理部２００は、生成した拡大プログラムについてアサーションチェックとデッドロック検出を行って検証する。 - 特許庁

A computer 100 performs an assertion result decision program 101 for deciding the simulation result of the circuit 106.例文帳に追加

コンピュータ１００は、回路１０６のシミュレーション結果を判定するアサーション結果判定プログラム１０１を実行する。 - 特許庁

A module external specification analysis unit reads a module external specification with function declaration and assertion described therein.例文帳に追加

モジュール外部仕様解析部は、関数宣言及びアサーションが記されたモジュール外部仕様を読み込む。 - 特許庁

The apparatus 100 for verifying a semiconductor integrated circuit verifies the equivalence of a circuit description and an assertion description.例文帳に追加

半導体集積回路の検証装置１００は、回路記述とアサーション記述の等価性を検証する。 - 特許庁

Even the designer not well informed about a verification property language such as PSL can easily perform assertion-based verification.例文帳に追加

さらに、ＰＳＬなどの検証プロパティ言語に精通していない設計者にも容易にアサーションベース検証を行うことができる。 - 特許庁

The terminal equipment 5 transmits assertion information 53 to an information providing server 9, and makes an access request.例文帳に追加

端末装置５は、情報提供サーバ９にアサーション情報５３を送ってアクセス要求を行う。 - 特許庁

An opinion group display part 5 provides the comparison display of assertion groups, the display of comments groups, etc., to the user.例文帳に追加

これらは意見群表示部５によって主張群の対比表示、コメント群表示などがユーザに提示される。 - 特許庁

To prevent deterioration of simulation speed by incorporating a mechanism allowing individual control of in-line added assertion description.例文帳に追加

インライン付加したアサーション記述を個々に制御できる仕組みを組み込むことで、シミュレーション速度の劣化を防ぐ。 - 特許庁

To achieve the automatic generation of a hardware model into which an assertion for verifying software operating on a CPU is inserted.例文帳に追加

ＣＰＵ上で動作するソフトウェアを検証するためのアサーションが挿入されたハードウェアモデルの自動生成を実現する。 - 特許庁

Thereafter, the verification support device 100 generates assertion information 121 for each of the formed condition branch descriptions.例文帳に追加

その後検証支援装置１００は、作成された条件分岐記述ごとに、アサーション情報１２１を生成する。 - 特許庁

A vertical cycle counter 103 starts counting processing when detecting the assertion start of a vertical synchronization signal.例文帳に追加

垂直周期カウンタ１０３は、垂直同期信号のアサート開始を検知するとカウント処理を開始する。 - 特許庁

A resume signal hold circuit 110 holds an assertion of a resume signal instructed from the outside while a circuit block 101 is in a stand-by mode.例文帳に追加

復帰信号保持回路110は、回路ブロック101がスタンバイモードであるときに外部から指令された復帰信号のアサートを保持する。 - 特許庁

When detecting the assertion start of a line enabling signal, a line counter 106 starts counting processing.例文帳に追加

ラインカウンタ１０６は、ラインイネーブル信号のアサート開始を検知するとカウント処理を開始する。 - 特許庁

Methods are shown where during defect detection a read/write gate assertion is triggered using a servo gate pulse.例文帳に追加

欠陥検出中は、読み出し／書き込みゲートアサーションが、サーボゲートパルスを用いてトリガされる方法が示される。 - 特許庁

If a negative assertion is made by one of the JC members, the Co-Chairs take into account the opinion of the member and take appropriate actions. 例文帳に追加

JCメンバーから反対意見が表明された場合は、共同議長が当該JCメンバーの意見を考慮し、適切な対応を行う。 - 経済産業省