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

This starting controller applied to function-extendible various equipment is provided with a control means 1 for selecting whether program execution is achieved by ROMs 2 and 10, or achieved after being developed to RAMs 3 and 11 according to the size of a mounted memory.例文帳に追加

機能拡張が可能な各種機器に適用される起動制御装置であって、搭載するメモリサイズによって、プログラム実行をＲＯＭ２、１０で行うかＲＡＭ３、１１に展開して行うかを選択する制御手段１を備えた。 - 特許庁

An IN service start execution means is provided, which executes call processing by a call originated from a subscriber and monitors the start timing of IN services and operates the exchange on the basis of a control instruction from a service controller after the start of IN services.例文帳に追加

加入者からの発呼によって呼処理を実施し、ＩＮサービスの起動契機を監視し、ＩＮサービス起動後にサービス制御装置からの制御指示に基づいて交換機を動作させるためのＩＮサービス起動実行手段を具える。 - 特許庁

To provide a scenario execution means and a scenario server device for performing service cooperative control processing in consideration of priority even when a plurality of enterpriser independently develop a service in the case of newly adding a service and ro perform a scenario server device.例文帳に追加

新たにサービスを追加する際に、複数の事業者が互いに独立してサービスを開発する場合であっても優先度を考慮したサービス連携制御処理を行うことができるシナリオ実行方法、及び、シナリオサーバ装置を提供する。 - 特許庁

Thus, even when an article to be metered or the other articles are erroneously introduced from an upper side of the hopper during the execution of zero-point adjustment, the article drops downwardly, passing through the hopper, so that no excessive weight is applied to a weight-detecting means.例文帳に追加

このため、零点調整の実行中にホッパの上方から間違って被計量物その他の物品が投入された場合にも、当該物品はホッパを通過して下方へ落下し、重量検出手段には余計な重量が加わることがない。 - 特許庁

Also, the action class loaded on the memory is stored in an action class storage means, and when the execution object action class has been already stored, the action class is not newly loaded, and the action functions corresponding to the stored action class are executed.例文帳に追加

また、前記メモリ上にロードしたアクションクラスを、アクションクラス格納手段に格納しておき、実行するアクションクラスが格納済みの場合は、新たにアクションクラスのロードを行わずに、格納済みのアクションクラスに対応するアクション関数を実行する。 - 特許庁

On receiving a start instruction for a program for debugging sent from a communication part 1, program-for-debugging start instruction distribution means 61, 71 distribute a received program for debugging regarding the execution unit specified by the start instruction.例文帳に追加

デバッグ用プログラム起動指示振り分け手段６１、７１は、通信ポート１より送られてくるデバッグ用プログラムの起動指示を受信すると、この起動指示により指定されている実行ユニットに対して受信したデバッグ用プログラムを振り分ける。 - 特許庁

The audit execution part checks whether or not the resources which are being captured by the resource managing means are legally used and outputs an instruction for releasing a resource which is not legally used to the resource management part when there is the resource which is not legally used, to release it.例文帳に追加

オーディット実行部は、リソース管理手段で捕捉中のリソースがリソースユーザ部１１１で正当に使用されているか否かチェックし、正当に使用されていないリソースがあれば、当該リソースの解放指示をリソース管理部に出力し解放させる。 - 特許庁

A composite performance execution means executes a composite performance for which a dependent performance form depending on a basic performance form and an independent performance form independent of the basic performance form are combined with the basic performance form as a performance form.例文帳に追加

複合演出実行手段は、演出態様として、基本演出態様に依存した依存演出態様と、基本演出態様に依存されない非依存演出態様と、を基本演出態様に複合させた複合演出を実行する。 - 特許庁

In response to the notification, only the data of effective records in the block are copied to the storage medium based on an instruction from the execution means, which is issued when the transfer condition of the application is satisfied, and data of the block as a data copy source are erased.例文帳に追加

そして、通知を受け、アプリケーションの移行条件と合致することでなされる実行手段からの指示に基づき、該当するブロックの有効なレコードのデータのみを、記憶媒体にコピーするとともに、データコピー元のブロックのデータを消去する。 - 特許庁

In addition, when control is performed to an advantageous game state, the execution of the specific performance to determine whether or not the variable display pattern of the identification information of a first variable display means serves as the specific variable display pattern is restricted.例文帳に追加

