knowledge verificationとは 意味・読み方・使い方

The verification of this process was conducted by the programmer who was operating under the knowledge that the formula was correct.例文帳に追加

この手順の検証は、この数式が正しいという認識の元で作業するプログラマーによて行われた。 - 厚生労働省

To provide a text generation method for enabling a user to easily understand the meaning content of a verification property by automatically generating a natural language text expressing the meaning content of the verification property even when no explanation is written in a verification property, and the user does not have any knowledge of verification property description language.例文帳に追加

検証プロパティの意味内容を説明する自然言語文章を自動生成できるようにし、検証プロパティに説明が併記されておらず、また、検証プロパティ記述言語の知識がなくても、検証プロパティの意味内容を容易に理解することができるようにした文章生成方法を提供する。 - 特許庁

To allow even a person not having knowledge related to a preparation method for function verification description to prepare the function verification description regardless of a language used for the preparation of the function verification description or a design of a finite state machine when preparing the function verification description for verifying a simulation result of the finite state machine.例文帳に追加

有限状態マシンのシミュレーション結果を検証するための機能検証記述を作成するにあたり、有限状態マシンの設計や機能検証記述の作成に使用する言語に係わらず、機能検証記述の作成方法に関する知識が無い者であっても、機能検証記述を作成できるようにする。 - 特許庁

A pleading required to be verified which contains a verification based on "information and belief" or upon "knowledge, information, and belief" or lacks proper verification, shall be treated as an unsigned pleading.例文帳に追加

宣誓を要する訴答書面は，その宣誓が「情報及び確信」若しくは「認識，情報及び確信」に基づいたものであるとき，又は適正な宣誓を欠くときは，無署名の訴答書面として取り扱われる。 - 特許庁

The response characteristic of the equipment 2 at site is verified by the verification means 50 according to a predetermined reference on a real time basis, and the response characteristic of the equipment at side can be reliably verified irrespective of the knowledge or the skill of a verification person.例文帳に追加

また、現場機器２の応答特性を検証手段５０によって一定の基準でかつリアルタイムに検証するので、検証員の知識や技量に左右されることなしに現場機器の応答特性を確実に検証できる。 - 特許庁

The second relation proof verification device 423 determines whether or not a prescribed relational expression is established by using the proof of non-interactive knowledge related to the second relation.例文帳に追加

第二関係証明検証装置４２３は、第二の関係に関する非対話的知識の証明を用いて、所定の関係式が成立しているか否かを判定する。 - 特許庁

To provide a program distribution system for keeping constant conditions which are disclosed in the existing distribution system of a zero knowledge verification portable program secret, preventing reverse engineering based on the constant conditions and a verification body and enhancing tamper resistance of a distribution program.例文帳に追加

既存のゼロ知識証明携帯プログラム配信方式においては公開していた不変条件を秘匿し、不変条件及び証明本体に基づくリバースエンジニアリングを防止し、配信プログラムの耐タンパ性を向上させるプログラム配信方式を提供する。 - 特許庁

Article 21 (1) The head of a public human resources development facility shall conduct the verification of trade skills and knowledge thereon (hereinafter referred to as "trade skill verification" in this Article) for persons who receive public vocational training (limited to long-term training courses).発音を聞く 例文帳に追加

第二十一条　公共職業能力開発施設の長は、公共職業訓練（長期間の訓練課程のものに限る。）を受ける者に対して、技能及びこれに関する知識の照査（以下この条において「技能照査」という。）を行わなければならない。 - 日本法令外国語訳データベースシステム