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

The service system is composed so as to verify identification information input from an operation division 801 to specify the user, then obtain the optimum advertisement information for the specified user from a file server 107, thereby control an image output from a printer 803 corresponding to the obtained advertisement information.例文帳に追加

操作部８０１から入力される識別情報を認証してユーザを特定し、該特定されたユーザに最適な広告情報をファイルサーバ１０７から取得し、該取得された広告情報に対するプリンタ８０３からの画像出力を制御する構成を特徴とする。 - 特許庁

When the component is generated, a database in which the component library is stored is inquired in order to take out the component model, and then the instance of the component model is generated based on the design attributes of the feature in order to verify the conformity of coupling between the component and the feature.例文帳に追加

部品の生成には、部品モデルを取り出すために部品ライブラリを格納しているデータベースを照会すること、およびその後、フィーチャとの結合適合性を確認するために、フィーチャの設計属性に基づいて部品モデルのインスタンスを生成することを含むことができる。 - 特許庁

Further, since the recording and reproducing device is configured to transmit a key required to produce a MAC associated with the copyright information together with an effective key block(EKB) according to the key distribution configuration of a tree structure, only a legal license device can verify the MAC so as to realize a legal utilization configuration of contents.例文帳に追加

また、著作権情報に対するＭＡＣの生成に必要なキーをツリー（木）構造の鍵配布構成に従った有効化キーブロック（ＥＫＢ）とともに送信する構成としたので、正当なライセンス・デバイスにおいてのみＭＡＣ検証が可能となり、コンテンツの正当な利用構成が実現される。 - 特許庁

The memory device includes: a memory cell MC to connect a variable cell resistor Rcell and an access transistor AT in series between a plate line PL and a bit line BL; a drive controller; a sense latch circuit 71; and a verify pass latch 74 for an inhibit control and transfer gate circuits TG1.例文帳に追加

可変セル抵抗ＲcellとアクセストランジスタＡＴをプレート線ＰＬとビット線ＢＬとの間に直列接続させているメモリセルＭＣと、駆動制御部と、センスラッチ回路７１と、インヒビット制御のためのヴェリファイパスラッチ７４およびトランスファゲート回路ＴＧ１と、を有する。 - 特許庁

To solve the problem that secret information leaks, it is difficult to grasp the use state of a verification model and the charge for the use of the verification is expensive when a provider of design properties and a user verify a system while communicating with each other through a communication line.例文帳に追加

通信回線を通じて、設計資産の提供者と利用者が通信を行いながらシステムの検証を行う際、秘密情報の漏洩、検証モデルの使用状況の把握困難、検証モデルの使用に対する課金が高額と成るなどの問題が生じる。 - 特許庁

A system verification means for verifying a peripheral circuit corresponding to a plurality of individual verification test descriptions designated by the system verification test descriptions and a management means for managing interruption of the peripheral circuit which the individual verification tests verify are provided, in execution of the system verification test.例文帳に追加

システム検証テストの実行において、システム検証テスト記述によって指定される複数の個別検証テスト記述に対応する周辺回路を検証するシステム検証手段と、個別検証テストが検証している周辺回路の割り込みを管理する管理手段とを備える。 - 特許庁

To automatically instruct a worker (a salesclerk) about supply work of a commodity not to cause a situation that absence of the commodity is left for a long time until the worker notices that the prescribed commodity of an article shelf is absent, and to verify whether the supply work is certainly performed.例文帳に追加

物品棚の所定の商品が無いことに作業者（店員）が気づくまで、長い時間放置される状況を起こさないように、自動的に当該商品の補充作業を作業者に指示し、そして、その補充作業が確実におこなわれたかを検証する。 - 特許庁

The returned data are stored in a reception memory 13, a CPU 14 performs verify checking of the returned data with the original data of the memory 12, prepares an error correction instruction and sends the error correction instruction to the station 20 from the memory 12, and the memory is rewritten on the basis of the error correction instruction.例文帳に追加

この送り返されたデータを受信メモリ１３に蓄え、ＣＰＵ１４により送信メモリ１２の元のデータとべリファイチェックして、誤り訂正命令を作成し、送信メモリ１２から受信側局２０に送り、この誤り訂正命令に基づきメモリを書き換える。 - 特許庁

