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

試行ネットリストのネットリストと初期配置時の配置情報と実負荷遅延検証での遅延値とを与えることにより、評価対象ネットリストの初期配置を行った段階で、段数変化による遅延劣化を検出でき、パス長変化による遅延劣化の可能性も検出できる。例文帳に追加

The netlist of the trial netlist and layout information in the case of initial layout and the delay value in the real load delay verification are applied so that it is possible to detect delay deterioration due to the changes of the number of steps, and the possibility of the delay deterioration due to the change of the path length in the stage of the initial layout of the evaluation target netlist. - 特許庁

データ担体を検証し、データ担体から作業及び／又はゲームのサインを読取る手段によってゲーム装置により作業及び／又はゲームの実行の可能性を決定し、ゲーム装置により作業及び／又はゲームを実行する。例文帳に追加

The possibility of the work and/or the execution of a game by a game machine is determined by a means varifying the data base and reading a sign of the work and/or game from the data base, to execute the work and/or the game in the game machine. - 特許庁

誤差補正情報と衛星軌道情報をセンター局で生成し、両情報の妥当性を検証し、利用可能な情報を移動体端末に伝送し、移動体端末ではこれらの情報を利用して高精度短時間に位置検出する。例文帳に追加

Error correction information and satellite orbit information are generated at a center station and checked for validity to transmit the usable information to the terminal of a moving element, where position is detected with high accuracy and in a short time by use of the pieces of information. - 特許庁

公開鍵基盤技術の安全性を保ちつつ，公開鍵証明書のサブジェクトに記載されている個体を特定することの可能なプライバシー情報を検証者側に知らせないようにするための，ネットワーク上での資格認証を実現する。例文帳に追加

To realize qualification authentication on a network which does not inform a verifier of privacy information capable of specifying an individual described in a subject of a public key certificate while securing the safety of public key fundamental technology. - 特許庁

ＩＣカードを利用して、投票カードの正当性を検証するための受付装置と投票装置の秘密鍵の権限を、投票所の責任者である投票管理者から受付担当者にセキュアに委譲することが可能となる電子投票システムを提供する。例文帳に追加

To provide an electronic voting system capable of securely transferring the right of a secret key of a reception device and a voting device for verifying the validity of the voting card from a voting manager, or a responsible person of a polling place to a receptionist using an IC card. - 特許庁

電子データの改ざん、消去の防止及び検知を可能にするとともに、電子データの原本性を確保することのできる電子データ保管システム、履歴検証装置、電子データ保管方法及び記憶媒体を提供すること。例文帳に追加

To provide an electronic data storage system, a history verifying device, an electronic data storing method and a recording medium by which electronic data can be prevented from being fraudulently altered or erased and detecting erasure and alteration of electronic data and capable of securing the original record performance of the electronic data can be secured. - 特許庁

画像形成装置において、装置の設定状態を出力するステータスページの正当性、特に装置の設定変更可能項目について正しくステータスページに出力されているかの検証を自動で行って省力化すること。例文帳に追加

To provide an image forming apparatus which automatically verifies correctness of a status page for outputting a set state of the apparatus, especially, verifies whether the setting changeable items of the apparatus are correctly output to the status page, so as to save manpower in verification. - 特許庁

煩雑な予備的検証を少なくし、所望の実用物性を有する多結晶セラミック焼結体を高い確度で選択可能であり、その工業的製法の確立に寄与できる多結晶セラミック焼結体の評価方法を提供すること。例文帳に追加

To provide a method for evaluating a polycrystal ceramic sintered compact by which complicated preliminary verification is reduced, and a polycrystal ceramic sintered compact having desired practical physical properties can be selected at high accuracy, and which can contribute to the establishment of the industrial production method thereof. - 特許庁

就職可能性を高める民間訓練カリキュラムを開発するため、産官学による地域コンソーシアム（共同作業体）を構築し、多様な職業訓練コースの開発・検証、普及に取り組み、開発したカリキュラムに基づき身近な場で訓練を実施する。例文帳に追加

