| 例文 |
assertion languageの部分一致の例文一覧と使い方
該当件数 : 7件
ASSERTION DESCRIPTION LANGUAGE GENERATION METHOD AND DEVICE, AND ASSERTION BASE SIMULATION PROGRAM USING IT例文帳に追加
アサーション記述言語生成方法、装置及びそれを用いたアサーションベースシミュレーションプログラム - 特許庁
yet another new candidate for an industry-standard assertion language 例文帳に追加
業界標準表明言語のさらにまた新しい候補 - コンピューター用語辞典
The assertion language that RST developed is used to specify the condition that an assertion statement is verifying. 例文帳に追加
RSTで開発した表明言語は、ある表明ステートメントが実証される条件を規定するのに用いられる。 - コンピューター用語辞典
Even the designer not well informed about a verification property language such as PSL can easily perform assertion-based verification.例文帳に追加
さらに、ＰＳＬなどの検証プロパティ言語に精通していない設計者にも容易にアサーションベース検証を行うことができる。 - 特許庁
When a foreign language application is cited as a ground for refusal of another application(Article 29bis or Article 39), and when the applicant of the latter makes an assertion that the foreign language document of the cited application contains new matter beyond the original text. 例文帳に追加
外国語書面出願をある出願の拒絶理由の根拠(第29条の2又は第39条)として引用した場合において、引用した上記外国語書面出願について、出願人が外国語書面には原文新規事項があると主張したとき。 - 特許庁
Many Korean scholars have mixed feelings in relation to documents which prove that literature and an original writing system had been widely established in Japan including for people outside the aristocracy much earlier than in Korea; therefore, some Korean scholars may prefer to adhere to hypothesis of direct relationship between 'the ancient Korean language' and the "Manyoshu" without concrete scientific evidence to back up the assertion. 例文帳に追加
多くの韓国人学者は、庶民も含む広範な文学の成立と固有言語の表記法が、自国よりもはるか以前の時期に日本において文献で確認できることに複雑な感情を抱いており、「古代朝鮮語」と『万葉集』の直結的関連性については、韓国の学界では科学的論証を経ずに肯定的に捉えられている。 - Wikipedia日英京都関連文書対訳コーパス
| 例文 |
| 本サービスで使用している「Wikipedia日英京都関連文書対訳コーパス」はWikipediaの日本語文を独立行政法人情報通信研究機構が英訳したものを、Creative Comons Attribution-Share-Alike License 3.0による利用許諾のもと使用しております。詳細はhttp://creativecommons.org/licenses/by-sa/3.0/ および http://alaginrc.nict.go.jp/WikiCorpus/ をご覧下さい。 |
 | Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. |
| Copyright © Japan Patent office. All Rights Reserved. |
| Copyright © Japan Patent office. All Rights Reserved. |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
|
ログイン |
Weblio会員(無料)になると
|
