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

As for the Fiscal Investment and Loan Program (FILP) for FY2006, we conducted follow-up of the comprehensive review of the FILP reform to verify the fiscal soundness of each program, and selected target areas and projects while emphasizing priority and efficiency. Through such efforts, we reduced the total amount of loans provided under the program to 15,004.6 billion yen, below 40% of its peak level in FY1996.例文帳に追加

さらに、平成十八年度財政投融資計画については、財投改革の総点検のフォローアップを行い、各事業の財務の健全性を確認した上で、対象事業の重点化・効率化を進めた結果、その規模は十五兆四十六億円となっております。これは、ピーク時である平成八年度の四割を切る水準であります。 - 財務省

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

発明専利出願においてある化合物の保護を請求する場合、もしある対比文献中に当該化合物についての言及があるとすれば、当該化合物は新規性を備えないものと推定される。但し、出願日前に当該化合物を入手できないことを証明する証拠を出願人が提供できる場合はこの限りではない。 - 特許庁

To provide an information processor capable of more suitably reducing a risk that the information processor does not operate depending on the combination of software, even when a software provider cannot verify operation of all the combinations of software in advance of inputting software from outside to operate via a network or the like.例文帳に追加

ネットワークを経由するなどして、外部からソフトウェアを入力して動作させる場合に、ソフトウェアの提供側がすべてのソフトウェアの組合せを事前に動作検証することができない状況であっても、ソフトウェアの組合せによって動作しないというリスクをより好適に軽減することが可能な情報処理装置を提供することを目的とする。 - 特許庁

When individual monitoring information is acquired from the monitoring information confirmation/update part 21, the action monitoring/control part 14 refers to a monitoring action pattern from a monitoring action pattern storage part 15 to verify monitoring function definition, conditions described in nuisance condition definition for functions matched to monitoring functions with information about monitoring state information.例文帳に追加

監視情報確認・更新部２１から個人監視情報を取得すると、行動監視・制御部１４は監視行動パターン保存部１５から監視行動パターンを参照し、監視機能定義と、監視機能で一致する機能に対しての迷惑条件定義に記述される条件と、監視状況情報の情報との照らし合わせを行う。 - 特許庁

The program method of the nonvolatile memory device includes: a stage 510 for performing the program operation on a selected memory cell block; a stage 520 for discharging an electric charge which is charged to the channel of memory cell strings contained in unselected memory cell blocks; and a stage 530 for performing a verify operation on the selected memory cell block.例文帳に追加

不揮発性メモリ装置のプログラム方法は、選択されたメモリセルブロックに対してプログラム動作を行う段階５１０と、非選択のメモリセルブロックに含まれたメモリセルストリングのチャネルに充電された電荷を放電させる段階５２０と、前記選択されたメモリセルブロックに対して検証動作を行う段階５３０を含むことを特徴とする。 - 特許庁

In the case where one piece of manuscript data 16 is printed on a plurality of sheets, when the inspection image data 24 which is judged to be normally printed has not yet been acquired, the inspection image data 24 and the manuscript data 16 is corrected in order to compare and verify it with each other, and then the inspection is carried out by an inspection section 32.例文帳に追加

一つの原稿データ１６から複数枚の印刷を行う場合には、まだ正常に印刷されたと判定された検査画像データ２４が取得されていない場合には、検査画像データ２４および原稿データ１６同士を比較、照合可能とするために、これらのデータの補正を行い、検査部３２にて検査を行う。 - 特許庁

To provide an excitation experiment method for a connection part of two buildings, which can verify validity of design by evaluating response displacement applied to a connection part installed between a base-isolated building and a non-base-isolated building in the occurrence of an earthquake in addition to an excitation experiment for spuriously reproducing response acceleration of the non-base-isolated building side only by one vibration table.例文帳に追加

１台の振動台で、非免震建物側の応答加速度を擬似的に再現する加振実験と併せて、地震時に免震建物と非免震建物との間に介装された連結部に作用する応答変位を評価して、その設計の妥当性を検証することが可能になる２棟の建物の連結部に対する加振実験方法を提供する。 - 特許庁

The results of the Verify command 120 performed after receiving an authentication start command 110 until receiving an authentication end command 111 are reflected on user authentication information 113, and the composite user authentication module 11 determines the success/failure of the composite user authentication by collating the user authentication 113 and the authentication management information 112.例文帳に追加

