「コード検証」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

コード検証システムはメモリ（１５）とコード検証器（２０）を含む。例文帳に追加

The code verification system includes memory (15) and a code verifier (20). - 特許庁

印刷装置の識別コード検証機および識別コード検証方法例文帳に追加

IDENTIFICATION CODE VERIFYING MACHINE AND IDENTIFICATION CODE VERIFYING METHOD OF PRINTING DEVICE - 特許庁

識別コードの印刷と検証を別々に行なう場合や、様々なタイプの識別コードの検証を行なう場合に、検証を容易に行なうことができる識別コード検証装置、識別コード検証システム、識別コード検証方法、識別コード検証プログラムを提供することである。例文帳に追加

To provide an identification code verifying device, an identification code verification system, a method of verifying an identification code, and an identification code verification program, which easily perform verification when separately performing printing and verification of an identification code and verifying identification codes of various types. - 特許庁

２次元コード及び該２次元コードによる情報検証システム並びに情報検証方法例文帳に追加

TWO-DIMENSIONAL CODE AND TWO-DIMENSIONAL CODE-RELATED INFORMATION VERIFICATION SYSTEM AND INFORMATION VERIFICATION METHOD - 特許庁

コード表示4.10: ダイジェスト検証の失敗例文帳に追加

Code Listing4.10: Digest verification failure  - Gentoo Linux

検証機能を有する高解像度バーコード及び文書例文帳に追加

HIGH RESOLUTION BARCODE AND DOCUMENT INCLUDING VERIFICATION FUNCTION - 特許庁

バーコード検証システムおよびプリンタドライバ例文帳に追加

BAR CODE VERIFICATION SYSTEM AND PRINTER DRIVER - 特許庁

ソースコード検証処理時間計算装置及び方法例文帳に追加

SOURCE CODE VERIFICATION PROCESSING TIME CALCULATION DEVICE AND METHOD - 特許庁

ソースコード検証管理装置、方法、及びプログラム例文帳に追加

SOURCE CODE VERIFICATION MANAGEMENT DEVICE, METHOD, AND PROGRAM - 特許庁

バーコードプリンター、バーコードプリンターのバーコード読み取り検証方法例文帳に追加

BAR CODE PRINTER AND BAR CODE READING AND VERIFYING METHOD FOR BAR CODE PRINTER - 特許庁

ラベル片に印字されている複数のバーコードの中から読み取り検証すべきバーコードのみを検証機で読み取り可能とするバーコードプリンター、バーコードプリンターのバーコード読み取り検証方法を提供する。例文帳に追加

To provide a bar code printer which enables a verification machine to read and verify only a bar code to be read and verified from a plurality of bar codes printed in a label piece and to provide a bar code reading and verifying method for the bar code printer. - 特許庁

次に、ＥＣが検証コードを受信し、その検証コードがセキュリティコードと適合しているか否かを判定する。例文帳に追加

Then, the EC receives the identification code and determines whether the identification code matches a security code. - 特許庁

モデル検証コード生成部２７は、「ドメイン特化モデルＴｏモデル検証コードマッピングルール」に基づいて、ドメイン特化モデル（検証対象）から、当該システムの仕様を記述したモデル検証コードを生成する。例文帳に追加

A model verification code generation part 27 generates a model verification code wherein the specification of the system is described, from the domain specialization model (the verification target) based on a "domain specialization model To model verification code mapping rule". - 特許庁

ソースコード検証システム２００は、検証対象ソースコード１００をKripke構造モデル３００に変換し、Kripke構造モデル３００に対してモデル検査を行うことにより、検証対象ソースコード１００を検証する。例文帳に追加

This source code verification system 200 converts verification-objective source code 100 into a Kripke structure model 300, model-inspects the Kripke structure model 300, and verifies thereby the verification-objective source code 100. - 特許庁

ソースコード検証処理において、タイムアウト時間の設定を可能にし、ソースコード検証処理の効率を向上させる。例文帳に追加

To improve the efficiency of source code verification processing by setting a time-out time in source code verification processing. - 特許庁

実行チャネルで実行プログラム２６−１、２６−２が実行されると検証コードが生成されて検証コード格納領域２２に格納される。例文帳に追加

