「specification code」に関連した英語例文の一覧と使い方(3ページ目) - Weblio英語例文検索

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).例文帳に追加

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

A compiler adds a new conversion rule, corrects an activity diagram specification in a UML, and converts the source code of the program into a corresponding activity diagram.例文帳に追加

コンパイラは新しい転換規則を追加し、ＵＭＬプログラム言語中のアクティビティダイアグラム規格を修正し、プログラムの原始コードを対応するアクティビティダイアグラムに転換する。 - 特許庁

Manufacture process information J1 is transmitted from a manufacture process host 11 to a wafer test host 21 and the wafer test host 21 refers to a correspondence chart 212, and decides a wafer specification code J2.例文帳に追加

製造プロセスホスト１１よりウェハテストホスト２１へ製造プロセス情報Ｊ１を送信し、ウェハテストホスト２１は対応表２１２を参照し、ウェハスペックコードＪ２を決定する。 - 特許庁

To generate source code that designers and others can check efficiently from a specification file created with spreadsheet software where the designers and others can check specifications easily.例文帳に追加

設計者などが容易に仕様を確認できる表計算ソフトで作成した仕様書ファイルから、設計者などが効率的に確認できるソースコードを生成する。 - 特許庁

This function execution information collection device is suitable for supporting the specification of any unnecessary code which may exist in the program integrated in the in-vehicle ECU.例文帳に追加

本発明による機能実行情報収集装置は、車載ＥＣＵに組み込まれたプログラム中に存在しうる不要なコードを特定することを支援するのに好適である。 - 特許庁

To enable a user to insert a print request of an optical selection by a user setting specification, such as a bar code, a letterhead, a logo, with respect to an original document at printing execution.例文帳に追加

ユーザが印刷実行時に原始文書に対してバーコード、レターヘッド、ロゴ等のユーザ設定仕様による任意選択の印刷要求を差し込むことができるようにする。 - 特許庁

A video file is divided into video property information and MPEG2 video data and the video property information contains a genre code and a plurality of pieces of musical piece specification information.例文帳に追加

映像ファイルは映像属性情報とＭＰＥＧ２映像データに分かれ、映像属性情報は、さらにジャンルコードと、複数の楽曲指定情報とが格納されている。 - 特許庁

The wafer test host 21 transmits the wafer specification code J2 to an electrical inspection device 22, and the electrical inspection device 22 selects a test program and then executes the electrical inspection.例文帳に追加

ウエハテストホスト２１は電気的検査装置２２へウェハスペックコードＪ２を送信し、電気的検査装置２２はテストプログラムを選定した上で電気的検査を実行する。 - 特許庁

Thereby, the error of the GUI screen and a part of a source code having been executed when the error occurs become clear, so that the specification of the cause of the error becomes easy.例文帳に追加

これにより、ＧＵＩ画面のエラーとエラーを発生した時に実行されていたソースコードの箇所が明らかとなり、エラーの発生原因の特定が容易になる。 - 特許庁

At that time, by discriminating the presence of the code specification data inputted accompanied with the performance signal or the automatic performance signal, the mode of the vocal harmony is switched automatically.例文帳に追加

その際、演奏信号或い自動演奏信号に伴って入力されるコード指定データの有無を判別することにより、ボーカルハーモニーのモードが自動的に切り換えられる。 - 特許庁

A pattern matching part matches the test pattern generated from the formal specification with the stored pattern, and inserts the corresponding program code into the test program.例文帳に追加

パターンマッチ部は、形式的仕様から生成されたテストプログラムに対して、格納されているパターンとのマッチングを行い、対応するプログラムコードをテストプログラムに挿入する。 - 特許庁

The central unit 10 receives a code string found from specification information specifying characters to make them compete and Web pages from a terminal 20 (S306), extracts points recorded in association with the code string received (S309) and adds the points extracted to the score of the character specified by the specification information (S310).例文帳に追加

中央装置１０では、競争させるキャラクタを指定する指定情報及びウェブページから見つけ出された符号列を、端末装置２０から受信し（Ｓ３０６）、受信した符号列に対応付けて記録されている点数を抽出し（Ｓ３０９）、抽出した点数を、指定情報により指定されるキャラクタの得点に加算する（Ｓ３１０）。 - 特許庁