認証開始コマンド１１０を受信してから認証終了コマンド１１１を受信するまでの間に実行されたＶｅｒｉｆｙコマンド１２０の結果は、ユーザ認証情報１１３に反映され、複合ユーザ認証モジュール１１は、ユーザ認証１１３と認証管理情報１１２とを照合することで、複合ユーザ認証の成否を判定する。 - 特許庁

The relaying apparatus 3 references the multiplex frame header of the received mac frames to verify the segment path ID and to discriminate the normality of the inter-apparatus connection, monitors the particular fixed length block, discriminates whether or not passing of the frame through its own apparatus is corrected on the basis of the Ether (R) path ID and discriminates the normality of the Ether(R) path.例文帳に追加

中継装置３では受信したｍａｃフレームの多重フレームヘッダを参照してセグメントパスＩＤを検証して装置間接続の正常性を判定し、特殊固定長ブロックをモニタしてＥｔｈｅｒ（Ｒ）パスＩＤによって自装置を経由することが正しいかどうかを判定し、Ｅｔｈｅｒ（Ｒ）パスの正常性を判定する。 - 特許庁

This commentator’s only two recurring costs in its $8 billion estimate were the approximately $300 million cost for risk-based programs needed to verify the credibility of suppliers’ information, which the commentator indicated would be incurred “on an annual basis,”867 and the approximately $450 million cost for the annual audit of the Conflict Minerals Report, which together total $750 million.例文帳に追加

そのうち、経常的に必要になるところの意見提出者が考えているのは、サプライヤーの情報の信頼性を検証するために必要なリスクベースのプログラムの費用（「毎年」発生すると考えられている）、約3億ドルと、紛争鉱物報告書の年1回の監査にかかる費用、約4億5,000万ドルだけであり、この2つの合計は7億5,000万ドルである。 - 経済産業省

From the approximately $159 million cost estimate for the risk-based programs needed to verify the credibility of suppliers’ information, based on our revised calculations of the manufacturing industry association commentator’s figures, and that commentator’s approximately $450 million cost estimate for the audit, we derive an approximate estimate of $609 million for annual recurring costs.例文帳に追加

サプライヤーの情報の信頼性を検証するために必要なリスクベースのプログラムに関し、製造業界団体の意見提出者の数値を我々が修正したおよそ1億5,900万ドル、およびこの意見提出者による監査費用の見積もり4億5,000万ドルから、我々は、毎年経常的に発生する費用をおよそ6億900万ドルと算定した。 - 経済産業省

It has been pointed out that some discrepancies exist between the social needs from industry and a university education, and this is due to the fact that industry does not inform universities of its educational needs and universities do not collect data and do not verify whether the content of their education reflects social needs.例文帳に追加

従前より、産業界など社会ニーズと大学教育にミスマッチがあるとの指摘があるが、これは産業界などが大学教育に対するニーズを大学側に示してこなかったことや大学側においても、教育内容・方法が社会のニーズを反映しているものかどうか十分に把握・検証してこなかったことが起因しているものと考えられる。 - 経済産業省

It is generally considered that the number 60 is derived from 60-volume Tendai, of Buddhist scriptures, but this conjecture is just an answer to the question 'where the number 60 came from' and doesn't verify whether there were in fact 60 chapters. 例文帳に追加

一般的にはこの60巻という数字は仏教経典の天台60巻になぞらえた抽象的な巻数であると考えられているが、この推測はあくまで「60巻という数字が事実でなかった場合、なぜ（あるいはどこから）60巻という数字が出てきたのか。」の説明に過ぎず、60巻という数字が事実でないという根拠が存在するわけではない。 - Wikipedia日英京都関連文書対訳コーパス

The attribute certificate verification server 5 is configured such that the server 5 acquires an attribute certificate from one or more repositories 4 for storing the attribute certificate for certifying the attribute of a node 3 and revocation information of the attribute certificate to acquire and verify the attribute certificate and transmits a result of the verification to an authentication server 2.例文帳に追加

属性証明書検証サーバ５が、ノード３の属性を証明する属性証明書および属性証明書の失効情報を蓄積する１以上のリポジトリ４から属性証明書を取得して、この属性証明書の取得および検証を行い、この検証結果を属性情報検証サーバ５へ送信する構成とした。 - 特許庁