また、有利遊技状態に制御されているときには、第１の可変表示手段における識別情報の可変表示パターンが特定の可変表示パターンとなるか否かを判定対象とした特定演出の実行を制限する。 - 特許庁

The application program executing means determines whether detection data obtained by attitude detection by the attitude detection means or data obtained by computing them are within a predetermined range during execution of a first application program, and, when it is determined that the data are within the predetermined range, performs application switching processing for executing a second application program.例文帳に追加

そして、上記アプリケーションプログラム実行手段は、第１アプリケーションプログラムの実行中に姿勢検知手段による姿勢検知によって得た検知データ又はこれを演算したデータが所定範囲内であるか否かの判断を行うとともに、所定範囲内であると判断したときには第２アプリケーションプログラムを実行するアプリケーション切換処理を行う。 - 特許庁

Then, an erasure confirmation means 74 compares the management information read by the management information reading means 72 with a predetermined erasure confirmation criterion, thus decides a method for executing erasure confirmation processing, and performs erasure confirmation processing for the erased data stored in the HDD 90 by the decided execution method.例文帳に追加

そして、消去確認手段７４は、管理情報読み出し手段７２により読み出された管理情報と、予め設定された消去確認条件とを比較することにより、消去確認処理の実行方法を決定し、決定された実行方法によりＨＤＤ９０内に格納された消去済みデータの消去確認処理を行う。 - 特許庁

When an image processing apparatus receives a processing flow containing processing to store data in a storage means where specific setting is registered and execution of processing based on the received processing flow is directed, the apparatus executes the processing if the specific setting is registered in its own storage means, and if it is not registered, the apparatus notifies a user of that.例文帳に追加

特定の設定が登録された記憶手段へデータを格納する処理が含まれている処理フローを受信し、受信された処理フローに基づく処理の実行が指示されると、 画像処理装置は、自身の記憶手段に特定の設定が登録されている場合には、当該処理を実行し、登録されていない場合には、その旨をユーザに通知する。 - 特許庁

When the wireless terminal 100 is first started, an authentication execution means 102 gives a connection request to an authentication server 200 based on the preliminary authentication information installed in advance to authentication information data 101, a wireless terminal authentication means 201 of the authentication server 200 collates the data 101 with preliminary authentication information data 203 to admit a connection permission.例文帳に追加

無線端末１００が初めて起動されると、認証情報データ１０１に事前にインストールされたプレ認証情報に基づいて、認証実行手段１０２が認証サーバ２００に接続要求を出し、認証サーバ２００の無線端末認証手段２０１が、プレ認証情報データ２０３と照合し、接続許可を出す。 - 特許庁

In the source program verification program requiring execution of a pre-processing instruction in translating a source program is provided with, for the macro-substituted display in the source program after pre-processing, a means for embedding characters representing the macro before and after the sequence of the macro substituted, and a means for obtaining information showing macro substitution from the characters representing the macro.例文帳に追加

ソースプログラムを翻訳する段階にて、前処理指令の実行を必要とするソースプログラム検証プログラムであって、前処理後ソースプログラムでのマクロ置換表示は、マクロの置換の並びの前後にマクロを示す文字を埋め込む手段と、そのマクロを示す文字からマクロ置き換えしたことを示す情報を得る手段を設けたものである。 - 特許庁

In this automatic testing system, since a periodical command execution means 108 periodically executes a debugger command and a fault detection means 110 detects the occurrence of a fault on the basis of the state transition of a real time OS which is received from a debugging monitor 124, surely detect the occurrence of the fault in the exchange application program 121.例文帳に追加

周期コマンド実行手段１０８により、周期的にデバッガのコマンドを実行して、デバッグモニタ１２４から受信したリアルタイムＯＳの状態遷移により、障害検出手段１１０が障害発生を検出するようにしたので、効率よく確実に交換アプリケーションプログラム１２１の障害発生を検出することができる。 - 特許庁

To reduce the cost of a game machine by simplify-ng the wiring relation to the execution of processing for the time of power supply stop, and to enable a game control means and a putout control means to surely execute initialization corresponding to an operation to a clear switch in the game machine wherein a game control board and a putout control board are separately provided.例文帳に追加

遊技制御基板と払出制御基板とが別個に設けられた遊技機において、電力供給停止時処理の実行に関わる配線を簡略化して遊技機のコストを低減させるとともに、クリアスイッチに対する操作に応じて遊技制御手段と払出制御手段とが確実に初期化処理を実行することができるようにする。 - 特許庁

