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

To provide a verification support device, etc. for reverse-generating specifications from a property description described in a property language, and correcting mistakes in the property description by comparing the reverse-generated specifications and original specifications.例文帳に追加

プロパティ言語で生成されたプロパティ記述から仕様書を逆生成し、逆生成した仕様書と元の仕様書とを比較してプロパティ記述のミスを訂正する検証支援装置等を提供する。 - 特許庁

To provide a natural language processing program and a natural language processing apparatus for learning parsing specifications which are associated with a sentence to be learnt and are different from parsing specifications of a parser, in order to conform to the parsing specifications of the parser.例文帳に追加

学習対象の文に関連付けられた、構文解析器の構文解析の仕様とは異なる構文解析の仕様を、構文解析器の構文解析の仕様に合わせるために学習する自然言語処理プログラム及び自然言語処理装置を提供する。 - 特許庁

This extended language specification destination method for designating extended language specifications for the object of a program is constituted so that the candidate of the extended language specification is analyzed, then the extended language specification with respect to an object is automatically designated based on the analysis.例文帳に追加

プログラムのオブジェクトに対する拡張言語仕様を指定する拡張言語仕様指定方法において、拡張言語仕様の候補を解析し、解析結果に基づいてオブジェクトに対して拡張言語仕様を自動的に指定するように構成する。 - 特許庁

To more easily and suitably assign functions required by specifications described in a program language to software and hardware.例文帳に追加

プログラム言語で記述された仕様によって要求される機能をソフトウェアとハードウェアとへより容易且つ適切に割り当てる。 - 特許庁

To obtain a means for confirming whether functional blocks described in specifications are all mounted in a hardware description language.例文帳に追加

仕様書に記述されている機能ブロックすべてが、ハードウェア記述言語で実装されているかどうかを確かめるための手段を得る。 - 特許庁

To automatically generate a model source code of the class of object oriented program language from simple specifications.例文帳に追加

簡易な仕様書からオブジェクト指向プログラム言語のクラスの雛形ソースコードを自動生成する。 - 特許庁

To provide a design method for designing a system LSI in a short period based on specifications described in high class language.例文帳に追加

高級言語で記述された仕様に基づいてシステムＬＳＩを短期間で設計可能とする設計方法を提供する。 - 特許庁

When any situation arises where the specifications of an application program 3 should be changed, a language developing device 20 refers to specification data 24 indicating processing contents to be processed to input data 1 according to the change of the specifications, and generates a language 23 for updating the input data 1.例文帳に追加

言語展開装置２０は、アプリケーション・プログラム３の仕様を変更すべき状況が発生すると、その仕様の変更に応じて入力データ１に対して処理すべき処理内容を示す仕様データ２４を参照して、入力データ１更新用の言語２３を生成する。 - 特許庁

When the specifications of the integrated circuit are described in a C language (step 100), a database of a function block for dividing the function related to the specifications into a plurality of parts is created (step 110).例文帳に追加

Ｃ言語によって集積回路の仕様が記述されると（ステップ１００）、この仕様にかかる機能を複数に分割する機能ブロックのデータベースが作成される（ステップ１１０）。 - 特許庁

To provide a device and method for digital circuit verification, which processes assertions written in a property specification language capable of describing high-level specifications and specifications on IPs.例文帳に追加

高度な仕様や、ＩＰ間にまたがる仕様を記述できるプロパティ記述言語で書かれたアサーションを処理するデジタル回路検証のための装置及び方法を提供する。 - 特許庁

To provide a requirement specification automatic verification system which automatically generating an execution model in the description language of a model verification tool SPIN from requirement specifications to verify requirement specifications in an early stage.例文帳に追加

要求仕様からモデル検査ツールSPINのモデル記述言語の実行モデルを自動生成し早期の段階で要求仕様の検証を行う要求仕様自動検証方式を提供する。 - 特許庁