To provide a system and a method which can verify validity of an XML (extensible markup language) document when the XML application for preventing an error of the XML application due to erroneous information is operated by an embedded device having a relatively low performance processor and a small memory.例文帳に追加

誤った情報によるＸＭＬアプリケーションの誤りを未然に防止するＸＭＬアプリケーションが相対的に低性能のプロセッサと小さいメモリとを有したエンベッディドディバイスにて動作する場合、ＸＭＬ文書の有効性を検証できる装置及び方法を提供する。 - 特許庁

To provide an apparatus and a method for modeling software behavior and an apparatus and a method for verifying software behavior, which make it possible to easily verify the behavior of software while increasing the speed of verifying the behavior of software and avoiding an increase in the amount that a cache memory is used.例文帳に追加

ソフトウェアの挙動の検証速度を向上させ、キャッシュメモリの使用量の増大を抑制しながら、ソフトウェアの挙動を簡易に検証することを可能とするソフトウェア挙動モデル化装置、ソフトウェア挙動モデル化方法、ソフトウェア挙動検証装置及びソフトウェア挙動検証方法を提供する。 - 特許庁

In the housing material order delivery management method, material information based on an order data is written in an IC tag of a material, and the material information is read from the IC tag of the material on the construction site or in the process of distribution to the construction site to check or verify the material.例文帳に追加

発注データに基づく資材情報が資材のＩＣタグに書き込まれ、建築現場又は建築現場に至る流通の過程で、資材のＩＣタグから資材情報が読み取られて、その資材の確認又は認証が行われることを特徴とする住宅資材発注納入管理方法。 - 特許庁

The result can be performed online input by on-the-field input and transmit through the terminal, and a report can be outputted automatically, a server can verify the validity of the result in comparison with the last inspection result, so that the verification result can be replied to the terminal.例文帳に追加

検査結果は、モバイル端末により現地入力・送信することでオンライン入力でき、また、報告書を自動出力できるものとし、サーバでは前回検査結果と比較することで結果の妥当性を確認し、モバイル端末に確認結果を返信することができるようにしたものである。 - 特許庁

To provide a fluid plug for a storage battery in which it is not necessary to verify again the overflow resistance performance once the overflow resistance performance is verified even if the specifications of the storage battery are changed and the complication of the manufacturing process is eliminated, and the productivity is improved, and its manufacturing method.例文帳に追加

蓄電池用の液口栓において、一度耐溢液性能を検証すれば、蓄電池の仕様が変わっても耐溢液性能を改めて検証する必要がなく、製造工程の煩雑さが解消され、生産性が向上する液口栓並びにその製造方法を提供する。 - 特許庁

A primary authentication device uses a public key certificate included in information for subscriber authentication received from a terminal device to verify digital signature data (response data) included in the information for subscriber authentication and transmits a connection permission request to a permission-state management device.例文帳に追加

一次認証装置は、端末装置から受け付けた加入者認証用情報に含まれる公開鍵証明書を用いて、同じく加入者認証用情報に含まれるデジタル署名データ（レスポンスデータ）を検証し、接続許可要求を認可・状態管理装置に送信する。 - 特許庁

By use of a spool data simulator system, the user can instantly verify what kind of print speed and accuracy can be secured, by setting what post-process (device attribute, gradation, color conversion), concerning a piece of spool data generated by the Soft RIP in an information processor.例文帳に追加

本発明のスプールデータシュミレータシステムを利用することで、情報処理装置内のＳｏｆｔ ＲＩＰが生成した１つのスプールデータに対して、どのような後工程（機器属性、階調、色変換）を設定すれば、いかなる印刷速度、精度が確保できるのか瞬時に検証できるようになった。 - 特許庁

In order to verify that the record of changes have not been falsified, the operator may utilize the "time stamp service" (service that provides proof that the electronic document had existed at a certain time and that there has been no alteration of such document) every time such operator makes changes to the Website Terms of Use. 例文帳に追加

変更履歴の改ざんがないことを立証するための手段としては、例えばサイト利用規約の変更の都度、いわゆるタイムスタンプサービス（電子文書がある一定日時に存在していたことと内容に改ざんがないことの証明を行うサービス）を利用するという方法が考えられる。 - 経済産業省

