小窓モード


プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > コンピューター用語 > assertion languageの意味・解説 

assertion languageとは
意味・読み方・使い方

ピン留め
追加できません(登録数上限)
単語を追加
主な意味表明言語

コンピューター用語辞典での「assertion language」の意味

assertion language



「assertion language」の部分一致の例文検索結果

該当件数 : 7



例文

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

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

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

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

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

To generate an operation model which can verify a condition that the correct operation of hardware is established in a cycle precision level by assertion as general-purpose programming language description.例文帳に追加

サイクル精度レベルでハードウェアの正しい動作が成立する条件をアサーションにより検証可能な動作モデルを汎用プログラミング言語記述として生成する。 - 特許庁

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日英京都関連文書対訳コーパス

>>例文の一覧を見る


調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます!
  • 履歴機能
    履歴機能
    過去に調べた
    単語を確認!
  • 語彙力診断
    語彙力診断
    診断回数が
    増える!
  • マイ単語帳
    マイ単語帳
    便利な
    学習機能付き!
  • マイ例文帳
    マイ例文帳
    文章で
    単語を理解!
  • その他にも便利な機能が満載!
Weblio会員登録(無料)はこちらから

日英・英日専門用語辞書での「assertion language」の意味

assertion language

クロスランゲージ 37分野専門語辞書での「assertion language」の意味

assertion language



assertion languageのページの著作権
英和・和英辞典情報提供元は参加元一覧にて確認できます。

  
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
日中韓辭典研究所日中韓辭典研究所
Copyright © 2020 CJKI. All Rights Reserved
株式会社クロスランゲージ株式会社クロスランゲージ
Copyright © 2020 Cross Language Inc. All Right Reserved.

ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。

こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

このモジュールを今後表示しない
みんなの検索ランキング
閲覧履歴
無料会員登録をすると、
単語の閲覧履歴を
確認できます。
無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2020 Weblio RSS