形式意味論の英語

「言語学」を言語の系統的な学問を意味するものとするならば、形式的意味論は言語学における最も古い分枝の一つである。例文帳に追加

If we take "linguistics" to mean any systematic study of language, then formal semantics is one of the oldest branches within linguistics.発音を聞く  - コンピューター用語辞典

PL/Iは,形式意味論定義を持った最初の言語の一つであり,ウィーン定義言語(VDL)を使用している．例文帳に追加

PL/I was one of the first languages to have a formal semantic definition, using the Vienna Definition Language.発音を聞く  - コンピューター用語辞典

自然言語における表現の意味とその文法形式との間の差異を論理学者は「会話の含意」と呼ぶ。例文帳に追加

The difference between the meaning of a statement in natural language and its grammatical form is called by logicians "conversational implication."発音を聞く  - コンピューター用語辞典

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

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

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

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

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