In order to develop non-government training curricula which increase the possibility of hiring, we will establish local industry government- academia consortia (joint work bodies) to develop, verify and disseminate diversified occupational training courses, and implement training at accessible venues based on the developed curricula. - 厚生労働省

複数の記憶領域を設けた電気的に消去可能な不揮発性メモリを備える電子制御装置において、各記憶領域内にデータ格納部８と、各領域の情報の新旧を相対的に判定可能なカウンタ７と、有効性検証用のチェックデータを格納するチェックデータ部９とを設ける。例文帳に追加

An electronic control device comprising an electrically erasable nonvolatile memory having a plurality of storage areas has, in each storage area, a data storage part 8, a counter 7 enabling a relative determination of whether information in the area is new or old, and a check data part 9 for storing check data for validity verification. - 特許庁

本発明は、特に検証装置等を用いなくても容易に真贋の判定が可能であり、より一層高度な偽造防止効果を発現すると共に、ブレーズド回折格子パターンの視認性の向上、ならびにデザインの自由度の拡大を可能とするブレーズド回折格子パターンを有する回折格子アレイの提供を目的とする。例文帳に追加

To provide a diffraction grating array having a blazed diffraction grating pattern in which the real from the false is easily told without using a particular device of verification, a higher effect of preventing a forging is realized, the visibility of the blazed diffraction grating pattern is improved and the freedom of design is expanded. - 特許庁

出鋼ロット編成する際に、ユニット番号と出鋼予測量とを表す予測検証キャスト編成状況把握リストを用いて、複数のユニット番号を指定したときに、成分抱合せテーブルを参照して、抱合せの可能性を判断し、抱合せ不可能であるときにその旨のメッセージを表示すると共に、出鋼ロット編成を表示する。例文帳に追加

In organizing steel tapping lots, a prediction/verification cast organization state grasping list representing the unit numbers and the steel tapping lot prediction quantity is used to designate the plurality of unit numbers, and the possibility of combination is determined by referring to the component combination table, and when the combination is impossible, a message showing the result is displayed, and steel tapping lot organization is displayed. - 特許庁

チケット発行装置３_tは、それ自体を外部に示すことなく、その存在を証明することができるアルゴリズムが適用可能な秘密鍵を含む有効性データと、その秘密鍵の存在を検証するのに用いられる、その秘密鍵に対応する公開鍵を含み、有効性データによって、その有効性が証明される被証明情報とを生成し、有効性データと被証明情報とからなる電子チケットを発行する。例文帳に追加

A ticket issuer 3T forms effective data, including a secret key, capable of applying alogorithm capable of providing the presence without indicating itself to an external part, and providing object information used for verifying the presence of the secret key, including a public key corresponding to the secret key, and providing the effectiveness, and issues the electronic ticket composed of the effective data and the providing object information. - 特許庁

将来のバージョンのプロファイラとの互換性は保証されておらず、(旧バージョンのものなど)他のプロファイラとの互換性もないことに注意してください。 複数のファイルを指定した場合、同一の関数の統計情報はすべて合算され、複数のプロセスで構成される全体をひとつのレポートで検証することが可能になります。例文帳に追加

To be specific, there is no file compatibility guaranteed with future versions of this profiler, and there is no compatibility with files produced by otherprofilers (such as the old system profiler).If several files are provided, all the statistics for identicalfunctions will be coalesced, so that an overall view of several processes can be considered in a single report. - Python

回路のビヘイビア記述に対して回路のスケジュールを検証する方法は、スケジュールからループを含む可能性のある実行のスケジュールスレッドを選択し、ビヘイビア記述から対応するビヘイビアスレッドを識別し、スケジュールスレッド及びビヘイビアスレッドの無条件等価性を証明し、実行のすべてのスレッドについて以上を繰り返す。例文帳に追加

Concerning the method for verifying the schedule of the circuit corresponding to the behavior description of the circuit, the schedule thread of possible execution containing the loop is selected from the schedule, a correspondent behavior thread is identified out of the behavior description, the un-conditional equivalency of the schedule thread and the behavior thread is proved, and the operation is repeated concerning all the threads of execution. - 特許庁