(iii) When a person engaging in the manufacture or import of specified products has made a notification of his/her business and has performed his/her obligations to inspect and verify that the products conform to the technical requirements and prepare and preserve an inspection record, he/she may then place a PSC Mark on the products (Article 13). 例文帳に追加

③ 特定製品の製造又は輸入の事業を行う者は、事業届出を行い、自らが行う検査によって技術基準への適合を確認し、その検査記録を作成し、これを保存する等の義務を履行したときは、ＰＳＣマーク を付することができる。（法第１３条） - 経済産業省

Since the procurer of the system must verify that cryptographic algorithms have been properly selected during the deliberation of proposal, he/she will or should provide easy to understand instructions that explain the process from system image to selection of cryptographic in the proposal. 例文帳に追加

提案書の審査において、調達者は、暗号アルゴリズムの選定が妥当であることを検証する必要があるため、調達するシステムのイメージから暗号アルゴリズム選定までの過程を、理由を付けて分かりやすく説明した文書を提案書に添付するよう、調達を行う業者に指示する。 - 経済産業省

During the verify operation and the reading operation, the referring signal generating circuit 100 selects one referring signal group Iref from among the plurality of referring signal groups Iref based on the number of times C indicated by the signal of the number of times and outputs the one referring signal group Iref to a sense amplifier 30.例文帳に追加

ベリファイ動作及び読み出し動作時、参照信号生成回路１００は、その回数信号が示す回数Ｃに基づき、複数の参照信号群Ｉｒｅｆの中から一の参照信号群Ｉｒｅｆを選択し、その一の参照信号群Ｉｒｅｆをセンスアンプ３０に出力する。 - 特許庁

When verifying is passed, a verify-circuit VC outputs an adaptation signal VPASS of a H level, but each adaptation signal input terminal (VPASS) of a data write control circuit WCC and a data write counter circuit WCT is fixed to a L level by an adaptation signal invalidating means 3.例文帳に追加

ベリファイがパスしたときには，ベリファイ回路ＶＣがＨレベルの適合信号ＶＰＡＳＳを出力するが，データ書き込み制御回路ＷＣＣおよびデータ書き込みカウンタ回路ＷＣＴの各適合信号入力端子（ＶＰＡＳＳ）は，適合信号無効化手段３によってＬレベルに固定される。 - 特許庁

To provide an LSI design verification apparatus and an LSI design verification method that can verify whether results of an operation simulation in an upstream design phase and results of an RTL simulation in a downstream design phase match in an intermediate stage of the RTL simulation or in an LSI circuit to be verified.例文帳に追加

設計上位の動作シミュレーションの結果と設計下位のＲＴＬシミュレーションの結果とが、ＲＴＬシミュレーションの途中の段階において、又は検証対象となるＬＳＩの回路内部において整合しているかどうかを検証し得るＬＳＩ設計検証装置及びＬＳＩ設計検証方法を提供することにある。 - 特許庁

Cellular phones 1a, 1b adjust the brightness of an image before sending mail with an attached photograph, so that it is possible to visually verify the mail text when the mail text is overlaid over the image, which serves as a background image attached to the mail text at the receiving side, after which the mail is sent to a system (in particular, to mail servers 33 and 63).例文帳に追加

携帯電話１ａ，１ｂは、写真付きメールを送信するに先立って、受信側においてメール本文に添付する画像を背景とし、該画像にメール本文を重ね合わせて表示された際に、メール本文が視認できるように、画像の明度を補正した後、システム（特に、メールサーバ３３、６３）に送信する。 - 特許庁

Forward calculation is performed exceeding the resolution f double precision or single precision, and a converged initial value is found through reverse calculation using a pseudo-random number generated at the same time through in-phase conversion quantization (n=1) for sign determination and compared with a previously given initial value to verify whether the initial value is stable.例文帳に追加

倍精度または単精度の分解能を越して順計算をし、そのとき同相変換量子化（ｎ＝１）で同時に生成される擬似乱数を符号決定に用いた逆計算により収束した初期値をもとめ、あらかじめ与えた初期値と比較して、初期値が安定かどうかの検証を行う。 - 特許庁