When the subscriber side specifies this access destination specification information P, the code information (a) and non-specification attribute information Np are reported to the information gathering server 30, which sends the address of the homepage corresponding to the code information (a) back, so that the information processor 11 accesses the homepage having the address A on a web server 40.例文帳に追加

講読者側がこのアクセス先指定情報Ｐを指定操作すると、コード情報ａと非特定属性情報Ｎｐとが情報収集用サーバ３０に通知され、情報収集用サーバ３０からコード情報ａに対応するホームページのアドレスＡが返送されて、情報処理装置１１がウェブサーバ４０上のアドレスＡのホームページにアクセスする。 - 特許庁

A program is then generated which includes functions 310 to 340 for the respective calculation formula cells of the specification file 10 read in each including source code depending on the calculation formula described in the calculation formula cell to implement the calculation specification described in the associated specification description cell, and a main processing part 340 for calling the generated functions.例文帳に追加

読み込んだ仕様書ファイル１０の計算式セルごとに、それぞれの計算式セル内に記述されている計算式に従うソースコードを含み、対応する仕様記述セルに記述された計算仕様を実現する関数３１０〜３４０と、生成された関数の呼出を行うメイン処理部３４０を含むプログラムを生成する。 - 特許庁

When a code to carry out an attack of specific magic for example is drawn by the touch pen, a method-specification system determination section 15d determines a direction, a line or a range as a specification system of an attack and an effect of specific magic by referring to a magic recognition table.例文帳に追加

タッチペンで例えば特定の魔法の攻撃を行うための符号を描くと、方法・指定方式決定部１５ｄは、魔法認識テーブルを参照して特定の魔法の攻撃および効果の指定方式として方向，ライン，範囲の何れかを決定する。 - 特許庁

The link unit 110 stores acquired commodity specification information 130 and device specification information 131 into the link file 141 in association with each other regardless of whether or not the commodity represented by the read commodity code is registered in the commodity master 140.例文帳に追加

このとき読み取られた商品コードが示す商品が商品マスタ１４０に登録されているか否かにかかわらず、リンク部１１０は、取得された商品指定情報１３０と装置指定情報１３１とを対応付けして、リンクファイル１４１に格納する。 - 特許庁

To enable retrieval of a desired program code from a semantic specification, formal semantic specifications of programs and formal certifications capable of inspecting whether the programs satisfy specifications for assuring the validation of programs (specification satisfying property) are simultaneously accumulated in the programs.例文帳に追加

意味仕様から所望のプログラムコードを検索すること可能にするためにプログラムにその形式的意味仕様を，またプログラムの正しさ（仕様充足性）を保証するために仕様を満たすことの検査可能な形式的証明を，プログラムに同時に蓄積する。 - 特許庁

To provide an ordering and order-receiving support system capable of improving the convenience for an orderer and a manufacturer, and allowing the easy and precise specification of a commodity by converting an ordering code to a manufacturing code by use of a computer.例文帳に追加

コンピュータを用いて発注用コードを製造用コードに変換することにより、発注者及び製造業者の利便性を向上させ、さらに、容易に且つ正確に商品を特定することができる受発注支援システムを提供する。 - 特許庁

Image data is received, a specification code for specifying a transmitting destination is acquired based on the image data, and an IC code for specifying an owner stored in an IC card 60 owned by a person who is present in a predetermined area is read in no contact.例文帳に追加

画像データを受信し、その画像データに基づいて送信先を特定する特定コードを取得し、所定領域内にいる人間が所有するＩＣカード６０に記憶された所有者を特定するＩＤコードを非接触で読み取る。 - 特許庁

A character recognition part 13 reads pieces Ca, Cb, etc., of code digit number information on a document P by using digit number information read FC 102 inputted from an FC management part 12 and sends out its character-recognized numerical value data as digit specification information 104 representing the number of digits of the bar code to a bar code read part 14.例文帳に追加