ライセンスキーデータ３０は、ソフトウエアパッケージにおけるライセンスされたプログラムを特定するライセンスデータ（３２，３６，３８）と、ライセンスデータの正当性をソフトウエアパッケージにつき一括して証明する証明データ３４とを含み、証明データ３４に基づいてライセンスデータ（３２，３６，３８）の正当性を検証し、ライセンスされたプログラムのみを実行可能に設定する。例文帳に追加

License key data 30 includes license data (32, 36 and 38) for specifying a licensed program in a software package and certification data 34 for collectively certifying the validity of the license data, the validity of the license data (32, 36 and 38) is verified on the basis of the certification data 34, and only the licensed program is set in an executable state. - 特許庁

稼働中の計算機のメモリアクセス要求を受け取り、任意に構成の設定が可能なキャッシュメモリによりそのメモリアクセス要求の動作を模倣することにより、現行計算機のキャッシュ構成の実稼働環境における妥当性の検証や、次期計算機の設計に対するキャッシュ性能予測を行う。例文帳に追加

To verify validity in the real operation environment of cache constitution of a current computer and to predict cache performance for the design of a next computer by receiving a memory access request to a computer in operation and simulating the operation of a memory access request by a cache memory whose constitution can be optionally set. - 特許庁

ステップＳ３において、詳細配線後のタイミング検証で遅延違反を起こす可能性があるネットに対して挿入接続される遅延補償用バッファが、仮想配線経路に沿って配置される場合の配置容易性を表す判定指数を算出し、判定指数が判定基準値よりも小さい場合はステップＳ６でフロアプランを修正する。例文帳に追加

At a step S3, a delay compensation buffer being inserted and connected with a net having the possibility of violating the delay rule in the timing verification following to detailed routing calculates the decision index indicating the placeability in case of placement along an estimated route and, at a step S6, the floor plan is corrected if the decision index is smaller than a decision reference level. - 特許庁

本発明のテキスト・ドキュメントの認証方法は、テキストを有するドキュメントを作成するステップと、視覚的に認識可能な第１のマーキング材料と検出可能であるが視覚的には認識不可能である第２のマーキング材料とを組み合わせてテキストの少なくとも一部を作成するステップと、所定の処理を施してこの第２のマーキング材料パターンを読み取ることによってドキュメントの正当性を検証するステップとを含む。例文帳に追加

A text document authentication method of the present invention includes the steps of: creating a document having a text; creating at least a part of the text by combining a first, visually perceptible marking material and a second, detectable yet not visually perceptible marking material; and verifying correctness of the document by applying predetermined processing to read a second marking material pattern. - 特許庁

そうしなければ、送信元検証は十分に機能しません。 警告: 但し、非対称ルーティング(行きと帰りで異なる経路をとるパケット)を使用している場合、もしくは異なるインターフェースに複数のIPアドレスを割り当てている非ルーティングホストの場合では、リバースパスフィルタリングは問題になる可能性があります。例文帳に追加

Warning: However turning on reverse path filtering can be a problem if you use asymmetric routing (packets from you to a host take a different path than packets from that host to you) or if you operate a non-routing host which has several IP addresses on different interfaces. - Gentoo Linux

④監督当局は、金融コングロマリットのリスクの集中の検証に際し、グループ内で合算した場合にグループ全体の財務に重大な影響を与える可能性のあるエクスポージャー（信用リスク、投資リスク、市場リスク、保険引受けリスク、その他のリスク、又はこれらのリスクの組合せによって発生するエクスポージャー）について、必要に応じ、報告を求めることとする。例文帳に追加

④ Supervisory authorities shall request reports as may be required on exposures (credit risks, investment risks, insurance underwriting risks, other risks, or exposures arising out of a combination of these risks) which, when combined within the group, may have a material effect on the financial condition of the group as a whole.  - 金融庁

法人名称の認可又は検証を管轄する登録機関は，申請された名称又は事業名称について，本法の条件に基づく周知又は著名な商標又は商号に対応する又はこれと混同を生じさせる可能性のある場合は，商標又は商号の所有者の許諾が得られた場合を除き，これを拒絶する。例文帳に追加