The special results include the one accompanied by the operation of a condition device and the one not accompanied by that, and the special game execution means (game controller 100) includes an operation form setting means (game controller 100) for setting the operation form of the special variable winning device (first variable winning device 15 and second variable winning device 16) on the basis of the kind of the special result.例文帳に追加

特別結果に条件装置の作動を伴うもの伴わないものを含み、特別遊技実行手段（遊技制御装置１００）は特別結果の種類に基づき特別変動入賞装置（第１変動入賞装置１５、第２変動入賞装置１６）の動作態様を設定する動作態様設定手段（遊技制御装置１００）を備える。 - 特許庁

A control unit 30 of the control device 3 functions as a setting means 300 for setting a review process among processes included in the work flow to a work flow management table 312A and as a job control means 302 for controlling the execution of the work flow so that a plurality of exclusive processes are executed in accordance with an input order of a plurality of items of the document data.例文帳に追加

ジョブ制御装置３の制御部３０は、ワークフローに含まれるプロセスのうちレビュープロセスをワークフロー管理テーブル３１２Ａに設定する設定手段３００、及び複数の文書データの入力順序に従って複数の排他的プロセスが実行されるように、ワークフローの実行を制御するジョブ制御手段３０２等として機能する。 - 特許庁

A system program executes, as an execution preparation processing of a control operation of a PLC, a processing for generating a reception buffer to store received input data in storage means and a processing for generating, for each of input data referred to by a control program, an input synchronization buffer made into the reference destination of the input data by the control program in the storage means.例文帳に追加

システムプログラムは、ＰＬＣの制御動作の実行準備処理として、受信された入力データを格納する受信バッファを記憶手段内に生成する処理と、制御プログラムから参照される入力データごとに、その制御プログラムが入力データの参照先とする入力同期バッファを記憶手段内に生成する処理とを実行させる。 - 特許庁

Thereafter, the command control means 13 requires second authentication data of the user by use of a second authentication means 12 when receiving the switch command, performs second authentication processing according to the second authentication data when the second authentication data are input by the user, and makes the command having the execution restriction executable when succeeding in the second authentication processing.例文帳に追加

その後、切替コマンドを受け付けると、コマンド制御手段13は第２の認証手段12を用いてユーザに対して第２の認証データを要求し、ユーザによって第２の認証データが入力されると、それに従って第２の認証処理を行い、第２の認証処理に成功した場合は、実行制限のあるコマンドを実行可能にする。 - 特許庁

An overlap display control means having a display control means controls to make the overlap identification information obtained by overlapping a plurality of pieces of identification information appear in a specified area in the execution process of display games, and then, move a part or the whole of the identification information contained in the overlap identification information to other surrounding areas.例文帳に追加

表示制御手段の有する重畳表示制御手段は、複数の識別情報が重畳された重畳識別情報を表示遊技の実行過程で特定領域に出現させた後、この重畳識別情報に含まれている一部または全部の識別情報を他の領域に移動させる移動制御を行う。 - 特許庁

The testing device includes: a test execution means that executes testing including one or more test items selected from among a plurality of test items as an object to be executed to a device to be tested concerning each of the test items by using one or more measuring instruments; and a test item display means that indicates a test image including one or more selected test items.例文帳に追加

複数の試験項目から実行対象として選択された１つ以上の試験項目を含む試験を、試験項目毎に、１つ以上の測定器用いて、被試験器に対して実行する試験実行手段と、選択された１つ以上の試験項目を含む試験画像を表示する試験項目表示手段と有する。 - 特許庁

Under the selected special favor carry-over mode in which the state of a selected specified special favor is continued by the selected special favor carry-over means, a lottery subject decision means is further provided to allow the execution of the internal lottery covering as subjects all game special favors containing those other than the selected special favor.例文帳に追加

この既選出特別特典持越手段により特定の特別特典が選び出された状態が継続している既選出特別特典持越状態では、既選出特別特典とは別の前記特別特典を含む全ての遊技特典を抽選対象として前記内部抽選を実行させる抽選対象決定手段をさらに備える。 - 特許庁

To make execution environment of an information process suitable in an image forming device executing various information processes, by using not only a storage means equipped in the image forming device but also a storage means equipped in various devices connected to the image forming device as a storage destination for information related to the information process.例文帳に追加