To provide a printer that can determine whether an article to be purchased is age-restricted, and if there is an age restriction, verify the purchaser's age so as to cancel the purchase processing and record it if the purchaser is under age, while dispensing with modifications to application software of a settlement processing system.例文帳に追加

精算処理システムのアプリケーションソフトを変更しなくても、購入される商品に年齢制限があるかどうか判断し、年齢制限があった場合購入者の年齢を確認し、購入権限のない年齢の場合には購入処理を取り消すことができ、それらの記録を残せるプリンタを提供する。 - 特許庁

To easily and precisely verify the functions of test circuits by enabling flexible dealing with function variations under various operating conditions, ensuring the versatility with respect to test circuits which can be dealt with, and consequently preventing a verification leakage etc., when the functions of the test circuits are verified.例文帳に追加

被試験回路の機能を検証するのにあたり、対応し得る被試験回路についての汎用性を確保しつつ、様々な動作条件での機能検証に柔軟に対応することを可能にし、これにより検証漏れ等が生じることなく被試験回路の機能検証を容易かつ的確に行えるようにする。 - 特許庁

A solution means includes steps of: selecting points on the elliptic curve, creating a pair of public keys of a signer therefrom, and distributing a private key to the signer; enabling the signer to generate the signature using the keys; and enabling a signature verifier to verify the establishment of an inspection expression using the pairing on the elliptic curve.例文帳に追加

解決手段は、楕円曲線上の点を選択し、これから署名者の公開鍵ペアを作成し、秘密鍵を署名者に配布する工程と、署名者がこれを用いて署名を生成する工程と、署名検証者が楕円曲線上のペアリングを用いた検査式の成立の検証を行う工程とを含む。 - 特許庁

A microcomputer for controlling card units in a card unit 50 compares the identifying codes read out of IC tags 441 and 541 attached to a CPU 56 and a CPU 371 for put-out control respectively with the identifying codes previously stored to verify whether the CPU 56 and the CPU 371 for put-out control are authentic or not.例文帳に追加

カードユニット５０のカードユニット制御用マイクロコンピュータが、ＣＰＵ５６および払出制御用ＣＰＵ３７１に付されているＩＣタグ４４１，５４１から読み取った識別コードと、あらかじめ記憶している識別コードとを比較することによって、ＣＰＵ５６および払出制御用ＣＰＵ３７１が正規のものか否かを認証する。 - 特許庁

An operator server receives an authentication information generation request containing a transmitting address from a user terminal, creates databases at least for each user and for each authentication object, accesses the databases to verify the validity of the authentication request, and then generates and transmits authentication screen information to the user terminal.例文帳に追加

ユーザ端末から発信アドレスを含む認証情報生成要求を運営者サーバが受信し、少なくとも前記ユーザ毎、認証対象毎にデータベースを構築し、前記データベースにアクセスして、当該認証要求の正当性を検証してから認証画面情報を生成して、前記ユーザ端末に送信する。 - 特許庁

To easily and accurately prepare a design drawing, to easily and accurately transmit and receive information about the design drawing and also to easily verify the price validity of a member by enabling both a side that designs the member and a side that manufactures the member to access common databases.例文帳に追加

部材を設計する側も、製造する側も、共通のデータベースにアクセスすることができるようにして、設計図面を容易に、かつ、正確に作成することができ、設計図面に関する情報を容易に、かつ、正確に送受信することができ、部材の価格妥当性を容易に検証することができるようにする。 - 特許庁

The layout data extracting part (20) extracts the verification target place specified by the verification target specifying part (10) and layout data including an electronic device connected to the verification target place needed to verify the necessity of layout correction of the verification target place from the layout data of the semiconductor integrated circuit.例文帳に追加

レイアウトデータ抽出部(20)は、前記半導体集積回路のレイアウトデータから検証対象特定部(10)によって特定された検証対象箇所及び検証対象箇所のレイアウト修正の要否の検証に必要となる当該検証対象箇所に接続された電子デバイスを含むレイアウトデータを抽出する。 - 特許庁

When an authentication code calls the video BIOS by INT10h instruction, the hash value is computed in advance to verify the validity, and a vector table is rewritten with the preliminarily obtained vector address, whereby the valid video BIOS can be executed by the INT10h instruction.例文帳に追加

