「description technique」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

To provide an abstraction device and a verification device of circuit description, an abstraction program and a verification program of the circuit description, and an abstraction method and a verification method of the circuit description, allowing facilitation of verification of the circuit description converted into a formal specification, wherein description contents of a program can be verified by a formal technique.例文帳に追加

プログラムの記述内容を形式的手法による検証が可能な形式的仕様に変換した回路記述の検証を簡便ならしめることができる回路記述の抽象化装置及び検証装置、回路記述の抽象化プログラム及び検証プログラム、並びに回路記述の抽象化方法及び検証方法を提供する。 - 特許庁

Using a copper plate as a conductive plate is a well known technique, but the originally attached description, etc. does not mention anything about a copper plate. 例文帳に追加

導電板として銅板を用いることは、普通に知られていることではあるが、当初明細書等のいずれの箇所にも「銅板」についての記載はない。 - 特許庁

To provide a technique for supporting work for adding a description necessary for each nation before translating a manual for each nation.例文帳に追加

マニュアルを各国用に翻訳する前に、それぞれの国に必要な記述を追加する作業を支援するための技術を提供する。 - 特許庁

To provide a technique for displaying the access state of a link designation so that the relation with the description position of the link designation in a Web page can be grasped.例文帳に追加

リンク先のアクセス状況を、Ｗｅｂページ内のリンク先の記述位置との関係がわかるように表示する技術を提供する。 - 特許庁

To provide a technique which permits the description of a moving image to be confirmed on the basis of moving image data without using a moving image reproduction module.例文帳に追加

動画像再生モジュールを使用せずに、動画像データに基づいて動画像の内容を確認することが可能な技術を提供する。 - 特許庁

The design support system is provided with a server 10 in which a master package including description of all calculation programs and design technique regarding one calculation case, is stored and a client 20 that executes a calculation program according to the description of the design technique by downloading the master package from the server.例文帳に追加

１つの計算ケースに関する全ての計算プログラム及び設計手法の記述を含むマスタパッケージを格納したサーバ１０と、サーバからマスタパッケージをダウンロードして設計手法の記述に従って計算プログラムを実行するクライアント２０、とを備えている。 - 特許庁

To provide a technique for preliminarily predicting whether or not conversion abnormality is caused when converting page description data expressed in page description language into raster data.例文帳に追加

ページ記述言語で表現されたページ記述データをラスタデータに変換する際に変換異常が発生するかどうか事前に予測する技術を提供するもの。 - 特許庁

The marker line description unit 23 describes the marker line at the position close to a subject vehicle when the driving technique is determined to be high by the driving technique determination unit 22.例文帳に追加

マーカー線描写部２３は、例えば、運転技術判定部２２により運転技術が高いと判定されると、自車両に近い位置にマーカー線を描写する。 - 特許庁

To provide a technique for avoiding overlapped recording of information for receiving the same web service in a technique for recording information such as retrieval plug-in and information obtained by expressing a query description position of HTTP request information as a variable.例文帳に追加

検索プラグイン、ＨＴＴＰリクエスト情報のクエリ記載箇所を変数化した情報などの情報を記録する技術において、同一のＷｅｂサービスを受けるための情報を重複して記録することを回避する技術を提供すること。 - 特許庁

A driving technique determination unit 22 determines the level of the driving technique of a driver by calculating the parallelism of the white lane detected by the white lane recognition unit 21 to a marker line parallel to the longitudinal direction of a vehicle which is described by a marker line description unit 23.例文帳に追加

運転技術判定部２２は、白線認識部２１により検出された白線と、マーカー線描写部２３により描写される、車両の前後方向と平行なマーカー線との平行度合いを算出することにより、運転者の運転技術の高さを判定する。 - 特許庁

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. 例文帳に追加

ブロセス代数は複合コンピュータシステム、特に通信を行い同時に実行する構成部分を含むシステムについての形式的記述技法の一つである。 - コンピューター用語辞典

