形式的意味の英語

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

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

DocBook ソースが正しく整形式であるかどうかの確認に加えて、xmllint は、意味論的な正しさの確認もRELAX NG スキーマを用いて行うことができます。例文帳に追加

In addition to testing the well-formedness of the DocBook sources, xmllint can also check the semantical correctness with the help of RELAX NG schemas.発音を聞く  - PEAR

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

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 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).発音を聞く  - 経済産業省

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

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.発音を聞く  - コンピューター用語辞典

また、武家台頭による下級貴族の没落もあり、朝臣は、序列付けの為の姓（かばね）としての意味を失ってしまい、公式文書で使う形式的なものになっていった。例文帳に追加

Also, with the fall of lower-ranked nobles due to the rise of the warrior class to power, Asomi lost its meaning in the sense of kabane used to rank status, and it became a formality which was used for official documents.発音を聞く  - Wikipedia日英京都関連文書対訳コーパス

この形式は、モジュールレベルでしか使うことができません。 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