To reduce probability of making counterfeit information by dividing information into several pieces to prepare message authentication code respectively by using different key with a unidirectional function, combine them, and the like with regard to an authentication device and record medium, which prepare message authentication code by using key with the unidirectional function to sign and verify information.例文帳に追加

本発明は、情報を鍵を用いて一方向性の関数で認証子を作成して署名および検証する認証装置および記録媒体に関し、情報を複数に分割して異なる鍵を用いて一方向性関数でそれぞれ認証子を作成して結合などし、偽造情報作成確率を低減することを目的とする。 - 特許庁

The QC phantom 1 is used to verify capacity and invariability of a digital radiography system, wherein the linear expansion ratio α_p of all the patterns for evaluation of the image quality and the linear expansion ratio α_s of a base plate on which the patterns for evaluation of the image quality is fixed satisfy the relation of |α_p-α_s|≤5×10^-5.例文帳に追加

ディジタル放射線撮像システムの性能および不変性の検証を行うために用いられるＱＣファントム１において、全ての画質評価用パターンのそれぞれについて、その線膨張率α_ｐ と、画質評価用パターンが固定される基板の線膨張率α_ｓ とが、｜α_ｐ −α_ｓ ｜≦５×１０^−５の関係にある。 - 特許庁

The method comprises a step for feeding an electronic component 100 for surface mounting and integrating and a step for feeding X-rays-visible azimuthal indicators 300, 402, 500, 600 for the electronic component 100 so as to be able to verify the correct azimuth of the electronic component 100 by X-rays after surface mounting and integrating the electronic component.例文帳に追加

例示方法は、表面実装集積のために電子部品１００を供給し、電子部品の表面実装集積を実行した後でＸ線検査により電子部品１００の正しい方位が検証可能なように、電子部品１００のためのＸ線可視方位インジケータ３００、４０２、５００、６００を供給することから構成される。 - 特許庁

In other words, it also seems to be important to have ideas to verify the sources of profits and to increase the profitability to cover the costs of the base and employment (improvement of "economy of scope") not only by selling specific kinds of goods at a store in a local community but also by providing various goods and services whose demands are expected to increase such as support for the seniors through one-stop services. 例文帳に追加

つまり、地域の店舗において特定の種類のモノだけを売るだけでなく、高齢者支援など需要増が見込まれる様々なモノやサービスをワンストップサービス 49で提供していくことで収益源を多様化し、拠点や人件費等を賄う採算性を高めていくという発想（「範囲の経済性」の向上）も重要だと考えられる。 - 経済産業省

A test logic part 14 is provided, which converts an electric signal which is an analog signal generated by a pixel array part 12 provided with a plurality of pixels for photoelectric conversion, to a digital signal by an A/D converter 13 and uses the A/D converted digital signal to verify whether the operation state of each pixel in the pixel array part 12 is normal or not.例文帳に追加

光電変換する複数のピクセルが設けられているピクセルアレイ部１２にて生成されたアナログ信号である電気信号を、アナログ−デジタル変換器（Ａ／Ｄ）１３にてデジタル信号に変換し、アナログ−デジタル変換されたデジタル信号を用いて、ピクセルアレイ部１２の各ピクセルの動作状態がが正常か否かを検証するテストロジック部１４が設けられている。 - 特許庁

To verify without requiring a special picture format and to unnecessitate recording of additional information such as signature information by embedding data for verifying forgery to picture data itself, and to specify a pixel different from the original, that is a forged area, by verifying the original or not by the unit of the pixel on inspection.例文帳に追加

画像データそのものに改ざんを検証するためのデータを埋め込むことにより、特別な画像フォーマットを用いる必要がなく、検証が可能であり、署名情報のような付加的な情報を記録する必要がなく、さらに、検証の際には画素単位で原本か否かの検証を行うことから、原本と異なる画素すなわち改ざんのあった箇所の特定が可能である。 - 特許庁

Individuals or legal entities who have been assigned the right to use a trademark, should request trademark registration in the Lao PDR. The application should contain the permission of the trademark owner, plus the defining characteristics and qualities of the goods and services bearing the mark. In the case of partial assignment s, the agreement shall provide for the right of the owner of the trademark to verify the quality of goods or services.例文帳に追加