The registration bodies competent to grant or verify names of legal persons shall reject the name or business name requested if it corresponds to or may generate confusion with a known or famous trademark or trade name under the terms of this Law, except where the authorization of the owner of the trademark or trade name has been obtained. - 特許庁

Chordal型超音波給水流量計による給水流量の計測精度に対する信頼性を高めることができ、それにより熱出力演算における見込誤差をより小さくすることができ、プラントの運転効率を向上することを可能とする超音波給水流量計の検証方法の提供することにある。例文帳に追加

To provide a method for verifying ultrasonic feed-water flowmeters capable of heightening the reliability of measurement accuracy of a feed-water flow by a Chordal type ultrasonic feed-water flowmeter, reducing estimated errors in thermal output operations, and improving the operating efficiency of a plant. - 特許庁

異常検出部２３は、この記録部２２に記録された各機器の動作データに基づいて異常の可能性を判断すると共に、その異常原因を検証するための診断運転メニューをメニューリスト２４から選択し、この診断運転メニューに対応した診断運転を運転制御部２１に実施させる。例文帳に追加

An abnormality detection part 23 determines the possibility of abnormality based on the operating data of each device recorded in the recording part 22, selects a diagnostic menu for verifying the cause of the abnormality from a menu list 24, and makes the operation control part 21 perform a diagnostic operation for the diagnostic operation menu. - 特許庁

異常検出部２３は、この記録部２２に記録された各機器の動作データに基づいて異常の可能性を判断すると共に、その異常原因を検証するための少なくとも２つ以上の診断運転メニューをメニューリスト２４から選択し、これらの診断運転メニューに対応した診断運転を運転制御部２１に実施させる。例文帳に追加

An abnormality detection part 23 determines the possibility of abnormality based on the operating data of each device recorded in the recording part 22, selects at least two or more diagnostic operation menus for verifying the cause of the abnormality from a menu list 24, and makes the operation control part 21 perform a diagnostic operation for the diagnostic operation menu. - 特許庁

オブジェクト指向プログラムの実行パスの検証を支援する実行パス照合装置に関し，実行時に生成されたトレース情報と設計時に作成した実行パスとを比較し，両者が一致している可能性のあるところを提示し，一致と判断された場合には両者を関連付けて保存できる装置を提供する。例文帳に追加

To provide a device capable of presenting a part with a possibility of coincidence between the both of a trace information generated at the time of execution and an execution pass prepared at the time of design by comparing the both, and preserving the both while relating them when coincidence is judged, concerning an execution pass collating device for supporting the verifica tion of the execution pass of an object oriented program. - 特許庁

異常検出部２３は、この記録部２２に記録された各機器の動作データに基づいて異常の可能性を判断すると共に、その異常原因を検証するための診断運転メニューをメニューリスト２４から選択し、その診断運転メニューに対応した診断運転を運転制御部２１に実施させる。例文帳に追加

An abnormality detection section 23 determines a possibility of the abnormality based on the operation data of each apparats recorded on the recording section 22, selects a diagnostic operation menu for verifying a cause of the abnormality from a menu list 24, and allows the operation control section 21 to perform the diagnostic operation corresponding to the diagnostic operation menu. - 特許庁

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

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. - 特許庁

実際稼働中の原電または装置産業の設備で発生する応力腐食割れを、原電で実際使用している配管材に原電と類似な環境下で直接形成させ、割れの進展速度を予測することにより、実際原電または装置産業における危険度を減少させるとともに非破壊検査の技量検証に対する実効性を保障することが可能な応力腐食割れ形成装置の提供。例文帳に追加

To provide a stress corrosion cracking forming apparatus capable of securing effectiveness for skill validation of nondestructive inspection while decreasing risk in actual atomic power plants or apparatus industries by directly forming stress corrosion cracking developed actually at facilities of atomic power plants or apparatus industries under operation in piping material actually used at atomic power plants under an environment similar to atomic power plants to predict a crack growth rate. - 特許庁