ＳＭＩがアサートされて認証コードが実行され、認証コードがＩＮＴ１０ｈ命令でビデオＢＩＯＳを呼び出す際には事前にハッシュ値を計算して正当性を検証し、さらに、ベクタ・テーブルをあらかじめ取得しておいたベクタ・アドレスで書き換えて、ＩＮＴ１０ｈ命令で正当なビデオＢＩＯＳが実行されるようにする。 - 特許庁

According to the Guideline, for a compound claim in an application, if it is referred to in a reference document, it is deduced that it does not possess novelty, unless the applicant can provide evidence to verify the compound is not available before the date of filing. 例文帳に追加

審査指南によれば、出願における化合物の請求項については、対比文献中に当該化合物が言及されている場合、当該化合物は新規性を備えないものと推定されるが、出願人が出願日前に当該化合物が獲得できないことを証明する証拠を提供できる場合はこの限りではない。 - 特許庁

While SIPO standard for examining a compound claim is this, if a compound is referred to in a cited document, it is deduced that it does not possess novelty, unless the applicant can provide evidence to verify the compound is not available before the date of filing. 例文帳に追加

一方、SIPOにおける化合物クレームの審査基準は以下の通りである。引用文献中に化合物が言及されている場合、当該化合物は新規性を備えないものと推定されるが、出願人が出願日前に当該化合物が獲得できないことを証明する証拠を提供できる場合はこの限りではない。 - 特許庁

To operationally verify whether or not a digital/analog converter built in a semiconductor integrated circuit can execute a normal digital/analog conversion action when using the digital/analog converter as a test signal generator for testing an analog/digital converter built in the semiconductor integrated circuit.例文帳に追加

半導体集積回路に内蔵されたアナログ／デジタル変換器をテストするためのテスト信号発生器として半導体集積回路に内蔵されたデジタル／アナログ変換器を使用する際に、デジタル／アナログ変換器が正常なデジタル／アナログ変換動作を実行可能であるか否か動作検証することを可能とすること。 - 特許庁

The user devices 20B and 20A decrypt, based on the self negotiation secret key, the encrypted message with the digital sign browsed from the anonymous negotiation management device 10, verify, based on the negotiation partner negotiation public key, the digital sign of the obtained message with the digital sign, and receive the message when it is authorized.例文帳に追加

ユーザ装置２０Ｂ，２０Ａは、匿名交渉管理装置１０から閲覧した暗号化電子署名付メッセージを自身交渉秘密鍵に基づいて復号し、得られた電子署名付メッセージの電子署名を交渉相手交渉公開鍵に基づいて検証し、検証結果が正当のとき、メッセージを受理する。 - 特許庁

To provide an effect similar to success of verification of an electronic certificate to a client device when the electronic certificate cannot be verified in the client device that must verify the electronic certificate for use or the like of a service provided by another apparatus, in an authentication system.例文帳に追加

認証システムにおいて、他の機器が提供するサービスの利用等のために電子証明書の検証を行なう必要があるクライアント装置において当該電子証明書の検証ができない場合に、当該クライアント装置に、当該電子証明書の検証が成功したのと同様の効果を与えることができるようにする。 - 特許庁

To verify the moving state of an object to be measured in real time by simultaneously measuring three-dimensional coordinate positions of a plurality of locations at which the object to be measured rests still or moves through the use of a direct wave system of individual ultrasonic waves having different frequencies, transmission start times, or transmission intervals.例文帳に追加

周波数の異なる、あるいは送信開始時間や送信間隔の異なる個別の超音波の直接波方式を利用して、被計測対象物の静止または動作する複数位置の三次元座標位置を同時に計測し、被計測対象物の運動状態を実時間で確認することができるようにする。 - 特許庁

An electronic apparatus demands a user to make a change in biometric characteristics, compares images taken by a camera before and after user made a movement change such as a specific face expression like eyes or a specific hand gesture to verify whether an expected change has happened, and if a verification result is successful, authorizes the user to access to functions in a wireless terminal.例文帳に追加