The compiling method for converting an input program to an object language program includes an analysis step of analyzing, when a plurality of extension language specifications is designated to the input program, the plurality of designated extension language specifications to thereby determine a part of the input program affected by the plurality of designated extension language specifications; and an output step of outputting information for that part together with the object language program.例文帳に追加

入力プログラムを目的プログラムに変換するコンパイル方法であって、入力プログラムに複数の拡張言語仕様が指定される場合、指定された複数の拡張言語仕様を解析することにより、指定された複数の拡張言語仕様によって影響を受ける入力プログラムの部分を決定する解析ステップと、その部分に関する情報を、目的プログラムと共に出力する出力ステップとを含むことを特徴とする。 - 特許庁

METHOD OF AUTOMATICALLY EXTRACTING FROM NATURAL LANGUAGE SPECIFICATIONS OF SYSTEM MODELING META-MODEL LANGUAGE MODEL FOR THE SYSTEM, DEVICE, AND COMPUTER PROGRAM例文帳に追加

システムの自然言語仕様から当該システム用のシステム・モデル化メタモデル言語モデルを自動的に抽出するための方法、装置及びコンピュータ・プログラム - 特許庁

To provide a compiling method, allowing a user to easily acquire effects of a plurality of designated extension language specifications on an input program and an object language program.例文帳に追加

指定される複数の拡張言語仕様による入力プログラム及び目的プログラムに対する影響をユーザが容易に把握できるコンパイル方法を提供する。 - 特許庁

To provide a specification exchange device to divide specifications prepared according to a system specification description language into parts and search parts appropriate for a design step at a system level before detailing and allowing to be incorporated into the specifications and effectively being reused.例文帳に追加

システム仕様記述言語に沿って作成された仕様を部品化しておき、詳細化前のシステムレベルの設計段階において適切な部品を検索し、仕様に組み込んで有効に再利用することのできる仕様交換装置を提供すること - 特許庁

To automatically generate software request specifications 104 on the basis of description of a software condition 102 by plane natural language description regarding a method for comprising a software request specifications automatic generation tool without being restricted by a source code to be generated.例文帳に追加

ソフトウェアの要求仕様書自動生成ツール構成方法に関し、生成されるソースコードの制約を受けることなく、平易な自然言語記述によるソフトウェア要件１０２の記述を基に、ソフトウェア要求仕様書１０４を自動生成する。 - 特許庁

To provide a method and apparatus for automatically generating a steel plant control program that maintain the consistency between specifications and automatically generated source code and implement reduced man-hour requirements and improved maintainability, by using the specifications described in UML and an object-oriented language.例文帳に追加

ＵＭＬで記述した仕様書とオブジェクト指向言語を用いることによって、仕様書からソースコードの自動生成まで一貫性を保ち、工数の削減、保守性の向上を実現した鉄鋼プラント制御プログラムの自動生成方法および装置を得る。 - 特許庁

A user inputs target operation specifications with numerals (step S1) in a setting screen for voice recognition and further selects a plurality of kinds of a sound model, a language model, etc., which possibly match with the target operation specifications and spoken contents (step S2).例文帳に追加

音声認識の設定画面において、使用者は、目標動作スペックを数値で入力し（ステップＳ１）、さらに、目標動作スペックや発話内容に適合しそうな音響モデル、言語モデル等の種類を複数選択する（ステップＳ２）。 - 特許庁

To provide a test support system capable of conducting a test with test specifications independent of a program language and a mounted source code and efficiently conducting the test by using the test specifications corresponding to a plurality of program languages.例文帳に追加

プログラム言語に依存しないテスト仕様書と実装済みのソースコードより、テストを実施することができ、さらに、複数のプログラム言語に対応したテスト仕様書を用いて、効率よくテストを実施することができるテスト支援システムを提供する。 - 特許庁

Next, the markup language document for the PC is converted into a markup language document for the mobile terminal wherein arrangement exchange of the display elements is performed correspondingly to specifications of the mobile terminal based on each confirmed display element and its confirmed arrangement coordinates.例文帳に追加