テストパターンを用いた検査におけるフェイルの原因となる可能性のある内部回路の故障を初期被疑故障抽出手段１０２により初期被疑故障として抽出し、この初期被疑故障に対して故障検証手段１０４により故障シミュレーションを実施して検査における各フェイルの原因となる内部回路故障の候補を検出する。例文帳に追加

A failure of an internal circuit having a possibility of causing a failure in an inspection using a test pattern is extracted as a preliminary suspectable failure by a preliminary suspectable failure extraction means 102, and a failure simulation is executed to the preliminary suspectable failure by a failure certification means 104, to thereby detect candidates of the internal circuit failure causing each failure in the inspection. - 特許庁

データ片は、拡張可能マークアップ言語（ＸＭＬ）といったマークアップ言語に従って構造化されることができ、ＸＭＬスキーマは各データ片に関連付けられることができ、データ・ストアは、所与のデータ片に関連付けられたＸＭＬスキーマに基づいて、データに適用された構造の妥当性を検証することができる。例文帳に追加

The pieces of data may be structured according to a markup language such as the Extensible Markup Language (XML), and XML schemas may be associated with each piece of data for allowing the data store to validate the structure applied to the data based on an XML schema associated with a given piece of data. - 特許庁

本章では、上記のような問題意識に基づき、気候変動、資源、食料、水、貧困等の各課題について、その現状及びそれに対する各国の対応並びに我が国の有する技術や社会システム等の総合力をいかした課題解決に向けた貢献の可能性を検証し、新たな持続的発展のための市場の在り方を展望する。例文帳に追加

In this chapter, based on the above problem consciousness, issues such as climate change,resources, food, water, and poverty will be discussed. For each issue, the current situations and responses of each country, as well as the possibilities for Japan to contribute to solving the challenges by applying its comprehensive capabilities including technologies and social systems will be examined. Appropriate future structures of the market in achieving sustainable development will also be considered. - 経済産業省

これは，二国間の大学間協定という既存のネットワークを APEC 全体での自発的な仕組みへの拡張すること，APEC エコノミー間の（オンライン・コースのような）教育用コンテンツの柔軟な設計及び提供に関する政策の検証，及び教育プログラムに関する APEC データベースの可能性の検討を含み得る。例文帳に追加

This could include enlarging the existing network of bilateral agreements between universities into an APEC-wide voluntary mechanism; examining policies related to the flexible design and delivery of educational content (such as online courses) between APEC economies; and exploring the possibility of an APEC database of educational programs. - 経済産業省

なお、残留農薬等について検査命令の対象となっている食品については、当該輸出国における残留農薬等の管理の不徹底及び使用農薬等の変更の可能性があり、検査命令の対象項目以外の農薬等が基準値を超えて残留する懸念があることから、輸出国における残留農薬等管理の検証を目的として、モニタリング検査を強化することとする。例文帳に追加

Furthermore, for foods subject to inspection orders for residual agricultural chemicals, etc., there is the possibility of insufficient management of residual agricultural chemicals and changes in the agricultural chemicals being used in exporting countries and there is fear that agricultural chemicals other than those subject to inspection orders may exceed standard values consequently. Therefore, monitoring inspections must be strengthened for the purpose of verifying the management of residual agricultural chemicals, etc. in exporting countries. - 厚生労働省

なお、残留農薬等について検査命令の対象となっている食品については、当該輸出国における残留農薬等の管理の不徹底及び使用農薬等の変更等の可能性があり、検査命令の(別添１) 対象項目以外の農薬等が基準値を超えて残留する懸念があることから、輸出国における残留農薬等管理の検証を目的として、モニタリング検査を強化することとする。例文帳に追加

Furthermore, for foods subject to inspection orders for residual agricultural chemicals, etc., there is the possibility of insufficient management of residual agricultural chemicals and changes in the agricultural chemicals being used in exporting countries, and here is fear that agricultural chemicals other than those subject to inspection orders may exceed standard values consequently. Therefore, monitoring inspections must be strengthened for the purpose of verifying the management of residual agricultural chemicals, etc. in exporting countries. - 厚生労働省