文字認識部１３は、ＦＣ管理部１２より入力した桁数情報読取ＦＣ１０２を用いて帳票Ｐ上のバーコード桁数情報Ｃａ，Ｃｂ，…を読み取り、その文字認識した数値データをバーコードの桁数を表す桁指定情報１０４としてバーコード読取部１４に送出する。 - 特許庁

When there is possibility that the code pattern of a portion of a first bar code B_1 may be read as a second bar code B_2, reading is carried out by applying a reading algorithm with second specification to a contrast pattern column, and whether or not a bar region for decision exists in at least one of both end sides of the contrast pattern column is decided.例文帳に追加

第１バーコードＢ_１の一部のコードパターンが、第２バーコードＢ_２として読み取れる可能性がある場合に、明暗パターン列に対して第２規格の読み取りアルゴリズムを適用して読み取りを行うとともに、明暗パターン列の両端側の少なくとも一方に判定用バー領域が存在するか否かを判定する。 - 特許庁

When data present in the position to specify the character boundary in the inputted character code string are included in a character code of a four-byte part of GB18030, the character boundary specification processing part 30 collates the data with the character kind table 40, decides the character code including the data, and specifies the character boundary.例文帳に追加

この文字境界特定処理部３０は、入力した文字コード列における文字境界を特定すべき位置にあるデータがＧＢ１８０３０の４バイト部の文字コードに含まれる場合に、このデータと文字種別表４０との照合とを照合して、このデータが含まれる文字コードを判別し、文字境界を特定する。 - 特許庁

A retrieval keyword input part 1 requests retrieval from the keyword-retrieval database 3 based upon an inputted keyword, a classification code specification part 4 specifies a special classification code with high correlation according to the retrieval result and requests retrieval from the special classification code database 5 according to the specific special classification code, and a retrieval result output part outputs the retrieval result.例文帳に追加

検索用キーワード入力部１は、入力した検索用キーワードに従って、キーワード検索データベース３に対して検索を要求し、分類コード特定部４は、検索結果より、相関度の高い特殊分類コードを特定し、特定した特殊分類コードに従って、特殊分類コードデータベース５に対して検索を要求し、検索結果出力部は、検索結果を出力する。 - 特許庁

The display means includes a user area where article specification buttons for specifying articles to which no bar code is given are arranged to display a basic picture in reading standby of the bar codes.例文帳に追加

表示手段は、バーコードの付与されていない商品を指定する商品指定ボタンが配置されたユーザ領域を含み、バーコードの読み取り待機時の基本画面を表示する。 - 特許庁

The second memory area is an unused area at factory shipping, and it additionally stores a new code whenever the specification is changed in the progress after factory shipping.例文帳に追加

第２の記憶領域は工場出荷時においては未使用領域であり、工場出荷後の経過において仕様変更が行われる度に新たなコードを追加的に記憶していく。 - 特許庁

To provide a software development support method for supporting generation of source code to develop software which suits a requirement specification, in order to effectively perform development of software.例文帳に追加

ソフトウエアの開発を効率良く行うための、要求仕様に適合したソフトウエアを開発するためにソースコードを作成するのを支援するソフトウエア開発支援方法を提供する。 - 特許庁

An execution control instruction having a condition field 42 for specifying an execution condition and an instruction specification field 43 for specifying the number of instructions to be executed at their execution by a binary code is adopted.例文帳に追加

実行条件を指定する条件フィールド４２と、実行制御の対象命令の数をバイナリコードで指定する命令指定フィールド４３とを持つ実行制御命令を採用する。 - 特許庁

A memory address selection means 109 selects any one of them, on the basis of a signal from the code length specification signal generating means 114 and gives it to the memory circuit 111.例文帳に追加

メモリアドレス選択手段１０９は、符号長特定信号生成手段１１４からの信号に基づいて、いずれか１つを選択し、それをメモリ回路１１１に供給する。 - 特許庁

This system retrieves a building facilities device specification database 100 with a building facilities management number, the number of a machine and a construction code which are inputted as retrieval keys and acquires a device type name.例文帳に追加