種々の情報処理を実行する画像形成装置につき、当該情報処理に係る情報の記憶先として、当該画像形成装置に装備された記憶手段だけでなく、当該画像形成装置に接続された種々の機器に装備された記憶手段までも利用できるようにして、当該情報処理の実行環境を好適化する。 - 特許庁

An overlap display control means having a display control means controls to make the overlap identification information obtained by overlapping a plurality of pieces of identification information appear in a specified area in the execution process of display games and move a part or the whole of the identification information contained in the overlap identification information to other areas.例文帳に追加

表示制御手段の有する重畳表示制御手段は、複数の識別情報が重畳された重畳識別情報を表示遊技の実行過程で特定領域に出現させた後、この重畳識別情報に含まれている一部または全部の識別情報を他の領域に移動させる移動制御を行う。 - 特許庁

The information processing medium includes a plurality of antennas for transmitting/receiving signals, a storage means for storing a plurality of applications, and an application execution means for selecting one application from the plurality of applications according to the signal receiving states of respective antennas, and executing the selected application based on a received signal received by a predetermined antenna.例文帳に追加

情報処理媒体は、信号を送受信するための複数のアンテナと、複数のアプリケーションを記憶する記憶手段と、各アンテナの信号受信状況に応じて前記複数のアプリケーションの中から一つのアプリケーションを選択し、所定のアンテナで受信された受信信号に基づき、前記選択アプリケーションを実行するアプリケーション実行手段と、を備えている。 - 特許庁

The card processing system includes a control information transmission means for establishing a communication line for an IC card reader installed in a user's house to transmit control information to the IC card reader, and a card processing execution means for receiving from the IC card reader IC card information read by the IC card reader which transmits the control information and executing prescribed card processing.例文帳に追加

ユーザ宅に設置されたＩＣカードリーダに対して、ネットワークを介して通信回線を確立して制御情報を送信する制御情報送信手段と、制御情報を送信したＩＣカードリーダにおいて読み込まれたＩＣカード情報をＩＣカードリーダから受信して、所定のカード処理を実行するカード処理実行手段とを備えた。 - 特許庁

An overlap display control means having a display control means controls to make the overlap identification information obtained by overlapping a plurality of pieces of identification information appear in a specified area in the execution process of display games and move a part or whole of the identification information contained in the overlap identification information to other areas.例文帳に追加

表示制御手段の有する重畳表示制御手段は、複数の識別情報が重畳された重畳識別情報を表示遊技の実行過程で特定領域に出現させた後、この重畳識別情報に含まれている一部または全部の識別情報を他の領域に移動させる移動制御を行う。 - 特許庁

When circuit block monitoring means 12 detects a fault in a logic section constituting a circuit block, in the configuration of an alternative new circuit block, optimization process execution means 13 optimizes the transfer timing of a signal of a connection section interconnecting logic sections to the same as the timing of a connection section of the preceding circuit block as much as possible.例文帳に追加

回路ブロック監視手段１２が回路ブロックを構成する論理部に不具合があることを検出すると、これに代わる新しい回路ブロックを構成するとき最適化処理実行手段１３は論理部同士を接続する接続部による信号の伝達タイミングを前の回路ブロックの接続部と可能な限り同一になるように最適化する。 - 特許庁

A pachinko game machine 10 has a control means which carries out a lottery to determine whether an advantageous game should be executed or not and controls the execution of the advantageous game, a game board equipped with an attacker 44 for specific games which makes prescribed opening actions, a liquid crystal display device 32 for displaying performance images, and a display control means for controlling the display of the performance images.例文帳に追加

パチンコ遊技機１０は、有利な遊技を実行するか否かを抽選し、有利な遊技の実行の制御を行う制御手段と、所定の開放動作を行う特定遊技専用アタッカー４４が備えられる遊技盤と、演出画像を表示する液晶表示装置３２と、演出画像の表示制御を行う表示制御手段とを備える。 - 特許庁

A pulse generation execution condition detection means 7 generates a pulse control signal within prescribed time when a flow rate control valve opening command A signal to be a deviation signal between the flow rate control valve opening signal and the real flow rate control valve opening signal is out of a prescribed range and outputs the pulse control signal to an operation means 9 for operating the opening of the flow rate control valve.例文帳に追加