ついで、確認された各表示要素およびその配置座標に基づいてＰＣ用マークアップ言語文書を、前記モバイル端末の仕様に対応して表示要素の配置替えを行ったモバイル用マークアップ言語文書に変換する。 - 特許庁

To provide a debugging device and a debugger control method for extending a breakpoint designation method and command language specifications as to a symbolic debugger to improve convenience and for changing a logic of a program without requiring compiling as to an aspect-oriented programming language.例文帳に追加

シンボリックデバッガに対してはブレークポイントの指定方式とコマンド言語仕様を拡張して利便性を向上する一方、アスペクト指向プログラミング言語に対してはコンパイル不要で、プログラムのロジック変更等が可能なデバッグ装置及びデバッガ制御方法を実現すること。 - 特許庁

To provide a data display device and method achieving linked data broadcasting by an HTML (Hyper Text Markup Language) by using a BML (Broadcast Markup Language) browser and an HTML browser without changing BML and HTML specifications and a data transmission system.例文帳に追加

ＢＭＬとＨＴＭＬの仕様やデータ伝送方式には変更を加えずに、ＢＭＬブラウザとＨＴＭＬブラウザを使用して，ＨＴＭＬによる連動データ放送を実現するデータ表示装置およびデータ表示方法を提供する。 - 特許庁

Furthermore, a server is configured to, with respect to items in which the language of subjects cannot be discriminated on the specifications of an original program, create a non-display transfer message to be transferred to a proper program for display by checking the language of the subjects, and transmit it to the client.例文帳に追加

更に、元のプログラムの仕様上、案件の言語が判別不能な項目に対しては、案件の言語を調べて適切な表示用のプログラムへ転送するための、非表示の転送メッセージを作成して、クライアントに送信するように、サーバを構成した。 - 特許庁

When the specifications of an application program 3 is to be changed, a language expansion device 20 generates a language 23 for updating input data 1 in response to the specification change by reference to specification data 24 representing the content of processing on the input data 1.例文帳に追加

言語展開装置２０は、アプリケーション・プログラム３の仕様を変更すべき状況が発生すると、その仕様の変更に応じて入力データ１に対して処理すべき処理内容を示す仕様データ２４を参照して、入力データ１更新用の言語２３を生成する。 - 特許庁

The new Java-to-OMG IDL (Interface Definition Language) specifications will provide tools that Java programmers can use to enhance and extend the applicability of Java-based programs. 例文帳に追加

新しいジャバ対OMG IDL（インタフェース定義言語）仕様は,ジャバプログラマがジャバベースプログラムの適用性の強化と拡張を行うために使うことができるツールを提供する． - コンピューター用語辞典

Document Schema Definition Language (DSDL) is to be a multipart International Standard defining a modular set of specifications for describing the document structures, data types, and data relationships in structured information resources. 例文帳に追加

文書スキーマ定義言語（DSDL）は複数部からなる国際標準となるはずのものであり、文書構造、データ型、および構造化情報資源におけるデータの関係を記述するための仕様のモジュール化されたセットを定義するものである。 - コンピューター用語辞典

To develop a useful mapping between natural language color specifications and precise numerical color encodings used in color image processing and device control applications.例文帳に追加

カラー画像処理及び装置制御アプリケーションで用いられる、自然言語表色と正確な数値的カラーエンコーディングとの間で有益なマッピングを開発する。 - 特許庁

The terminal platform specifications and the meta-data are transmitted to an IPMP terminal equipped with a terminal platform parser, on the basis of the terminal platform XML schema and the language.例文帳に追加

端末プラットフォーム仕様及びメタデータは、端末プラットフォームＸＭＬスキーマ及び言語に基いて端末プラットフォームパーサが実装されたＩＰＭＰ端末に送信される。 - 特許庁

A virtual key code conversion table selection part 143 selects a virtual keycode table in the language specifications corresponding to the acquired country numbers from a plurality of virtual keycode conversion tables 144.例文帳に追加

