an assertion of a right (as to money or property)
(お金または財産に対するような)権利の主張 - 日本語WordNet
an assertion that someone is guilty of a fault or offence
誰かが過失または違反の罪があるという主張 - 日本語WordNet
without doubt (used to reinforce an assertion)
疑いなしで(主張を補強するために使用されます) - 日本語WordNet
distinguishing between verifiable fact and tendentious assertion 証明できる事実と偏向的な主張を区別すること - 日本語WordNet
Incorporated RMS's assertion that he is not anticommercial.
RMSの、自分は反商業主義ではないという主張を追加。 - Eric S. Raymond『ノウアスフィアの開墾』
a fact or assertion offered as evidence that something is true
何かが真であるという証拠として出された事実または主張 - 日本語WordNet
Contrary to that assertion, there are indeed old Someiyoshino trees to be found.
しかし、こうしたイメージの一方、ソメイヨシノの老木も存在している。 - Wikipedia日英京都関連文書対訳コーパス
Assertion of Objection to Claim with Enforceable Title of Obligation, etc.
執行力ある債務名義のある債権等に対する異議の主張 - 日本法令外国語訳データベースシステム
are a convenient way to insertdebugging assertions into a program:
は、プログラム内にデバッグ用アサーション(debugging assertion) を仕掛けるための便利な方法です: - Python
To achieve assertion check equivalent to RTL description by net list verification. ネットリスト検証でRTL記述と同等のアサーションチェックを可能とする。 - 特許庁
This gives credibility to the assertion that Somei Village is the place of origin.
これによって現在では染井村起源という可能性が有力である。 - Wikipedia日英京都関連文書対訳コーパス
assertion of the parties, etc. concerning the facts which will be the cause of the anticipated Adverse Disposition
不利益処分の原因となる事実に対する当事者等の主張 - 法令用語日英標準対訳辞書
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を生成する。 - 特許庁
Whenever the call of a predicate satisfies the input assertion, then the call instantiated by any computed answer substitution satisfies the output assertion.
述語の呼び出しが入力表明を満足するときはいつでも、計算された答えの代入によって例示される呼び出しは出力表明を満足する。 - コンピューター用語辞典
The circuit verification apparatus 1 also includes an assertion converting unit 14 configured to convert each of the predetermined measurement points to a corresponding assertion description and a code coverage result decompressing unit 13 configured to receive the database and an assertion result 112 obtained by performing measurement based on the assertion description and generate a code coverage result 113. また、回路検証装置1は、所定の計測ポイントついて、それぞれ対応するアサーション記述に変換するアサーション変換部14と、データベースとアサーション記述に基づいて計測を行い得られたアサーション結果112とを受け取り、コードカバレッジ結果113を生成するコードカバレッジ結果伸長部13とを有する。 - 特許庁
To reduce the burden on a designer even when assertion descriptions are imperfect. アサーション記述が不完全な場合であっても、設計者の負担を軽減する。 - 特許庁
However, there is little historical material to support the assertion that the children were executed.
しかし、このこどもたちの処刑については、ほかに拠るべき史料にとぼしい。 - Wikipedia日英京都関連文書対訳コーパス
characterized by assertion of unproved or unprovable principles
証明されていないか証明できない原則の断定によって特徴づけられる - 日本語WordNet
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. 機能シミュレーション部2はHDLデザイン記述8とアサーション記述9とを読み込みシミュレーション動作が仕様通りであるか否かをアサーションチェックによって検証する。 - 特許庁
However, it is now criticized about its stereotypical and unilateral way of assertion.
しかし現在ではそのステレオタイプ的で一方的な断定の仕方が批判されている。 - Wikipedia日英京都関連文書対訳コーパス
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.