表明言語の英語

ピン留め

追加できません

(登録数上限)

単語を追加

コンピューター用語辞典での「表明言語」の英訳

表明言語

読み方ヒョウメイゲンゴ

assertion language

表明を記述するための言語.

用例

RSTで開発した表明言語は、ある表明ステートメントが実証される条件を規定するのに用いられる。
The assertion language that RST developed is used to specify the condition that an assertion statement is verifying.

業界標準表明言語のさらにまた新しい候補
yet another new candidate for an industry-standard assertion language

出典元索引ランキング

「表明言語」の部分一致の例文検索結果

該当件数 : 3件

例文

業界標準表明言語のさらにまた新しい候補例文帳に追加

yet another new candidate for an industry-standard assertion language発音を聞く - コンピューター用語辞典

RSTで開発した表明言語は、ある表明ステートメントが実証される条件を規定するのに用いられる。例文帳に追加

The assertion language that RST developed is used to specify the condition that an assertion statement is verifying.発音を聞く - コンピューター用語辞典

例文

その後、シラク仏大統領は、2002年のヨハネスブルグ・サミットにおいて、グローバリゼーションの進展の中で各国の文化を保護する必要があるとの基本的な考えの下、「文化的多様性は、言語の急速な消滅、および製品、法規範、社会構造やライフスタイルの画一化により脅かされている」として、上記「文化多様性宣言」の国際約束化、すなわち文化多様性条約の策定を目指すことを表明した。例文帳に追加

At the Johannesburg Summit in 2002, French President Chirac announced his intent to develop the Convention on Cultural Diversity, an international commitment to the Declaration on Cultural Diversity. - 経済産業省