なお、残留農薬等について検査命令の対象となっている食品については、当該輸出国における残留農薬等の管理の不徹底及び使用農薬等の変更の可能性があり、検査命令の対象項目以外の農薬等が基準値を超えて残留する懸念があることから、輸出国における残留農薬等管理の検証を目的として、モニタリング検査を実施することとする。例文帳に追加

Therefore, monitoring inspections must be strengthened for the purpose of verifying the management of residual agricultural chemicals, etc. in exporting countries. - 厚生労働省

なお、残留農薬等について検査命令の対象となっている食品については、当該輸出国における残留農薬等の管理の不徹底及び使用農薬等の変更等の可能性があり、検査命令の対象項目以外の農薬等が基準値を超えて残留する懸念があることから、輸出国における残留農薬等管理の検証を目的として、モニタリング検査を強化することとする。例文帳に追加

Therefore, monitoring inspections must be strengthened for the purpose of verifying the management of residual agricultural chemicals, etc. in exporting countries. - 厚生労働省

さらに、残留農薬等について検査命令の対象となっている食品については、当該輸出国における残留農薬等の管理の不徹底及び使用農薬等の変更等の可能性があり、検査命令の対象項目以外の農薬等が基準値を超えて残留する懸念があることから、輸出国における残留農薬等管理の検証を目的として、モニタリング検査を強化することとする。例文帳に追加

Furthermore, for foods subjectto inspection orders for residual agricultural chemicals, etc., there is the possibility ofinsufficient management of residual agricultural chemicals and changes in the agriculturalchemicals being used in exporting countries, and here is fear that agricultural chemicals otherthan those subject to inspection orders may exceed standard values consequently.Therefore,monitoring inspections must be strengthened for the purpose of verifying the management ofresidual agricultural chemicals, etc. in exporting countries. - 厚生労働省

自見前大臣としては、恐らく3月末以降の延長は可能性としてもうないというようなニュアンスでおっしゃられていたと私どもは認識しているのです。でも、今の大臣のお言葉を聞いていると、被災地の現状とかをですね、検証した上で、必要であれば、これは円滑化法の再々延長も可能性としてあり得るというふうに聞こえたのです。その辺で大分、自見さんとニュアンスが違うなと思い、「白紙」という言葉の意味をもう一度確認したいと思います。例文帳に追加

We understand that Former Minister Jimi meant to say that there was no possibility of the act being extended beyond the end of next March. However, from what you said, it appears that the SME Financing Facilitation Act may be extended once again if that is found to be necessary as a result of the review of the current situation of the disaster regions. In that respect, there seems to be a difference of nuance between what you said and what Mr. Jimi said, so let me make sure what you mean when you say you “have an open mind”.  - 金融庁

大学等と民間企業との産学官連携を更に促進するため、独立行政法人科学技術振興機構において、大学等の有望な研究成果の事業化を目指し、実用化の可能性を検証するシーズ探索、企業との実用化に向けた共同研究開発、大学発ベンチャー創出等、それぞれの状況におけるニーズや課題の特性に応じた最適なファンディング計画を設定しながら、シームレスに研究開発を推進する「研究成果最適展開支援事業(A-STEP)」を実施している。例文帳に追加

In order to promote cooperation between universities and the private sector, the Japan Science and Technology Agency runs the Adaptable and Seamless Technology Transfer Program through Target-Driven R&D(A-STEP). This program promotes "seamless" implementation of research and development while setting optimum funding plans for activities such as: "seeds exploration," which assesses commercial viability with a view to commercializing promising research results achieved by universities; joint research projects with the private sector for commercialization; and university-derived venture businesses, in accordance with the specific nature of the needs and challenges involved in these activities. - 経済産業省

プロセッサが、前記メモリ２００Ａの、ダミー・コード２３１Ａ、２３２Ａを含む領域Ｒ内で、前記関数２２０を再配置し、前記ダミー・コード２３１Ａ、２３２Ａを予測可能な仕方で変換し、以前のチェックサムに基づいて前記領域Ｒについての予測されたチェックサムを生成し、前記領域Ｒに対する計算されたチェックサムを生成し、前記予測されたチェックサムと前記計算されたチェックサムとを比較することによって前記関数２２０の完全性を検証する。例文帳に追加