権利者から商標使用権を取得した自然人又は法人は、ラオスで商標登録出願しなければならない。その際、出願書類には、登録商標権者の許可、商標付商品と役務の特徴及び品質の記述を含まなければならない。部分的譲渡の場合は、商標権者が商品又は役務の品質を検査・検収できることとする。 - 特許庁

As the compound A is disclosed in examples in the cited document, it discloses that the compound embodiment comprise its pharmaceutical salt and the salt can be hydrochloride (i.e. salts formed with hydrochloric acid), it means that the cited document has referred to the hydrochloride of compound A, unless the applicant can provide evidence to verify the compound is not available before the date of filing. 例文帳に追加

化合物Aは引用文献の実施例で開示され、化合物の実施形態がその薬理学的な塩を含み、その塩が塩酸塩（すなわち、塩酸との塩）でありえることが開示されているため、出願人が出願日前に当該化合物が獲得できないことを証明する証拠を提供しない限り、引用文献は化合物Aの塩酸塩に言及していることを意味する。 - 特許庁

If a financial institution engages in different types of businesses-including those of a securities company, investment trust management company and securities investment advisory service-and comprises a financial conglomerate, etc., necessary collaboration with the Securities and Exchange Surveillance Commission (SESC) shall be performed, including conducting simultaneous inspections, in order to verify (Note) the consolidated risk management status of the group as a whole in an accurate and efficient manner. 例文帳に追加

証券会社、投資信託委託業者又は証券投資顧問業者を含む異なる業態の金融機関が、金融コングロマリットを形成している場合等においては、これらグループ全体の統合的なリスク管理の状況を的確かつ効率的に検証（注）する観点等から、証券取引等監視委員会との間で、同時検査の実施も含め必要な連携を行う。 - 金融庁

Bearing in mind that profits play an important role in preparing against risks, the FSA will verify the profitability status of regional financial institutions.If they are deemed to be in need of improved profitability, the FSA will identify what kind of strategies are being built and executed by regional financial institutions to enhance their profit base, including the progress of their efforts in region-based relationship banking. 例文帳に追加

収益がリスクの顕在化に対する備えとしても重要な役割を有していることを念頭に、地域金融機関の収益性の状況を確認する。収益性の改善が必要と認められる場合には、地域密着型金融に関する取組み状況を含め、収益基盤の充実に向けてどのような戦略を構築・実行しようとしているかなどについて把握する。 - 金融庁

Concerning financial statements as a whole, audit teams evaluate the reasonableness of accounting estimates made by managements of audit clients.They also evaluate the degree ofinherent risks and control risks related to accounting estimates.They collect audit evidence to verify that significant accounting estimates to be reflected in the financial statements are made in a comprehensive and reasonable manner. 例文帳に追加

監査チームは全体としての財務諸表に関連し、経営者が行った会計上の見積りの合理性について評価しており、会計上の見積りに係る固有リスクの程度及び統制リスクの程度を評価し、財務諸表に含まれるべき重要な会計上の見積りが漏れなく合理的に行われていることに関する監査証拠を入手している。 - 金融庁

To develop and maintain a fair, transparent and high quality financial and capital market, it is extremely important that financial instruments firms play the role of gatekeepers. They are expected to prevent the market participation of those who intend to abuse and misuse the market, through the adequate management of customers, trade examination, underwriting examination (due-diligence) and other activities. The SESC will verify whether and to what extent they are playing appropriately their roles. 例文帳に追加

公正・透明な質の高い金融・資本市場を形成していく上で、金融商品取引業者が顧客管理、売買審査、引受審査等を通じて、市場を悪用あるいは濫用する者の参加を未然に防止する、ゲートキーパーとしての役割を果たすことが極めて重要であることから、その役割を適切に果たしているかについて検証する。 - 金融庁

When MK Co., Ltd. (a taxi company) announced in 2002 that it would enter the route bus-operation business with fares that were less than those for Kyoto City buses, the city side complained that such an entrance would affect the business operation of the Kyoto City bus, and MK, after deciding in 2005 not to enter the business, has participated in an experiment to verify the feasibility of using small-sized buses or jumbo-taxis instead of ordinary buses as a consignment operator (with MK being in charge of the operation of jumbo-taxis on Route 84). 例文帳に追加