本システムは、入力されたビル設備管理番号、号機、及び工事コードを検索キーとして、ビル設備機器仕様データベース１００を検索し、検索データとして機器型名を取得する。 - 特許庁

In a performance configuration, the skeleton code generator 130 automates the creation of the program file, the creation of a header within the program file, the copy of comments requested in the software design specification 110, functions requested by the software design specification 110, and the declaration of class attributes.例文帳に追加

一実施形態では、スケルトンコードジェネレータ１３０は、プログラムファイルの作成、プログラムファイル内のヘッダの作成、ソフトウェア設計仕様１１０で要求されるコメントの複製、並びにソフトウェア設計仕様１１０により要求される関数及びクラス属性の宣言を自動化する。 - 特許庁

To provide an automatic programming device for a control program, capable of attaining the consistency of a specification with a source code by describing all the functions of the whole program, in processing flow information in a program specification to control calling of the function, and capable of enhancing the efficiency and maintainability in system development.例文帳に追加

全プログラムの全ての関数を、プログラム仕様情報内の処理フロー情報に記述して関数の呼び出しを管理することで仕様書とソースコードの整合性を図り、システム開発の効率化と保守性の向上を実現した制御プログラム自動作成装置を得る。 - 特許庁

A communication device as a component of the on-vehicle device receives a service code through communication with a road-side device at a service spot (S215), and a navigation device as a component of the on-vehicle device stores position specification information in a storage part with the service code (S230).例文帳に追加

車載装置を構成する通信装置は、サービス提供場所で路側装置と通信を行うことによってサービスコードを受信し（Ｓ２１５）、車載装置を構成するナビゲーション装置は、サービスコードと共に位置特定情報を記憶部に記憶する（Ｓ２３０）。 - 特許庁

This automobile sales supporting device is provided with a specification selection means setting the custom car comprising a combination of a plurality of options according to the operation of a user terminal 2 and a code setting means setting a commodity designation code to the custom car when the commodity designation code is not set for the commodity comprising the same combination of options as the set custom car.例文帳に追加

ユーザ端末２の操作に応じて複数の選択肢の組み合わせからなる個別仕様車を設定する仕様選定手段と、設定した個別仕様車と同じ選択肢の組み合わせからなる商品に商品指定コードが設定されていないときには、その個別仕様車に対して商品指定コードを設定するコード設定手段とを備える。 - 特許庁

The program volume is reduced by decreasing the bit length of the instruction code 108 in ROM 101 by determining the actual specification address on RAM 102 from a relative address specifying code value which is contained in the instruction code 108 to access data existing in the RAM 102 and the offset value which is set in an offset register 107 before hand.例文帳に追加

ＲＡＭ１０２上に存在するデータをアクセスする命令コード１０８に含まれる相対アドレス指定コードの値とあらかじめオフセットレジスタ１０７に設定しておいたオフセット値との演算によりＲＡＭ１０２上の実指定アドレスを決定することで、ＲＯＭ１０１上の命令コード１０８のビット長を減らしプログラム容量を削減する。 - 特許庁

A mobile telephone set 30Y of the claimant Y acquires transfer destination account specification information from an account information storage part 54 and a transfer amount of money from a key input part 38 through a bar code display part 521 and generates a two-dimensional bar code C obtained by coding those pieces of information and displays it at a display part 36.例文帳に追加

請求人Yの携帯電話機30Yにおいて、バーコード表示部521により口座情報記憶部54から振込先口座特定情報を、キー入力部38から振込金額を取得し、これらの情報を符号化した２次元バーコードCを生成しディスプレイ部36に表示する。 - 特許庁

In an IC card issuing machine S2, the disk identification code is read from the optical disk DK, the descramble function is read from the memory device 11, and a deformed descramble function is generated, based on a reproducing apparatus specification code inputted by a demander, and recorded on an IC card C.例文帳に追加

ＩＣカード発行機Ｓ2では、光ディスクＤＫからディスク識別コードを読取るとともに、メモリ装置１１から逆スクランブル関数を読み出し、需要者の入力する再生装置特定コードに基づいて変形逆スクランブル関数を生成し、ＩＣカードＣに記録する。 - 特許庁