When the execution programs 26-1 and 26-2 are executed by an execution channel, a verification code is generated, and stored in a verification code storage area 22. - 特許庁

ネットワーク承認デバイスは、自動でオーディブルなコードを入手してコードを検証する。例文帳に追加

A network-authorizing device automatically captures the audible code and verifies that code. - 特許庁

コンパイル済みのコードの型チェックを行うコード検証システム及び方法を提供する。例文帳に追加

To provide a code verification system and method utilized to type check compiled code. - 特許庁

2/3 文字の地域 (州) コードの検証を行います。例文帳に追加

Validates a 2/3 region (state) code.sample?php// Include the packagerequire_once('Validate/AU.php');$badRegion = 'asdf';$result = Validate_AU::region($badVAT);echo 'Test ' .  - PEAR

デフォルトで地域コードプレフィックスの検証を行う例例文帳に追加

sample with area code prefix testing on by default.  - PEAR

ＩＣカード上に搭載されたシステムのコード変換器の検証方法例文帳に追加

METHOD FOR VERIFYING CODE TRANSFORMER FOR SYSTEM INCORPORATED IN IC CARD - 特許庁

開発環境検証コード判定部１１８により、開発環境の照合用検証コードＡｂａと、開発成果物Ｒに含まれている開発環境検証コードＡｂｂとが一致するか否かを判定する。例文帳に追加

A development environment verification code determination part 118 determines whether the verification code Aba for collation of a development environment matches a development environment verification code Abb, which is included in the development result R, or not. - 特許庁

経路サーバー３は、認証コードＢが正しい認証コードであるか否かを検証し、正しい認証コードであると検証された場合のみ、受信した流通経路情報のレコードを経路テーブルに追加する。例文帳に追加

The route server 3 inspects whether or not the certification code B is correct certification code, and only when it is inspected that it is the correct certification code, the route server 3 adds record of the received circulation route information to a route table. - 特許庁

プリンタ２０は、受信したバーコードを印刷後、バーコード情報に基づいてバーコード検証機１８を制御し、印刷結果に対するバーコード検証結果を得る。例文帳に追加

The printer 20 controls the bar code verification machine 18, based on the bar code information after printing the received bar code, and obtains a bar code verification result with respect to a printed result. - 特許庁

読取り手段による走査・読取りを実施する特定の識別コードに対する読取り開始時間を設けることにより、識別コードの検証制御における負荷を低減した印刷装置の識別コード検証機および識別コード検証方法を提供することを課題とする。例文帳に追加

To provide an identification code verifying machine of a printing device having a reduced load in the verifying control of an identification code by providing a readout start time to the specific identification code which performs scanning and readout by a readout means and to provide an identification code verifying method of the printing device. - 特許庁

検証用符号化データ６がデコードされた期待値画像８は、検証対象２により検証用符号化データ６からデコードされた結果画像７と比較される。例文帳に追加

An expected value image 8 obtained by decoding the encoded data 6 for verification is compared with a result image 7 decoded from the encoded data 6 for verification by a verification target 2. - 特許庁

制限時間内に全てのソースコードの検証を実行し、ソースコード毎に割り付ける検証予定時間の動的な再割り付けを可能とする検証管理装置を提供する。例文帳に追加

To provide a verification management device for executing the verification of all source codes within a limited time, and for dynamically reassigning a verification scheduled time assigned to each source code. - 特許庁

検証装置１１０は、検証プログラム１１１と、シナリオデータ１１２と、反復条件データ１１３と、制御コード情報１１４と、を備えている。例文帳に追加

The verification apparatus 110 is provided with a verification program 111, scenario data 112, iteration condition data 113, and control code information 114. - 特許庁

モデル検査技法を利用してソースコードの検証を行う処理系において、検証効果が高くなる関数を自動選択する。例文帳に追加

To automatically select a function having high verification effect, in a processing system for performing verification of a source code by use of model inspection technique. - 特許庁

ＬＳＩの論理検証におけるテストコードの再利用性の向上、及び論理検証の効率化を図る。例文帳に追加

To improve the reusability of a test code in the logic verification of an LSI, and to improve the efficiency of logical verification. - 特許庁