パルス発生実行条件検出手段７は、流量調節弁開度信号と実流量調節弁開度信号との偏差信号である流量調節弁開度指令Ａ信号が所定範囲外の場合に、パルス制御信号を所定時間に発生させて流量調節弁の開度を操作する操作手段９へ出力する。 - 特許庁

A pachinko game machine 10 has a control means which carries out a lottery to determine whether an advantageous game should be executed or not and controls the execution of the advantageous game, a game board equipped with an attacker 44 exclusively used for specific games which makes prescribed opening actions, a liquid crystal display device 32 for displaying performance images and a display control means for controlling the display of the performance images.例文帳に追加

パチンコ遊技機１０は、有利な遊技を実行するか否かを抽選し、有利な遊技の実行の制御を行う制御手段と、所定の開放動作を行う特定遊技専用アタッカー４４が備えられる遊技盤と、演出画像を表示する液晶表示装置３２と、演出画像の表示制御を行う表示制御手段とを備える。 - 特許庁

A printing position SP at which both substrate supporting tables 10A, 10B perform alternating printing is changed within the range at which one of the substrate supporting tables 10A (10B) and the other substrate supporting table 10B (10A) face each other by means of the printing execution unit 20 being driven along the Y-axis direction by means of the control by a control unit 60.例文帳に追加

両基板支持テーブル１０Ａ、１０Ｂが交互印刷を実行する印刷位置ＳＰは、制御ユニット６０の制御によって、印刷実行部２０がＹ軸方向に沿って駆動されることにより、一方の基板支持テーブル１０Ａ（１０Ｂ）と他方の基板支持テーブル１０Ｂ（１０Ａ）とがＹ軸方向に対向する範囲内において変更される。 - 特許庁

Further, if an mount of NOx occluded when an execution condition of NOx reduction control is established is not greater than a predetermined amount of occlusion, NOx reduction control is performed by supplying reducing agent to NOx catalyst by a reducing agent supply means (S106), without causing O_2 concentration contained in exhaust gas to be lowered by the O_2 concentration lowering means.例文帳に追加

また、ＮＯｘ還元制御の実行条件が成立したときのＮＯｘ吸蔵量が所定吸蔵量以下のときはＯ_２濃度低下手段によって排気のＯ_２濃度を低下させることなく還元剤供給手段によってＮＯｘ触媒に還元剤を供給することでＮＯｘ還元制御を実行する（Ｓ１０６）。 - 特許庁

To provide a slot machine using game balls capable of preventing a fraudulent program from being resident in an unused area of a storage means of a microcomputer controlling a game, surely executing a power recovery process by a sub-control means and, when erroneously detecting a power cut, preventing the erroneous execution of the power recovery process.例文帳に追加

遊技の制御を行うマイクロコンピュータの記憶手段の未使用領域に不正プログラムが常駐することを防止できるとともに、サブ制御手段の停電処理を確実に行うことができ、更に、電断を誤って検出した際に、誤って停電処理が行われてしまうことを防止できる遊技球を用いたスロットマシンを提供すること。 - 特許庁

To reduce the cost of a game machine by simplifying the wiring relation to the execution of processing for the time of power supply stop, and to enable a game control means and a putout control means to surely execute initialization corresponding to an operation to a clear switch in the game machine wherein a game control board and a putout control board are separately provided.例文帳に追加

遊技制御基板と払出制御基板とが別個に設けられた遊技機において、電力供給停止時処理の実行に関わる配線を簡略化して遊技機のコストを低減させるとともに、クリアスイッチに対する操作に応じて遊技制御手段と払出制御手段とが確実に初期化処理を実行することができるようにする。 - 特許庁

This interlocking releasing device is equipped with an interlocking releasing mechanism 26 capable of being moved by means of compressed air energization for the execution of any interlocking releasing process, a valve means for selectively feeding compressed air to energize the interlocking releasing mechanism 26, and with a measurement device 18' for detecting an actual interlocking releasing position made by the interlocking releasing mechanism.例文帳に追加

連動解除装置が、連動解除過程の実行のために圧縮空気付勢によって移動させられ得る連動解除機構２６と、連動解除機構の付勢のための圧縮空気の選択的な供給のための弁手段と、連動解除機構の実測連動解除ポジションの検知のための測定装置１８′とをもっている。 - 特許庁

