「"verification code"」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

Execution programs 26-1 and 26-2 including instructions to call a verification code generation routine are generated from a ladder figure 24.例文帳に追加

ラダー図２４から、検証コード生成ルーチンを呼び出す命令を含む実行プログラム２６−１、２６−２を生成する。 - 特許庁

When the relative value is within the prescribed values, the device prepares a verification code and also executes correction of 3D-LUT by using the relative value.例文帳に追加

そして、相対値が規定値の範囲内にある場合には、実証済符号を作成するとともに、相対値を用いて３Ｄ−ＬＵＴの修正を行う。 - 特許庁

Using the recompiled result Ba and a file in the designated development environment Da, a verification code Aba for collation of a development environment is generated.例文帳に追加

そして、再コンパイル結果Ｂａ及び指定された開発環境Ｄａ中のファイルを用いて、開発環境の照合用検証コードＡｂａを生成する。 - 特許庁

A model verification execution part 30 executes Spin with the model verification code as input, and acquires data indicating a counter example of the specification of the system as a verification result (the counter example).例文帳に追加

モデル検証実行部３０は、モデル検証コードを入力としてＳｐｉｎを実行し、当該システムの仕様の反例を示すデータを検証結果（反例）として取得する。 - 特許庁

To provide a verification device of a program, wherein influence of presence/absence of a verification code on temporal behavior of a code amount or a control system is reduced.例文帳に追加

検証コードの有無がコード量や制御系システムの時間的なふるまいに与える影響を小さくすることができるプログラムの検証装置を提供すること。 - 特許庁

The processing of comparing a game machine control program verification code 121a calculated based on a normal game machine control program 121c with the control program verification code newly calculated based on the game machine control program 121c stored in the storage means 121 at the time of verification is periodically or repeatedly executed or is executed based on command signals.例文帳に追加

正規の遊技機制御プログラム１２１ｃを基に算出した遊技機制御プログラム検証コード１２１ａと検証時に記憶手段１２１が記憶している遊技機制御プログラム１２１ｃを基に改めて算出した制御プログラム検証コードとを比較する処理を、定期的或いは繰返し実行するようにし、又は、指令信号に基づいて実行するようにした。 - 特許庁

A verification code of a card inserted into a card reading unit 24 is compared with a device authentication code stored at the device authentication code storage unit 26 and a specific user code stored at the specific user code storage unit 28.例文帳に追加

カード読取装置２４に挿入されるカードの照合コードは、装置認証コード記憶部２６に記憶された装置認証コードと特定使用者コード記憶部２８に記憶された特定使用者コードと比較される。 - 特許庁

When an acquisition part 114 acquires the development result R, a verification code generation part 117 compiles a source code SC included in the development result R again under the designated development environment Da including a compiler C-1.例文帳に追加

取得部１１６により開発成果物Ｒが取得された場合、検証コード生成部１１７によりコンパイラＣ−１を含む指定された開発環境Ｄａの下で、開発成果物Ｒに含まれているソースコードＳＣを再コンパイルする。 - 特許庁