検証支援処理回路２２は、その状態コードの履歴を取得して、電子回路検証装置２００へ送信する。例文帳に追加

The verification support processing circuit 22 acquires and transmits the status code history to the electronic circuit verification device 200. - 特許庁

そして、特定された範囲を検証範囲とすることで、特定の振る舞いに関連したコードのみについて部分的に検証する。例文帳に追加

Then, partial verification is made only to codes relative to specific behavior, by regarding the specified range as the verification range. - 特許庁

複数表示された情報コードの検証時間を短縮し得る光学的情報検証機を提供する。例文帳に追加

To provide an optical information verification machine capable of shortening a verification time of a plurality of displayed information codes. - 特許庁

ソースコード検証部は、フラット化されたソースコードにソースコード検証手法を適用し、得られたエラートレースをエラートレース記憶部に格納する。例文帳に追加

The source code verification part applies a source code verification method to the flatted source code to store the obtained error trace in an error trace storage part. - 特許庁

ラベル片に印字されている複数のバーコードの中から読取り検証すべきバーコードのみを検証機で読取り可能とするバーコードプリンターの提供することを課題とする。例文帳に追加

To provide a bar code printer capable of reading only a bar cord which should be read and verified from a plurality of bar codes printed on a label piece by a verification machine. - 特許庁

汎用のアプリケーションプログラムを使用してバーコードを印刷しても、バーコード検証機を搭載したプリンタでバーコード検証機を制御可能とする。例文帳に追加

To control a bar code verification machine by a printer mounted with the bar code verification machine, even if printing bar codes by the use of a general-purpose application program. - 特許庁

光学的情報検証機２０の検証対象である用紙１２では、他の情報コードのコード種別および表示面に対する表示位置が非公開データとして含まれる一部非公開コードであるＱＲコード（情報コードＣ１）が、表示面１３に表示されている。例文帳に追加

A QR code (an information code C1), or a partially non-disclosed code, in which code types of other information codes and display positions on a display surface are included as nondisclosure data, is displayed on a display surface 13 of a sheet 12 that is a verification object of an optical information verification machine 20. - 特許庁

さらにプリンタ２０に対して、バーコードのビットマップデータとともに、バーコード検証機１８を制御するときに使用するバーコードの種類やコード、大きさ、位置などのバーコード情報を送信する。例文帳に追加

Furthermore, the host computer transmits to the printer 20 bar code information that includes the kind, a code, size, and a position, or the like, of the bar code used, when the bar code verification machine 18 is controlled. - 特許庁

問題のある検証用コードを受け取った場合でも直ちにデータ送出を停止せず何事もなかったかの用に振る舞い、更に数回の検証用コード受信後に停止することにより、いずれの検証用コードに不具合があったのかを外部には容易には判らない様にする。例文帳に追加

Even if a code for verification which has a problem is received, the system does not stop data transmission immediately, but behaves as usual and stops when the code for verification is further received several times, so that which code for verification has a problem can not easily be known to the outside. - 特許庁

また、クライアント側での検証を行いたい場合は、必要な javascript コードが生成されます。例文帳に追加

If you want client-side validation, QuickForm can generate the javascript code needed.  - PEAR

例えば、名前をエンコードする前にアドレスの検証をしたい場合などにこれをOff にします。例文帳に追加

Turn this off if you need to run addresses through before encoding the personal names, for instance.  - PEAR

コードカバレッジ計測をエミュレーションにおいて実行することができる回路検証装置を提供する。例文帳に追加

To provide a circuit verification apparatus executing code coverage measurement in emulation. - 特許庁

正しさの検証は、並列コードについては、その複雑さのために重要な問題である。例文帳に追加

Verification of correctness is an important issue for parallel code because of its complexity. - 特許庁

モデル生成装置、モデル生成方法、ソースコード検証システムおよびプログラム例文帳に追加

MODEL CREATION DEVICE, MODEL CREATING METHOD, SOURCE CODE VERIFICATION SYSTEM AND PROGRAM - 特許庁

データを画像にデコードするデコーダーを検証するために適切な符号化データを生成すること。例文帳に追加

To generate encoded data appropriate for verifying a decoder that decodes data into an image. - 特許庁