A broadcast identification information specification section 1125 specifies a broadcast station identification code or the like from the broadcast channel number on the basis of a preset reception condition and records the specified broadcast station identification code or the like to the management information area in the DVD-RAM corresponding to the recorded program.例文帳に追加

放送識別情報特定部１１２５は予め設定された受信条件に基づき放送チャンネル番号から放送局識別コード等を特定し、先に記録した番組と対応するＤＶＤ−ＲＡＭ内の管理情報領域中に、特定した放送局識別コード等記録する。 - 特許庁

When a terminal device 3 installed in a store of car wash business or the like is used to access the server 1 via the Internet 2, the specification of a corresponding automobile model and the like captures data of a two-dimensional code C in which corresponding car wash information is recorded, and prints the two-dimensional code C on a card 7.例文帳に追加

洗車事業者の店舗に設置される端末装置３などからインターネット２を介して、サーバ１にアクセスし、該当する車種名等を指定して、それに応じた洗車情報を記録した二次元コードＣのデータを得、二次元コードＣをカード７に印刷する。 - 特許庁

This system is equipped with an advertisement browser specification code issuing device, an advertisement identifier issuing device, an advertisement browsing information recording device, a purchase information recording device, and an advertisement browser evaluating device.例文帳に追加

このシステムは、広告閲覧者特定コード発行装置と、広告識別子発行装置と、広告閲覧情報記録装置と、購買情報記録装置と、広告閲覧者評価装置とを備える。 - 特許庁

The diagram constructed in the Design view is automatically generated into BPEL source code compliant with the WS-BPEL 2.0 specification with the exceptions listed in the BPEL 2.0 Language Constructs section of the BPEL Service Engine User's Guide. 例文帳に追加

デザインビューで作成した図から、WS-BPEL 2.0 仕様に準拠する BPEL ソースコードが自動的に生成されます。 その例外については、『BPEL サービスエンジンユーザーガイド』の「BPEL 2.0 言語構文」の節に一覧表示されています。 - NetBeans

To enable specification without omission and customizing process for influenced portions following correction without referring to a source code in program correction work, and to increase the efficiency of the program correction work.例文帳に追加

プログラム修正作業に際して、ソースコードの参照なしに、修正に伴う影響箇所についての漏れのない特定とカスタマイズ処理を可能とし、プログラム修正作業の効率化を実現する。 - 特許庁

Since the command 200 is common among the drive manufacturers, only a common code 202 is included therein to request the error information, and a specification of a collected data is set individually in every of the drives 10.例文帳に追加

このコマンド２００はドライブメーカ間で共通とするため、エラー情報を要求することを表す共通のコード２０２を含むだけで、収集するデータの仕様は、ドライブ１０毎に独自に設定する。 - 特許庁

A skeleton code generator 130 generates a program file 140 by scanning a software design specification 110 by using a design rule 120 and obtaining factors provided to a complete software system.例文帳に追加

スケルトンコードジェネレータ１３０は、設計ルール１２０を用いてソフトウェア設計仕様１１０をスキャンし、完成したソフトウェアシステムに提供されるべき要素を取得して、プログラムグラムファイル１４０を生成する。 - 特許庁

A game or an interactive application is developed and compiled into an executable target specification program code sufficiently using the resources and sound processing capabilities of a target digital television receiver such as an OSD future.例文帳に追加

ゲーム又は対話式アプリケーションは、開発されて、ＯＳＤフィーチャのようなターゲットデジタルテレビ受信器の資源及びサウンド処理能力を充分に利用する実行可能ターゲット特定プログラムコードにコンパイルされる。 - 特許庁

Extensible Business Reporting Language (XBRL), formerly code-named XFRML, is an open specification which uses XML-based data tags to describe financial statements for both public and private companies. 例文帳に追加

XML利用ビジネスレポーティング言語(XBRL)は、以前XFRMLのコード名がつけられていたが、公共および私的企業のどちらにも適用できる財務報告書を記述するためのXMLベースのデータタグを用いるオープン仕様の一つである。 - コンピューター用語辞典