To provide a game machine such as a slot machine or a Pachinko machine having a photographing means which can be turned to an optional direction by a player and enable the player to photograph an object corresponding to a presented assignment using the photographing means, the game machine enabling the player to receive an advantage by the execution of a reporting performance corresponding to the photographed result.例文帳に追加

例えばスロットマシンやパチンコ機等の遊技装置に関し、遊技者が任意な方向に向けられる撮影手段を有し、当該撮影手段を使用して提示された課題に応じた対象を撮影し、当該撮影結果に応じた報知演出の実行による利益を遊技者が受けることができるようにしたものである。 - 特許庁

To match a display result of a variable display started by another variable display means before finishing a probability variable state with an actual game state, in a case where the probability variation state is finished by the winning of a lottery performed for every execution of the variable display in a game machine having two variable display means.例文帳に追加

２つの変動表示手段を有する遊技機において変動表示の実行毎に行われる抽選に当選することで確率変動状態を終了させる場合において、確率変動状態の終了前に他の変動表示手段で開始された変動表示の表示結果を、実際の遊技状態と整合させる。 - 特許庁

When an amount of NOx occluded when an execution condition of NOx reduction control is established is larger than a predetermined amount of occlusion, O_2 concentration contained in exhaust gas is lowered by an O_2 concentration lowering means, and NOx reduction control is performed by supplying reducing agent to NOx catalyst by a reducing agent supply means (S105, S106).例文帳に追加

本発明は、ＮＯｘ還元制御の実行条件が成立したときのＮＯｘ吸蔵量が所定吸蔵量より多いときにはＯ_２濃度低下手段によって排気のＯ_２濃度を低下させると共に還元剤供給手段によってＮＯｘ触媒に還元剤を供給することでＮＯｘ還元制御を実行する（Ｓ１０５、Ｓ１０６）。 - 特許庁

An apparatus for controlling the execution of action according to the occurrence of an event has an event occurrence control judgement means for judging whether or not the occurrence of an event corresponding to action should be controlled depending on the result of judgement by a state judgement means which judges whether or not the action is in an executable state.例文帳に追加

イベントの発生に応じてアクションの実行を制御するアクション実行制御装置であって、アクションが実行可能な状態か否かを判断する状態判断手段における判断結果に応じて、アクションに対応するイベントの発生を抑制するか否かを判断するイベント発生抑制判断手段を有することによって課題を解決する。 - 特許庁

The mapping data solving means 103 and XML analysis/ generation means 105 of a program execution device 101 convert the data of an operation object stored in the data base on the basis of a predetermined conversion method, convert them to a determined notation form and process an operation instructed by using the notation form to the operation instruction of the data.例文帳に追加

データベースに記憶された操作対象のデータを、プログラム実行装置１０１のマッピングデータ解決手段１０３とＸＭＬ解析・生成手段１０５とが、あらかじめ定められた変換方法に基づいて変換し、定められた表記形式に変換して、データの操作指示に対し、表記形式を用いて指示された操作を処理するものである。 - 特許庁

In the image forming apparatus, comprising a counting means for counting the accumulated number of prescribed printed recording sheets; and an image compensation control means for carrying out image compensation operation, when the accumulated number of recording sheets reaches a regulated number, an execution period of the image compensation operation is advanced, in response to the prescribed operation conditions.例文帳に追加

所定の印刷された記録紙の累積枚数をカウントするカウント手段と、記録紙の累積枚数が規定枚数に到達したときに画像補正動作を実行する画像補正制御手段を備えた画像形成装置において、当該画像補正動作の実行時期を自装置の所定の動作状況に応じて適宜繰り上げ可能な構成とする。 - 特許庁

A design apparatus of an integrated circuit device optimizes both of design data 100 and a verification vector 101 by being provided with a code optimizing means 104 for deleting or commenting out a non-execution code description and by storing code coverage information generated by a code coverage measuring means 102 into a code coverage database 103 to use the database 103.例文帳に追加

コードカバレッジ計測手段１０２によって生成されるコードカバレッジ情報をコードカバレッジデータベース１０３に格納し、コードカバレッジデータベース１０３を利用して、非実行コード記述を削除またはコメントアウトするコード最適化手段１０４を備えることによって設計データ１００および検証ベクタ１０１の両方のコード最適化を行うという効果を奏する。 - 特許庁