測定される生体的特徴に変化を起こすことを促し、カメラを使用して、目などの顔の特定の表情又は手の特定のジェスチャ−などの動きの変化の前後で撮像された画像を比較して、期待された変化が起きたかを検証し、合格すると無線端末の機能へのアクセスを許可する。 - 特許庁

Article 47 (1) The Minister of Agriculture, Forestry and Fisheries may order the holder of a breeder's right or of an exclusive exploitation right to submit entire plants or parts of plants of the registered variety or other material, where he/she finds it necessary in order to verify the maintenance of the expressions of the characteristics of the registered variety. 例文帳に追加

第四十七条　農林水産大臣は、登録品種の特性が保持されているかどうかについて調査の必要があると認める場合は、育成者権者又は専用利用権者に対し登録品種の植物体の全部又は一部その他の資料の提出を命ずることができる。 - 日本法令外国語訳データベースシステム

In the Select Project dialog box, select the BPEL Module project folder, make sure that the project's JAR file has appeared in the Project JAR Fileslist, and click Add Project JAR Files.To verify that the BPEL Module has been added as a JBI Module,in the Projects window, expand Composite Application project JBI Modules.例文帳に追加

「プロジェクトの選択」ダイアログで、BPEL モジュールプロジェクトフォルダを選択して、プロジェクトの JAR ファイルが「プロジェクトの JAR ファイル」の一覧に表示されていることを確認し、「プロジェクト JAR ファイルを追加」をクリックします。 BPEL モジュールが JBI モジュールとして追加されたことを確認するために、「プロジェクト」ウィンドウで、「複合アプリケーションプロジェクト」「JBI モジュール」を展開します。 - NetBeans

The inspector shall verify whether the Firm is in compliance with laws, regulations, standards as well as the Firm’s policies and procedures concerning quality control by examining books, records and other materials and interviewing officers and employees of the Firm, including partners and staffs engaged in the audit. 例文帳に追加

検査官は、帳簿書類その他の物件の閲覧並びに検査対象先の役職員（監査責任者及び監査補助者を含む。）に対してヒアリングを実施し、法令諸基準等や外国監査法人等の定める品質管理に関する方針と手続への準拠の状況を検証するものとする。 - 金融庁

(c) In cases when the Board deems it necessary to verify the internal control situation of a client of the audit firm, which should correspond to the audit procedures provided by the firm, or if there is any need to examine the audit practices by the subject firm on the side of its client, an on-site inspection, principally of said client of the audit firm, shall be conducted. 例文帳に追加

③ 監査事務所における監査業務に対応する被監査会社等の側における内部管理体制を確認する必要が認められる場合、又は監査事務所における監査業務の実施状況を被監査会社等の側において確認する必要が認められる場合等（主に対被監査会社等） - 金融庁

When identifying any deficiencies in firms’ business operations, the SESC wi11 not only verify their compliance with explicit rules, but also assess the quality of their internal control system, with reference to the criteria published in the Inspection Manuals, “The Model Management of Financial Instruments Firms.” 例文帳に追加

検査において認められた業務運営上の問題については、その事実関係や経緯等を分析することにより、法令に抵触するか否かにとどまらず、検査マニュアル中の[金融商品取引業者等のあるべき姿]を想定しつつ、検査対象先の内部管理態勢面からも検証する - 金融庁

To provide a logic function verification apparatus and a logic function verification method capable of drastically shortening a period of time required to verify a logic circuit by reducing a work process required to generate a test bench being a verification environment for logically verifying a circuit description.例文帳に追加

この発明は、回路記述を論理検証するための検証環境であるテストベンチの生成に要する作業工程を削減し、論理回路の検証に要する時間の大幅な短縮化を図ることを可能とした論理機能検証装置及び論理機能検証方法を提供することを目的としている。 - 特許庁

The regulations shall specify the persons authorized to use the mark, the elements and characteristics that are to be guaranteed by the mark, the manner in which the competent certification authority shall verify those characteristics and supervise the use of the mark, the fees payable for use of the mark and the procedures for settling disputes.例文帳に追加

当該規約は，標章使用を授権された者，標章により保証されるべき要素及び特徴，権限のある証明当局が当該特徴を証明し標章の使用を管理する態様，標章使用について納付する手数料及び紛争解決手続を明記しなければならない。 - 特許庁