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

Formal language is difficult even for Japanese people. 例文帳に追加

敬語は日本人にとっても難しい。 - Weblio Email例文集

the words or phrases used in popular speech, but not regarded as formal language 例文帳に追加

あらたまった場合には使わないくだけた言葉 - EDR日英対訳辞書

It's a precise specification with a precise formal language例文帳に追加

厳密な仕様が厳格な形式言語で記述されていて - 映画・海外ドラマ英語字幕翻訳辞書

gives a more formal definition of the language.例文帳に追加

を読めば、Python 言語についてより形式的な定義を得られます。 - Python

To solve the problem caused by formal translation of a program from imperative language to declarative language.例文帳に追加

プログラムを、命令型言語（imperative language）から宣言型言語（declarativelanguage）へ形式的に変換することに伴う問題を解決すること。 - 特許庁

Petri net language theory is built on the theory of formal languages. 例文帳に追加

ペトリ・ネット言語理論は形式言語理論の上に築かれている。 - コンピューター用語辞典

SYNCHRONOUS FORMAL LANGUAGE FOR PROGRAMMING DETERMINISTIC FINITE STATE MACHINE例文帳に追加

決定論的有限状態マシンをプログラムするための同期式形式言語 - 特許庁

The Object Modelling Technique (OMT) is used as a semi-formal language for the formalization purposes of the metadata model. 例文帳に追加

OMTは,メタデータ・モデルを定式化する目的でセミフォーマル言語として使用される． - コンピューター用語辞典

To provide a synchronous formal language for programming a deterministic finite state machine.例文帳に追加

決定論的有限状態マシンをプログラムするための同期式形式言語を提供する。 - 特許庁

informal language consisting of words and expressions that are not considered appropriate for formal occasions 例文帳に追加

正式な場ではふさわしくないと考えられる語や表現から口語体の言語 - 日本語WordNet

The RDF 1.0 formal grammar is defined according to the pattern language of XDuce and the XML Schema Formalism. 例文帳に追加

RDF 1.0の形式文法はXDuceのパタン言語とXMLスキーマの形式主義に基づいて定義される。 - コンピューター用語辞典

The RDF 1.0 formal grammar is defined according to the pattern language of XDuce and the XML Schema Formalism. 例文帳に追加

RDF 1.0形式文法は、XDuceのパタン言語およびXMLスキーマ形式に従って定義されている。 - コンピューター用語辞典

A doctrine development and amendment system is provided with a rule base integration editing support device 4 to be used for editing a doctrine rule in a formal language, a doctrine rule base 5 for preserving the doctrine rule of the formal language which is edited with the device 4, and a formal language/natural language conversion support device 11 for converting the doctrine rule into a natural language doctrine.例文帳に追加

形式言語でドクトリンルールを編集するために使用されるルールベース統合編集支援装置４と、ルールベース統合編集支援装置４で編集された形式言語のドクトリンルールを保存するドクトリンルールベース５と、ドクトリンルールを自然言語のドクトリンに変換する形式言語・自然言語変換支援装置１１をドクトリン開発改変システムが備える。 - 特許庁

To cooperatively operate application programs each using a GUI(graphical user interface) by formal natural language description.例文帳に追加

形式的な自然言語記述により、ＧＵＩを用いるアプリケーション・プログラムを連携動作させて操作する。 - 特許庁

The relational model allows the formal definition of an user oriented language, based on applied predicate calculus. 例文帳に追加

この関係モデルは、応用述語計算に基づくユーザオリエンテッド言語の形式的定義を可能にする。 - コンピューター用語辞典

PL/I was one of the first languages to have a formal semantic definition, using the Vienna Definition Language. 例文帳に追加

PL/Iは,形式意味論定義を持った最初の言語の一つであり,ウィーン定義言語(VDL)を使用している． - コンピューター用語辞典

Command and conditions that appear in natural language form are defined by corresponding formal query texts.例文帳に追加

自然言語形式のコマンドおよび条件は、対応する形式問い合わせテキストを使用して定義される。 - 特許庁

To provide a method to automatically generate a parser which is a combined parser of a formal language processing parser and a character string processing function other than FP, for example a natural language processing parser.例文帳に追加

形式言語処理パーサーにFP以外の文字列処理関数、例えば、自然言語処理パーサーを組み合わせたパーサーを自動的に生成する手法を提供する。 - 特許庁

A regular language is a formal language (i.e. a possibly infinite set of finite sequences of symbols from a finite alphabet) that satisfies the following equivalent properties: 例文帳に追加