2002年にエムケイ(タクシー会社)が市バスより安い運賃で路線バス事業に参入することを発表し、市バスの経営に影響を与えると市側は反発したが、2005年にMKは参入しないことを決定し、代わって委託事業者として小型バス・ジャンボタクシー代替モデル実証実験に参加している（MKは84号系統のジャンボタクシーを担当）。 - Wikipedia日英京都関連文書対訳コーパス

(3) The court shall have the person who gave the statement verify the contents of the examination record (excluding the recording medium onto which the questions asked during examination of the witness, the statement given thereby, and the circumstances thereof were recorded pursuant to the provisions of Article 157-4, paragraph (2) of the Code; the same shall apply in the following paragraph and paragraph (5)) by having the court clerk read back the contents of the examination record to the person who gave the statement, or by having the person who gave the statement inspect the contents of the examination record. 例文帳に追加

３　調書（法第百五十七条の四第二項の規定により証人の尋問及び供述並びにその状況を記録した記録媒体を除く。次項及び第五項において同じ。）は、裁判所書記官をしてこれを供述者に読み聞かさせ、又は供述者に閲覧させて、その記載が相違ないかどうかを問わなければならない。 - 日本法令外国語訳データベースシステム

A visual image of the robot playing the action program is displayed through the use of visual information mentioned in the robot definition information, and in addition, resource information defined as the robot definition information is referred to verify whether the action program compiled by each action program compilation processing part can be carried out without conflicting with physical constraint on a real robot.例文帳に追加

ロボット定義情報に記載されている視覚的情報を用いて動作計画を再生するロボットの映像を表示するとともに、ロボット定義情報として規定されているリソース情報を参照して、各動作計画編集処理部において編集された動作計画がロボットの実機に課されている物理的な制約条件に抵触することなく実行可能かどうかを確認する。 - 特許庁

(6) If the results of experimental testing are not filed within three months preceding the expiration of four years from the date of priority, the Hungarian Patent Office shall invite the applicant to rectify the irregularity within the time limit fixed in paragraph (5) or to verify that the results of experimental testing have not yet been communicated. Failure to comply with the said invitation, the applicant shall be considered to have surrendered the provisional plant variety protection.例文帳に追加

(6) 実験的試験の結果が優先日から4年の満了前の3月以内に提出されない場合は，ハンガリー特許庁は，出願人に対し，(5)に定める期限内に不備を更正するよう又は実験の結果がまだ伝達されていないことを確認するよう求める。出願人が当該求めに従わない場合は，植物品種仮保護を放棄したものとみなす。 - 特許庁

The system includes an analysis module which analyzes control information associated with the digital media file and computes known hash value uniquely identifying the digital media file, and an verification module which computes verification hash value based on the received and analyzed digital media file and compares the verification hash value with the known hash value to verify the illegitimacy of the received and analyzed digital media file.例文帳に追加

デジタルメディアファイルに関連する制御情報を分析し、デジタルメディアファイルを一意に識別する既知のハッシュ値を計算する分析モジュールと、受信された分析されたデジタルメディアファイルから検証ハッシュ値を計算し、検証ハッシュ値と既知のハッシュ値を比較して、受信して分析されたデジタルメディアファイルが正当なものでないことを検証する検証モジュールとを含んでいる。 - 特許庁

(b) The articles established by public notice shall be the ones that pass the inspection to be conducted by the minister of land, infrastructure, transport and Tourism to verify that its container or packaging is compliant with the safety standards established by public notice; provided, however, that the same shall not apply when the container or packaging is compliant with the safety standards established by foreign regulations which the Minister deems appropriate. 例文帳に追加

ロ　告示で定める物件にあつては、その容器又は包装が告示で定める安全性に関する基準に適合していることについて国土交通大臣の行う検査に合格したものであること。ただし、当該容器又は包装が国土交通大臣が適当と認める外国の法令に定める基準に適合している場合にあつては、この限りでない。 - 日本法令外国語訳データベースシステム

In a manager authentication system, the manager holds a manager class electronic certificate which is an electronic certificate carrying information showing the permitted operation, and the system side discriminates the manager class to which the manager belongs with reference to the manager class electronic certificate held by the manager accessing to the held resource to verify the manager's access to the resource.例文帳に追加

管理者認証システムにおいては、管理者が、許可されている操作を示す情報が記述された電子証明書である管理者クラス電子証明書を保持し、システム側が、保持しているリソースに対してアクセスする管理者が保持する管理者クラス電子証明書を参照して当該管理者が属する管理者クラスを判別し、リソースに対する当該管理者のアクセスを検証する。 - 特許庁