A processor relocates the function 220 in a region R including dummy codes 231A and 232A, in the memory 200A, transforms the dummy codes 231A and 232A in a predictable manner, generates a predicted checksum for the region R based on a previous checksum, generates a calculated checksum for the region R, and verifies the integrity of the function 220 by comparing the predicted checksum and the calculated checksum. - 特許庁

このステップＳ１０２では、ＤＩＲＷマトリックスとは、検証対象回路１００に含まれるレジスタにおいてＤｅｃｌａｒｅと、Ｉｎｉｔｉａｌｉｚｅと、Ｒｅａｄと、Ｗｒｉｔｅとの４つの状態の中から生じる可能性のある状態遷移をあらわしたＤＲＩＷマトリックスを用意し、このＤＩＲＷマトリックスを利用して、マトリックスカバレッジ基準１１０と、実装カバレッジ基準１２０との２種類のカバレッジ基準を決定する。例文帳に追加

In the step S102, as a DIRW matrix, the DIRW matrix is prepared to indicate possibly occurring state transitions among four states Declare, Initialize, Read, and Write in the register included in the verification target circuit 100, and the DIRW matrix is used to decide two kinds of coverage criterions, a matrix coverage criterion 110 and an implementation coverage criterion 120. - 特許庁

EU・IMF支援プログラムでは2013年から長期国債発行による市場での資金調達を再開することとなっており、EU・IMFは2012年4月に実施した同国への第4回支援融資に係る経済・財政状況の検証報告書で、同国の財政健全化に向けた取組は順調に進んでいると強調しているものの、現在の長期国債利回りはいまだ高水準のため、今後2013年の長期国債発行断念の可能性が市場で取りざたされている。例文帳に追加

According to the EU and IMF support program, the financing on the market through issuance of a long-term government bond will be resumed in 2013. In their report91 on the verification of the economic and financial situations concerning the fourth support fund for Portugal implemented in April 2012, the EU and the IMF stress that the country's efforts to make its fiscal condition healthier have been successful. However, since the current long-term government bond yield is still high, there is speculation on the market that the country may give up issuing a long-term government bond for2013 in the future. - 経済産業省

神が世界とそのうちにある万物をどのように創造されたかという物語は、けっして観察できない(この点では、それは進化論よりもずっと大きな欠点がある)だけでなく、創世記の物語は、それがまったく科学的な妥当性を持っていない(つまり、もしあらゆる種が同時に形成されたのなら、化石を産出する地層のどの層にもあらゆる型の種が見つかるはずだ)ということを繰り返し偽ってきたもの以外には、実質上、検証可能な予測をなにも生み出していない。例文帳に追加

Not only can the story of how God created the world and everything in it never be observed (in that respect it is even more deficient than the theory of evolution), but the Genesis narrative generates virtually no testable predictions, other than one which has been so repeatedly falsified that it has no scientific validity whatsoever (namely, that if all the species were formed at the same time, we should find all types at all levels of the fossilized strata).  - Ian Johnston『科学のカリキュラムで創造説？』

データ格納方法、データ・ストレージ・システムおよびプログラム（ストレージ・システムにおけるデータ完全性の検証）（著作権および商標登録表示本特許文書の開示の一部は、著作権保護を受ける内容を含む。本所有権者は、特許文書または特許開示書のいずれか一つによるファクシミリ複写物には、複写物が特許商標庁の特許ファイルまたは記録として世に出現している限り異論はないが、他の場合に全ての著作権は完全に留保する。）（本明細書で参照するある種のマークについては、出願人またはその譲受人と提携しまたは提携しない第三者の、慣習法上の、または登録された商標である可能性がある。これらのマークを使用するのは、例示によって実施可能な開示を提供するためであり、そのようなマークに関連するもののみに本発明の範囲を制限するように解釈されるべきではない。）例文帳に追加

DATA STORAGE METHOD, DATA STORAGE SYSTEM AND PROGRAM (VERIFICATION OF DATA INTEGRITY IN STORAGE SYSTEM) - 特許庁