形式的意味の英語

意味仕様から所望のプログラムコードを検索すること可能にするためにプログラムにその形式的意味仕様を，またプログラムの正しさ（仕様充足性）を保証するために仕様を満たすことの検査可能な形式的証明を，プログラムに同時に蓄積する。例文帳に追加

To enable retrieval of a desired program code from a semantic specification, formal semantic specifications of programs and formal certifications capable of inspecting whether the programs satisfy specifications for assuring the validation of programs (specification satisfying property) are simultaneously accumulated in the programs. - 特許庁

最後に、変換部３で、確定した文型に基づいて、入力された自然言語文を文型の意味を機械的に解釈可能に形式化したＬＰ形式の表現に変換する。例文帳に追加

Finally, a conversion part 3 converts the inputted natural language sentence into the expression of LP form formalized to mechanically interpret the meaning of the sentence pattern on the basis of the determined sentence pattern. - 特許庁

テキスト形式以外のデータ形式全般のことを意味するが、ここでは、実行可能形式のコンピュータプログラムを意味する。上記の制限回避手段には、大きく分けて、結果的に制限版を本来のものとは異なるものに改変することが予定されている態様のものと（上記⑤から⑦まで）、何ら改変を伴わない態様のもの（上記①から④まで）に分類できる。例文帳に追加

The devices designed for removing access control can be classified into two main categories: models where the trial software will ultimately be transformed into different software ((5) through (7) above) and models where no transformation of software occurs ((1) through (4) above).発音を聞く  - 経済産業省

自然言語を用いた計算機とのインターフェースを目的として自然言語文を解釈するため、名詞の意味属性分類を用いて文型及び意味を規定する辞書を検索して文型を識別し、自然言語文を計算機で解釈可能な形式表現とする。例文帳に追加

To convert a natural language sentence into a formalized expression interpretable in a computer by retrieving a dictionary for specifying a sentence pattern and a meaning using the semantic attribute classification of nouns to interpret the natural language sentence for the purpose of an interface with the computer using the natural language. - 特許庁

形式的（論理的数学的）な所説は意味を持たないが、その象徴（物理的な存在と考えられる）は、有益な教訓を示しているという哲学的理論例文帳に追加

the philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications発音を聞く  - 日本語WordNet

ＵＭＬの形式上は正しいものの意味的には不適切であるようなモデルの問題点を機械的に検出することができるソフトウェア開発支援装置を得ること。例文帳に追加

To provide a software development support device, capable of mechanically detecting a problem of such a model that it is correct from the format of UML (unified modeling language), but semantically improper. - 特許庁

セマンティック・ウェブについて次に求められる要素はウェブ・オントロジ言語であり、これはウェブ文書で使われるクラスとプロパティの意味論を形式的に記述できるものである。例文帳に追加

The next element required for the Semantic Web is a Web ontology language which can formally describe the semantics of classes and properties used in web documents.発音を聞く  - コンピューター用語辞典

この形式は、モジュールレベルでしか使うことができません。 del 文で指定された対象は、(del の意味付けは、実際は名前の解放 (unbind) ですが) 文の目的上、束縛済みのものとみなされます。例文帳に追加

This form may only be used at the module level.A target occurring in a del statement is also considered bound for this purpose (though the actual semantics are to unbind the name). - Python