In a flash memory comprising four banks BANK0-BANK3, a sequence control circuit WSC serving as a substantial write control circuit, a write time control circuit WTC, a verify circuit VF and a write voltage generating circuit VWG are provided for each bank in a specified combination or they are provided commonly to all banks thus imparting a write interleave function.例文帳に追加

例えば４個のバンクＢＡＮＫ０〜ＢＡＮＫ３を備えるフラッシュメモリ等において、実質的な書き込み制御回路となる書き込みシーケンス制御回路ＷＳＣ，書き込み時間制御回路ＷＴＣ，ベリファイ回路ＶＦならびに書き込み電圧発生回路ＶＷＧを、所定の組み合わせでバンクごとに設け、あるいは全バンク共通に設けて、書き込みインターリーブ機能を持たせる。 - 特許庁

The setup time of the semiconductor testing device 2 is abridged, and the evaluation time of a microcomputer 1 becomes shorter by providing in the microcomputer 1 having a built-in flash EEPROM 20, and a faulty bit measurement circuit 60 which measures the number of faulty bits corresponding to each verify electric potential of the flash EEPROM 20.例文帳に追加

フラッシュＥＥＰＲＯＭ２０を内蔵したマイクロコンピュータ１内にフラッシュＥＥＰＲＯＭ２０の各ベリファイ電位に対応して不良ビットの個数をそれぞれ計測する不良ビット測定回路６０を備え、これら不良ビットの個数を半導体テスト装置２に送ることにより、半導体テスト装置２のセットアップ時間を短縮しマイクロコンピュータ１の評価時間を短くしたことを特徴とする。 - 特許庁

The separation of the iron-saccharidic complex responsible for hematinic function, including its lyophilized form, provides a means for preparing an analytical material to verify and validate its pharmacological integrity, patient safety and clinical performance, as well as analytical monitoring, standardization and quality control inspection over hematinic drug manufacturing processes and establishment of standards for use therewith.例文帳に追加

造血機能に起因する鉄−サッカリド錯体の凍結乾燥形態を含む分離によって、医薬の完全性、患者の安全性、および臨床性能の確認および実証ための分析用物質の調製手段が提供され、さらに、それらを使用して分析的監視、造血剤の製造工程における規格化および品質制御の検査、および標準物質の確立が可能となる。 - 特許庁

Does the Asset Freeze Administrator verify the validity of administrative procedures and organizational frameworks intended to comply with foreign exchange laws and regulations related to economic sanctions such as asset freeze in a timely and appropriate manner and review the administrative procedures and organizational frameworks intended to comply with foreign exchange laws and regulations related to economic sanctions such as asset freeze in accordance with changes, etc. of the actual conditions of business on an as needed basis? 例文帳に追加

資産凍結等責任者は、資産凍結等経済制裁に関する外為法令を遵守するための事務手続や組織体制の有効性を適時適切に検証するとともに、業務の実態の変化等にあわせ、必要に応じ、資産凍結等経済制裁に関する外為法令を遵守するための事務手続や組織体制を見直しているか。 - 財務省

To provide a technology that can verify that area data in image data are area data in source image data different from the original source image data and/or that the area data are different from area data in the original source image in addition to the verification of whether the area data in the image data are forged.例文帳に追加

画像データ中の領域データが改竄されているか否かを検証することに加え、前記領域データが本来の原画像データ中とは異なる原画像データ中の領域データであることを検証可能、且つ／或いは、前記領域データが本来の原画像データ中の異なる領域データであることを検証可能とする技術を提供しようとするものである。 - 特許庁

An in-circuit emulator 10 to verify the chip design divided into internal logic design and external interface design to communicate with the target system 12 by at least one interface protocol includes a processing engine 101 to process algorithm of the logic function by design of an internal logic and a pin signal generating part 102 to generate a plurality of pin signals by design of an external interface.例文帳に追加

内部ロジック設計と、少なくとも一つのインターフェースプロトコルによって目標システム１２と通信するための外部インターフェース設計とに分かれるチップ設計を検証する回路内エミュレータ１０は、内部ロジックの設計によってロジック関数のアルゴリズムを処理するプロセシングエンジン１０１と、外部インターフェースの設計によって複数のピン信号を生成するピン信号生成部１０２とを含む。 - 特許庁