正規言語は形式言語（すなわち有限のアルファベットからの有限の記号列の多分無限の集合）の一種であり、下記の等価の性質を満たすものである。 - コンピューター用語辞典

The electronic form module combines the specified formal name of the currency, the language notation of the unit of the money amount, and the language notation of the numeral showing the money amount to perform display in a display item 32.例文帳に追加

そして、電子フォームモジュールは、特定した通貨の正式名称と、金額の単位の言語表記と、金額を表す数字の言語表記とを組み合わせることで、表示項目３２に表示を行う。 - 特許庁

If we take "linguistics" to mean any systematic study of language, then formal semantics is one of the oldest branches within linguistics. 例文帳に追加

「言語学」を言語の系統的な学問を意味するものとするならば、形式的意味論は言語学における最も古い分枝の一つである。 - コンピューター用語辞典

The international trademark application shall be filed with the Hungarian Patent Office as Office of origin in compliance with the formal requirements, in the manner and in the language prescribed by the Agreement.例文帳に追加

国際商標出願は，方式要件に従い，協定に定める方法及び言語で，本国官庁としてのハンガリー特許庁に提出する。 - 特許庁

The request for the subsequent extension of protection shall be filed in compliance with the formal requirements, in the manner and language prescribed by the Agreement.例文帳に追加

保護のその後の拡大に係る請求は，協定に定める方式要件に従って，協定に定める方法及び言語で提出しなければならない。 - 特許庁

As they exist today, BPEL and WSCI are not suitable as the formal choreography definition language because they define the rules for individual roles separately. 例文帳に追加

現状のままでは、BPELとWSCIは正式のコレオグラフィ定義言語としては適切ではない。それらは個々の役割についての規則を別々に定義するからである。 - コンピューター用語辞典

The international application shall be filed with the Hungarian Patent Office as Office of the country of origin in compliance with the formal requirements, in the manner and in the language prescribed by the Agreement.例文帳に追加

国際出願は，協定に定める方式要件に従って，協定に定める方法及び言語で，本国官庁としてのハンガリー特許庁に対してするものとする。 - 特許庁

The Patent Office shall make itself corrections in the application files only in order to eliminate minor formal defects and other obvious mistakes and language errors, as well as in the cases referred to in paragraph (4).例文帳に追加

特許庁は，軽微な方式欠陥，他の明らかな過誤及び誤記を除去する場合並びに(4)にいう場合に限り出願ファイルにおける訂正を自身で行う。 - 特許庁

At the end of the Heian period, it seems to have often been used in spoken language same as 'desu-masu style' (a formal and polite form of Japanese conversational style) (There are many examples of usage in the narrative part of Heike Monogatari (The tale of the Heike)). 例文帳に追加

平安末期には現代語の「ですます体」のように口語で盛んに用いられたらしい（平家物語の語りの部分に多くの用例がある）。 - Wikipedia日英京都関連文書対訳コーパス

Be aware that the values of the sequences which are considered``correct'' will vary from one version of Python to another as the formal grammar for the language is revised.例文帳に追加

言語の形式文法が改訂されるために、``正しい''と考えられるシーケンスの値がPythonのあるバージョンから別のバージョンで変化することがあるということに注意してください。 - Python

Correct, by itself, the description, the claims or the drawings, however only in order to eliminate minor formal defects and other obvious mistakes or language errors, as well as in the cases referred to in paragraph (2).例文帳に追加

軽微な方式上の欠陥及び他の明らかな誤謬又は誤記を削除するためにのみ，また，(2)にいう事例の場合は，説明，クレーム又は図面を自ら訂正すること - 特許庁

The computer further generates, based on generalization of the component class to the meta component class and the meta model, a semantic model which shows the meaning of the second class diagram that the component class is a class in which the component is modeled in a formal language.例文帳に追加

コンピュータはさらに、部品クラスからメタ部品クラスへの汎化とメタモデルに基づいて、部品クラスが部品をモデル化したクラスであるという第２のクラス図の意味を形式言語により表す意味モデルを生成する。 - 特許庁

In this system, a sentence input part 320 recognizes a prescription sentence described by a formal natural language and inputted by an input device 310 as a definition sentence, a classification sentence and a procedure sentence according to a pattern and is transferred to respective processing parts 330, 350, 360.例文帳に追加

入力装置３１０から入力された、形式的な自然言語記述である規定文は、文入力部３２０でパターンにより、定義文、分類文、手順文として認識され、それぞれの処理部（３３０，３５０，３６０）に渡される。 - 特許庁