The description of Sakutei-ki (the oldest book concerning gardens in Japan) also introduced the idea that a pond a spring, and the ishigumi, etc., that expresses a landscape were techniques that made a garden a metaphor of nature, such as the sea, and a landscape gardening technique that reduces the scale of natural scenery. 例文帳に追加

作庭記の記述も池泉やそれらを表現するための石組みなどでもうみなど、自然をメタファーとして表現し、見立てによって縮景を行う作庭手法を伝聞する。 - Wikipedia日英京都関連文書対訳コーパス

Hikime-kagibana is a typological and stylized description technique for the eyes and nose of a person's face, used in the Yamato-e paintings (traditional Japanese style painting of the late Heian and Kamakura periods dealing with Japanese themes) and fuzokuga (pictures of manners and customs) during the Heian and Kamakura periods. 例文帳に追加

引目鉤鼻（ひきめかぎばな）は、平安時代、鎌倉時代の大和絵、風俗画におけるヒトの顔の眼および鼻の類型的、様式的な描写技法である。 - Wikipedia日英京都関連文書対訳コーパス

To provide a face meta-data generation technique for extracting face characteristic quantity for face recognition hard to be affected by a local error with compact description length.例文帳に追加

記述長がコンパクトで、且つ、局所的な誤差の影響を受けにくい顔認識のための顔特徴量を抽出するための顔メタデータ生成技術を提供する。 - 特許庁

Provided is the technique that provides advertisements in a traffic message, and that obtains (704) traffic data including a traffic condition of a location description on a road network.例文帳に追加

交通メッセージに広告を与える技術であって、道路網の位置記述の交通状態を有する交通データを得る(704)ことを含む技術が提供される。 - 特許庁

To provide a technique capable of promptly and easily performing the extraction of a partial image to be processed and easily performing the gaining of additive description information even in image processing on the latter stage.例文帳に追加

処理対象となる部分画像の抽出を即時に、且つ簡単に行うことができ、また後段の画像処理でも、付加記述情報の取得等が簡単に行える技術を提供する。 - 特許庁

To provide a technique which is usable for a search for a solution, great inspiration to a solvent, creation, and further relative problem arrangement, prediction, evaluation, learning, etc., as to problem finding and problem solution by description and analysis of an object problem.例文帳に追加

対象問題の記述と分析による、問題発見や問題解決に関わるものであり、解の探索から、飛躍的な解決策への発想、創造、さらに、関連した問題整理、予測、評価、学習等などに使える技術に関するものである。 - 特許庁

To realize the advantage of a multi description coding technique in a present network environment without requiring the correction of a present decoder in particular or with the necessity on only little correction of the pres ent encoder desirably.例文帳に追加

マルチプルディスクリプションコーディング技法の利点を、特に現行のデコーダを修正する必要なしに、好ましくは、現行のエンコーダに僅かな修正のみが必要とされるだけで、現行のネットワーク環境において実現すること。 - 特許庁

A compartment model analytic program interprets the compartment model from the description method, and calculates and outputs intended speed constant image data from age-based medicine distribution image data obtained by use of a medicine body kinetics imaging technique such as PET or the like and age-based medicine blood concentration data obtained by a method such as arterial blood collection or the like.例文帳に追加

コンパートメントモデル解析プログラムは、その記述方法からコンパートメントモデルを解釈し、ＰＥＴなどの薬物体内動態画像化技術を用いて得られた経時的薬物分布画像データ及び動脈採血などの方法により得られた経時的薬物血中濃度データから、目的とする速度定数画像データを計算して出力する。 - 特許庁

In creating a perspective drawing for housing advertisement, while an opaque partition is drawn according to its constitutive materials and colors, it is drawn in translucent manner, using a virtual description technique; while a house approximating a real one is drawn, by describing space, rooms, and furnishings disposed there which would otherwise be blocked and invisible, by transmitted light.例文帳に追加

住宅広告宣伝用のパース画の作成において、不透明な空間仕切部材をその構成素材と色彩の通りに描きつつ、かつ、バーチャル表現して、半透明で描き、透過する光によって本来遮られてしまい見えない空間や部屋、そこに設置した調度品を描出し、住宅を実体に近似して描くようにした。 - 特許庁