Interference pattern information 17 is outputted by a pattern matching verification system 15, and the interference pattern information 17 and design rules 11 are compiled to extract design rules to be applied to the interference pattern information 17, by a physical verification system 16, and design rules are referred to verify the design rules between a comparison cell list 13 and the interference pattern information 17.例文帳に追加

パターンマッチング検証システム１５によって干渉パターン情報１７が出力され、物理検証システム１６によって、干渉パターン情報１７とデザインルール１１とがコンパイルされることによって干渉パターン情報１７に適用されるデザインルールが抽出され、デザインルールを参照して、比較セルリスト１３と干渉パターン情報１７との間にてデザインルールの検証が行われる。 - 特許庁

When a certain fables maker carries out circuit design of a semiconductor integrated circuit and also when it makes a selection of manufacturing consignee of the semiconductor integrated circuits, it provides the above requirement specifications to a plurality of fab makers and can verify the appropriateness and the optimality to the requirement specifications by conducting circuit simulation using the model parameter returned from each fab maker as a response.例文帳に追加

あるファブレスメーカが半導体集積回路の回路設計を行なうとき、そして、その半導体集積回路の製造依頼先を選定するとき、複数のファブメーカに前記要求仕様を与え、それに応答して各ファブメーカから返されるモデルパラメータを用いた回路シミュレーションを行なうことにより、その要求仕様に対する最適性もしくは適合性を検証することができる。 - 特許庁

This flash memory device includes a write driver for driving a data line according to data to be written to a flash memory cell during a program period, a sense amplifier circuit for sensing and amplifying the data stored in the flash memory cell during a program verify period, and an isolation circuit for electrically isolating the sense amplifier circuit from the data line during an operation period of the write driver.例文帳に追加

ここに開示されるフラッシュメモリ装置は、プログラム区間の間、フラッシュメモリセルに書き込まれるデータに従ってデータラインを駆動する書き込みドライバと、プログラム検証区間の間、前記フラッシュメモリセルに貯蔵されたデータを感知増幅する感知増幅回路と、前記書き込みドライバの動作区間の間、前記データラインから前記感知増幅回路を電気的に絶縁させる絶縁回路とを含む。 - 特許庁

As such, EPAs/FTAs function to curb round-about trade by third countries (attempts to receive preferred tariff rates applied to member countries of an EPA/FTA by trading en route to any such member country), by stipulating country-of-origin rules, aiming to verify whether or not traded products are original to their member countries. Pursuant to these rules, only products originated in member countries can receive the preferred tariff rates of any given EPA/FTA.例文帳に追加

そのため、EPA ／FTAでは、第三国による迂回貿易（協定締約国経由で輸出入することにより、協定特恵税率の適用を受けようとする等）を防止する目的から、協定締約国の「原産品」であるか否かを判定するためのルールである原産地規則を規定し、原産品についてのみ協定特恵税率を適用することとしている。 - 経済産業省

B. As set out in FSIS Directive 9000.1, Export Certification, inspection program personnel are to verify that each product listed on the application complies with the meat and poultry product regulations and the importing country’s requirements (e.g., that each product listed on the application is eligible for export to the country listed on the application).例文帳に追加

B.FSIS指令第9000.1号「輸出証明」に規定されているとおり、検査プログラム担当職員は、申請書に記載されている各製品が食肉および食鳥肉製品に関する規則および輸出先国の要件を遵守しているかどうか（たとえば、申請書に記載された各製品は、同申請書に記載された国向けの輸出に適格であるかどうか）を検証するものとする。 - 厚生労働省

The threshold voltage is set so as to keep in required distribution from one direction for the write selection nonvolatile memory cells in write processing for the rewriting unit using write verify voltage, for a result of write processing, for example, stored information is read out from the nonvolatile memory cell of write selection and non-write selection of the rewriting unit using upper or lower discriminating voltage.例文帳に追加

書換え単位に対する書込み処理において書込み選択の不揮発性メモリセルに対して、書込みベリファイ電圧を用いて、その閾値電圧を一方向から所要の分布に収めるように設定し、書込み処理の結果に対して例えば上裾判定電圧を用いて書換え単位の書込み選択及び書込み非選択の不揮発性メモリセルから記憶情報を読み出す。 - 特許庁