Assertionを含む例文一覧と使い方
該当件数 : 294件
The criticism against clique government was put into the songs as a means of political assertion and propaganda. 例文帳に追加
藩閥政治への批判を歌に託した政治主張・宣伝の手段である。 - Wikipedia日英京都関連文書対訳コーパス
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
However, the Nichiren sect rebuffs the assertion of the Nichiren Shoshu sect on the following grounds 例文帳に追加
しかしながら、日蓮宗サイドでは、下記の理由を根拠にこれを否定している。 - Wikipedia日英京都関連文書対訳コーパス
When detecting the assertion start of a line enabling signal, a line counter 106 starts counting processing.例文帳に追加
ラインカウンタ106は、ラインイネーブル信号のアサート開始を検知するとカウント処理を開始する。 - 特許庁
A programmable circuit 102 is mounted with a design object circuit 106 operating synchronously with the clock signal of an operation clock creation circuit 104, and includes assertion trigger detection circuits (detection circuits) 107_1 to 107_n for creating the signal of assertion verification start to the circuit 106 and assertion condition decision type circuit (decision circuit) 108_1 to 108_n for performing the result decision of the assertion verification.例文帳に追加
プログラマブル回路102は、動作クロック生成回路104のクロック信号に同期して動作する設計対象回路106を実装し、回路106に対するアサーション検証開始の信号を生成するアサーショントリガ検出回路(検出回路)107_1〜107_nおよびアサーション検証の結果判定を行うアサーション条件判定式回路(判定回路)108_1〜108_nを含む。 - 特許庁
To automatically generate an assertion even with respect to a circuit for which detailed specifications or circuit descriptions cannot be analyzed.例文帳に追加
詳細仕様や回路記述が解析できない回路に対してもアサーションを自動生成する。 - 特許庁
Through the assertion of the interrupt request signal, the pseudo oscillation stop state is formed.例文帳に追加
上記割り込み要求信号がアサートされることで疑似的な発振停止状態を形成する。 - 特許庁
To improve verification accuracy and reduce analysis man-hours in assertion-based verification.例文帳に追加
アサーションベース検証において,検証精度を向上させ,さらに,解析作業工数を削減する。 - 特許庁
A variable is allocated to a statement that designates an event associated with a function call in an assertion.例文帳に追加
アサーション中の、関数呼び出しに関するイベントを指示する構文に対して変数を割り当てる。 - 特許庁
On the occurrence of system event (INTR, NMI, SMI, SRESET, INIT), the assertion of STPCLK# is prohibited for a given length of time, making it operate at high speed.例文帳に追加
システムイベント(INTR,NMI,SMI,SRESET,INIT)があった場合、一定時間STPCLK#のアサートを禁止し、高速動作させる。 - 特許庁
This dark assertion will be illuminated later on. 例文帳に追加
何だか暗いことを申しましたが、ここで述べた言明は、後にはっきりと光り輝くことになるのです。 - O. Henry『賢者の贈り物』
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. 例文帳に追加
なお、発明者が同一でないとの認定を覆すためには、出願人の主張のみでは不十分であり、その主張を裏付ける証拠(他の出願の発明者の宣誓書等)が必要である。 - 特許庁
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.例文帳に追加
動作記述に記述されたアサーション情報を、RTL記述で記述可能なアサーション情報に自動変換する高位合成装置、自動高位合成方法及び高位合成プログラムを提供する。 - 特許庁
The terminal equipment 5 transmits assertion information 53 to an information providing server 9, and makes an access request.例文帳に追加
端末装置5は、情報提供サーバ9にアサーション情報53を送ってアクセス要求を行う。 - 特許庁
She is also said to have married Hidenobu ODA, but that assertion is often contradicted due to a mismatch in the timeline. 例文帳に追加
織田秀信に嫁いだともいわれているが、時期があわないため否定的な見方をされることが多い。 - Wikipedia日英京都関連文書対訳コーパス
A module external specification analysis unit reads a module external specification with function declaration and assertion described therein.例文帳に追加
モジュール外部仕様解析部は、関数宣言及びアサーションが記されたモジュール外部仕様を読み込む。 - 特許庁
A vertical cycle counter 103 starts counting processing when detecting the assertion start of a vertical synchronization signal.例文帳に追加
垂直周期カウンタ103は、垂直同期信号のアサート開始を検知するとカウント処理を開始する。 - 特許庁
The processing part 200 performs verification by performing assertion check and deadlock detection on the generated enlarged program.例文帳に追加
処理部200は、生成した拡大プログラムについてアサーションチェックとデッドロック検出を行って検証する。 - 特許庁
Treat my assertion of its truth as a mere stroke of art to enhance its interest. 例文帳に追加
わたしがこれを真実だと主張するのは、興味深さを増すための技の一つだと思ってください。 - H. G. Wells『タイムマシン』
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.例文帳に追加
このように、アサーションA1,A2で定義されていないシナリオで発生するバグが検出できるため、アサーションにより検証対象回路の振る舞いを網羅できない場合であっても、バグの検出が可能となる。 - 特許庁
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.例文帳に追加
従来の技術では、回路仕様とアサーション記述との整合性一致は保証されないとの課題を解決し、例えばLSI等に対するアサーション検証の高信頼化および高効率化を可能とする。 - 特許庁
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.例文帳に追加
ハードウェアモデルの設計元となるレジスタ仕様情報に、アサーションに必要な情報を追加することにより、ソフトウェアの詳細を理解していないハードウェアモデル開発者によるアサーションの記述を可能とする。 - 特許庁
Methods are shown where during defect detection a read/write gate assertion is triggered using a servo gate pulse.例文帳に追加
欠陥検出中は、読み出し/書き込みゲートアサーションが、サーボゲートパルスを用いてトリガされる方法が示される。 - 特許庁
An opinion group display part 5 provides the comparison display of assertion groups, the display of comments groups, etc., to the user.例文帳に追加
これらは意見群表示部5によって主張群の対比表示、コメント群表示などがユーザに提示される。 - 特許庁
To prevent deterioration of simulation speed by incorporating a mechanism allowing individual control of in-line added assertion description.例文帳に追加
インライン付加したアサーション記述を個々に制御できる仕組みを組み込むことで、シミュレーション速度の劣化を防ぐ。 - 特許庁
The apparatus 100 for verifying a semiconductor integrated circuit verifies the equivalence of a circuit description and an assertion description.例文帳に追加
半導体集積回路の検証装置100は、回路記述とアサーション記述の等価性を検証する。 - 特許庁
Thereafter, the verification support device 100 generates assertion information 121 for each of the formed condition branch descriptions.例文帳に追加
その後検証支援装置100は、作成された条件分岐記述ごとに、アサーション情報121を生成する。 - 特許庁
a statement or assertion of verified information about something that is the case or has happened 例文帳に追加
その実際の出来事または起きたことであることについての確認された情報の発表または主張 - 日本語WordNet
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
A computer 100 performs an assertion result decision program 101 for deciding the simulation result of the circuit 106.例文帳に追加
コンピュータ100は、回路106のシミュレーション結果を判定するアサーション結果判定プログラム101を実行する。 - 特許庁
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日英京都関連文書対訳コーパス
Data sources and documentation used to calculate emissions and support the subject matter of the reporting company's assertion. 例文帳に追加
排出量を算定し、報告事業者の主張の主題を裏付けるために使用するデータソースと文書。 - 経済産業省
When there are material departures in the assertion from the assurance criteria, the reporting company should report the effect of the departures. 例文帳に追加
主張が主張基準と大幅に逸脱する場合、報告事業者は逸脱の影響を報告する。 - 経済産業省
The method to provide client session failover includes using a security assertion to re-establish a session with a client to permit the client to failover to a failover server.例文帳に追加
本発明の一実施形態では、クライアントセッションフェイルオーバーを提供する方法であって、セキュリティアサーション(security assertion:セキュリティ表明)を使用し、それによりクライアントとのセッションを再確立し、クライアントがフェイルオーバーサーバにフェイルオーバーできるようにすることを含む。 - 特許庁
To achieve the automatic generation of a hardware model into which an assertion for verifying software operating on a CPU is inserted.例文帳に追加
CPU上で動作するソフトウェアを検証するためのアサーションが挿入されたハードウェアモデルの自動生成を実現する。 - 特許庁
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編の規定を適用する。 - 特許庁
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日英京都関連文書対訳コーパス
The method also includes establishing a trust relationship between a first server that issues the security assertion and the failover server.例文帳に追加
この方法は、セキュリティアサーションを発行する第1のサーバとフェイルオーバーサーバの間に信頼関係を確立することも含む。 - 特許庁
The different types of SAML assertion are encoded in a common XML package, which at a minimum consists of: 例文帳に追加
異なるタイプのSAML表明は共通のXMLパッケージ中にエンコードされる。そのパッケージは少なくとも次のものからなっている。 - コンピューター用語辞典
"Pagan self-assertion" is one of the elements of human worth, as well as "Christian self-denial." 2 例文帳に追加
「異教徒の自己主張」というのは「キリスト教徒の自己否定」と同じく、人間の価値の構成要素の一つなのです[2]。 - John Stuart Mill『自由について』
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がスタンバイモードであるときに外部から指令された復帰信号のアサートを保持する。 - 特許庁
Even the designer not well informed about a verification property language such as PSL can easily perform assertion-based verification.例文帳に追加
さらに、PSLなどの検証プロパティ言語に精通していない設計者にも容易にアサーションベース検証を行うことができる。 - 特許庁
Table 10.2 provides examples of limited and reasonable assurance opinions for an assertion of scope 3 inventory emissions. 例文帳に追加
表10.2 は、スコープ3 インベントリ排出量に関する主張に対する限定的および相当程度のアシュランス意見を例示している。 - 経済産業省
The assertion of the strong hand, successful aggression, usually of a destructive character, becomes the accepted basis of repute. 例文帳に追加
力のある手椀の、大抵は破壊的な性質の、成功した侵略を言いたてることが名声の受け入れられた根拠となる。 - Thorstein Veblen『ワークマンシップの本能と労働の煩わしさ』
The verification program 11 simulates a DUT 13, stops the simulation, corrects a circuit description of an I/F MODEL 134 so as to satisfy assertion and simulates the DUT 13 again, when assertion violation occurs in an interblock I/F constituting a verification object logical circuit.例文帳に追加
検証プログラム11が、DUT13に対してシミュレーションを行い、構成するブロック間I/Fにアサーション違反があった場合は、シミュレーションを停止してアサーションを満たすようにI/F MODEL134の回路記述を修正し、再度シミュレーションする。 - 特許庁
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章の規定に従うものとする。 - 特許庁
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例文帳に追加
所有者が意匠についての権原を有していないという判断に基づいて意匠についての権利を主張する者 - 特許庁
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.例文帳に追加
端末装置5が関連サーバ11にアクセスすると、関連サーバ11は、アサーション情報53を発行して端末装置5に送る。 - 特許庁
本サービスで使用している「Wikipedia日英京都関連文書対訳コーパス」はWikipediaの日本語文を独立行政法人情報通信研究機構が英訳したものを、Creative Comons Attribution-Share-Alike License 3.0による利用許諾のもと使用しております。詳細はhttp://creativecommons.org/licenses/by-sa/3.0/ および http://alaginrc.nict.go.jp/WikiCorpus/ をご覧下さい。 |
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2025 License. All rights reserved. WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.License |
Copyright © Japan Patent office. All Rights Reserved. |
Copyright © Japan Patent office. All Rights Reserved. |
Copyright Ministry of Economy, Trade and Industry. All Rights Reserved. |
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. |
この対訳コーパスは独立行政法人情報通信研究機構の研究成果であり、Creative Commons Attribution-Share Alike 3.0 Unportedでライセンスされています。 |
Copyright 2001-2004 Python Software Foundation.All rights reserved. Copyright 2000 BeOpen.com.All rights reserved. Copyright 1995-2000 Corporation for National Research Initiatives.All rights reserved. Copyright 1991-1995 Stichting Mathematisch Centrum.All rights reserved. |
© 2010, Oracle Corporation and/or its affiliates. Oracle and Java are registered trademarks of Oracle and/or its affiliates.Other names may be trademarks of their respective owners. |
この対訳コーパスは独立行政法人情報通信研究機構の集積したものであり、Creative Commons Attribution-Share Alike 3.0 Unportedでライセンスされています。 |
原題:”On Liberty” 邦題:『自由について』 | This work has been released into the public domain by the copyright holder. This applies worldwide. Copyright on Japanese Translation (C) 2004 Ryoichi Nagae 永江良一 本翻訳は、この著作権表示を付すかぎりにおいて、訳者および著者に一切断ることなく、商業利用を含むあらゆる形で自由に利用し複製し配布することを許諾します。 改変を行うことも許諾しますが、その場合は、この著作権表示を付すほか、著作権表示に改変者を付加し改変を行ったことを明示してください。 |
原題:”The Instinct of Workmanship and the Irksomeness of Labor” 邦題:『ワークマンシップの本能と労働の煩わしさ』 | This work has been released into the public domain by the copyright holder. This applies worldwide. 《プロジェクト杉田玄白正式参加作品》 本翻訳は、この版権表示を残す限りにおいて、訳者および著者にたいして許可をとっ たり使用料を支払ったりすることいっさいなしに、商業利用を含むあらゆる形で自 由に利用・複製が認められます。 |
原題:”THE GIFT OF THE MAGI” 邦題:『賢者の贈り物』 | This work has been released into the public domain by the copyright holder. This applies worldwide. Copyright (C) 1999 Hiroshi Yuki (結城 浩) 本翻訳は、この版権表示を残す限り、訳者および著者にたいして許可をとったり使用料を支払ったりすること一切なしに、商業利用を含むあらゆる形で自由に利用・複製が認められます。 プロジェクト杉田玄白正式参加作品。 |
原題:”The Time Machine” 邦題:『タイムマシン』 | This work has been released into the public domain by the copyright holder. This applies worldwide. 翻訳: 山形浩生<hiyori13@alum.mit.edu> © 2003 山形浩生 本翻訳は、この版権表示を残す限りにおいて、訳者および著者にたいして許可をとったり使用料を支払ったりすることいっさいなしに、商業利用を含むあらゆる形で自由に利用・複製が認められる。(「この版権表示を残す」んだから、「禁無断複製」とかいうのはダメだぞ) プロジェクト杉田玄白 正式参加作品。詳細はhttp://www.genpaku.org/を参照のこと。 |
ログイン |
Weblio会員(無料)になると
|
ログイン |
Weblio会員(無料)になると
|