仮想キーコード変換テーブル選択部１４３は、複数の仮想キーコード変換テーブル１４４の中から、取得した国番号に応じた言語仕様の仮想キーコードテーブルを選択する。 - 特許庁

A character code conversion table selection part 147 selects a character code table in language specifications corresponding to acquired country numbers from a plurality of character code conversion tables 148.例文帳に追加

文字コード変換テーブル選択部１４７は、複数の文字コード変換テーブル１４８の中から、取得した国番号に応じた言語仕様の文字コードテーブルを選択する。 - 特許庁

To provide a label issuing device for setting different state languages to details of merchandise information to be printed on a label, and for printing a label on the basis of the state language set to the specifications.例文帳に追加

ラベルに印字する商品情報の細目に異なる国言語を設定することができ、前記細目に設定された国言語に基づきラベルを印字することができるラベル発行装置を提供する。 - 特許庁

The method determines the terminal platform specifications and an XML (extensible markup language) schema for a parameter descriptor and a parameter aggregation which are used in an MPEG-n and an IPMP system, and uses them.例文帳に追加

方法は、ＭＰＥＧ−ｎ ＩＰＭＰシステムで使用される、端末プラットフォーム仕様、パラメータ記述及びパラメータ集合に対するＸＭＬスキーマを規定し、使用する。 - 特許庁

To provide a character display controller, its manufacturing method, a display character information storage ROM and electronic equipment which can be manufactured under the specifications that are unified for all language blocks at low cost.例文帳に追加

少ないコストですべての言語圏で統一した仕様で製造可能なキャラクタ表示制御装置及びその製造方法、表示用キャラクタ情報格納ＲＯＭ、電子機器を提供すること。 - 特許庁

For example, based on a prescribed terminal platform XML schema defining the terminal platform and a language, the terminal platform specifications are generated on the basis of the terminal platform XML schema and the language, in order to determine on which platform or terminal the IPMP tool can operate.例文帳に追加

例えば、端末プラットフォームを規定する所定の端末プラットフォームＸＭＬスキーマ及び言語に基き、端末プラットフォーム仕様が、どのプラットフォーム又は端末上でＩＰＭＰツールが動作可能かを規定するために、端末プラットフォームＸＭＬスキーマ及び言語に基いて生成される。 - 特許庁

To make it possible to realize the transfer of data between two kinds of programming languages without narrowing the specification of one language or changing the concept of the language by analyzing a difference between the specifications of the languages and automatically converting data structure in the case of transferring data between different programming languages.例文帳に追加

本発明は、異なるプログラミング言語間でデータのやり取りを行うデータ受渡装置および記録媒体に関し、異なる言語間でデータのやり取りを行う際に、言語の仕様の違いを分析してデータ構造の変換を自動的に行い、一方の言語の仕様を狭めたり、概念を変えることなく、２種類の言語間でのデータのやり取りを実現することを目的とする。 - 特許庁

When preparing a program, since the size of an area to store one piece of data has to be specified by the unit of a byte and secured for the reason of language specifications even when storing the data of a small information amount, an area not to be used is generated.例文帳に追加

プログラムを作成する場合、言語の仕様上、情報量の少ないデータを格納する場合でも、一のデータを格納する領域の大きさを、１バイト単位で指定して確保しなければならないので、未使用となる領域が生じる。 - 特許庁

To realize consolidated management under management interfaces differing according to implementation, in managing applications with a management interface compliant with management specifications for management of an application created in a given programming language.例文帳に追加

本発明は、所定のプログラミング言語によって作成されたアプリケーションを管理するための管理仕様に準拠した管理インタフェースを持つアプリケーションを管理するときにあって、その管理インタフェースが実装毎に異なる場合に、一元的な管理を実現できるようにすることを目的とする。 - 特許庁

For example, the IC card test device 1 generates a command APDU described with hexadecimal characters according to the program interface specifications of the IC card from the test script described in script language, and tests the IC card program by using the generated command APDU.例文帳に追加

例えば、ＩＣカードテスト装置１は、スクリプト言語で記述されたテストスクリプトから、ＩＣカードのプログラムインターフェース仕様に従い、１６進数のキャラクターで記述されたコマンドＡＰＤＵを生成し、生成したコマンドＡＰＤＵを用いてＩＣカードプログラムをテストする。 - 特許庁

The equipment creates a text data from format of the network packets and specifications of a design verification target 11, makes the packets as an model of an object of object-oriented language based on the text data, and creates automatically a test bench that can use the model.例文帳に追加

ネットワークパケットのフォーマットおよび設計検証対象１１の仕様からテキストデータを作成し、これを元にパケットをオブジェクト指向言語のオブジェクトとしてモデル化し、これを利用可能なテストベンチを自動生成する。 - 特許庁

For example, the IC card issuing device 1 generates a command APDU described with hexadecimal characters according to the program interface specifications of the IC card 2 from the issue script described in the script language, and issues the IC card 2 by using the generated command APDU.例文帳に追加

例えば、ＩＣカード発行装置１は、スクリプト言語で記述された発行スクリプトから、ＩＣカード２のプログラムインターフェース仕様に従い、１６進数のキャラクターで記述されたコマンドＡＰＤＵを生成し、生成したコマンドＡＰＤＵを用いてＩＣカード２を発行する。 - 特許庁

In a stage 52 for generating an object program 57 from specifications 51 described in C language, at selecting an instruction code 41 from an instruction library 53, the instruction code is selected based on evaluation data 43 obtained by executing the actual layout of an additional processing unit for executing the instruction code.例文帳に追加

Ｃ言語で記述された仕様５１からオブジェクトプログラム５７を生成する段階５２において、命令ライブラリ５３から命令コード４１を選択する際に、その命令コードを実行する追加処理ユニットを実レイアウトした評価データ４３に基づいて命令コードを選択する。 - 特許庁

To realize the uniformity of SQL sentence description, and to improve the sharing and transfer performance of a program source, and to improve the productivity, and to reduce the production or maintenance cost at the time of preparing SQL sentences in a program on a plurality of SQL processors having data dictionaries whose constitutions are different and executing SQL in different SQL language specifications.例文帳に追加

異なるＳＱＬ言語仕様でＳＱＬを実行し、異なる構成のデータ辞書を有する複数のＳＱＬ処理装置上のプログラムでのＳＱＬ文の作成において、ＳＱＬ文記述の同一化を図り、プログラムソースを共用化したり移行性を高め、生産性を向上させるとともに、生産や保守のコストの削減を図ることを目的とする。 - 特許庁

Disclosed is a device which compares logic verification items automatically extracted from specifications of a logic circuit described by using identifiers with logic verification items automatically extracted from a device generating an operation specification description that a logic system described in a hardware description language and a logic verifying device performing logic verification by deciding equivalence of the operation specification description use.例文帳に追加

識別子を用いて記述した論理回路の仕様書から自動抽出した論理検証項目と、ハードウェア記述言語により記述した論理システムおよび動作仕様記述の等価性を判定し論理検証をおこなう論理検証装置が用いる動作仕様記述を生成する装置から自動抽出した論理検証項目を比較する装置。 - 特許庁

The interface of a server 18 loaded on the analyzer 10 is allowed to conform to a Web service specification of HTTP, SOAP or the like, which is a widely-used standard technology that is not restricted to specific vendors, and a document 24 formed by describing the interface specifications in WSDL, which is the standard description language is published.例文帳に追加

分析装置１０に搭載するサーバ１８のインターフェースを、特定のベンダーに限定されない汎用的な標準技術であるＨＴＴＰやＳＯＡＰ等のＷｅｂサービス規格に準拠させるとともに、そのインターフェースの仕様を標準の記述言語であるＷＳＤＬで記述した文書２４を公開する。 - 特許庁