「"意味論"」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

今日は公理的意味論の例を二つほどやって, それから表示的意味論に進みましょう.例文帳に追加

Today we will do a couple of examples of axiomatic semantics and then move on to denotational semantics.  - コンピューター用語辞典

意味論的構成要素または意味公準あるいは同様のものの構造である意味論的構造例文帳に追加

semantic structure, a structure of semantic components or meaning postulates or the like  - コンピューター用語辞典

モンタギュー文法は意味論と、意味論と統語論との関係の理論である。例文帳に追加

Montague grammar is a theory of semantics, and of the relation of semantics to syntax.  - コンピューター用語辞典

公理的意味論と操作的意味論との間の整合性を示す健全性定理について述べ, 証明した.例文帳に追加

A soundness theorem, showing the consistency between the axiomatic and operational semantics is stated and proved.  - コンピューター用語辞典

語彙の意味論に関する本を編集してください例文帳に追加

Edit a book on lexical semantics  - 日本語WordNet

意味の論理的側面を研究する意味論の部門例文帳に追加

the branch of semantics that studies the logical aspects of meaning  - 日本語WordNet

語の意味と関係を研究する意味論の分科例文帳に追加

the branch of semantics that studies the meanings and relations of words  - 日本語WordNet

意味の認識的な側面を研究する意味論の分野例文帳に追加

the branch of semantics that studies the cognitive aspects of meaning  - 日本語WordNet

米国の意味論学者（ポーランド生まれ）（1879年−1950年）例文帳に追加

United States semanticist (born in Poland) (1879-1950)  - 日本語WordNet

全体とその一部との間に有する意味論上の関係例文帳に追加

the semantic relation that holds between a whole and its parts  - 日本語WordNet

一部とその全体との間に有する意味論上の関係例文帳に追加

the semantic relation that holds between a part and the whole  - 日本語WordNet

DAML+OILに対するモデル理論的意味論の簡潔な仕様例文帳に追加

a terse specification of the model-theoretic semantics for DAML+OIL  - コンピューター用語辞典

彼はこの意味論的あら捜しを重要ではないとしている。例文帳に追加

He calls this semantic nitpicking unimportant. - 旅行・ビジネス英会話翻訳例文

ビジネスプロセスモデリングツールの意味論的拡張例文帳に追加

SEMANTIC EXTENSION OF BUSINESS PROCESS MODELING TOOL - 特許庁

印刷製品定義の意味論的な検証例文帳に追加

SEMANTICALLY VALIDATING PRINT PRODUCT DEFINITION - 特許庁

コンパイラ生成システムにおける意味論的評価の問題は、属性文法における言語意味論を明確化することによって扱い得る。例文帳に追加

The problem of semantic evaluation in a compiler-generating system can be addressed by specifying language semantics in an attribute grammar.  - コンピューター用語辞典

...はスタックが割り当てられるオブジェクトのためにカクタススタックの意味論をサポートすることによってＣの意味論を拡張する。例文帳に追加

... extends the semantics of C by supporting cactus stack semantics for stack allocated objects.  - コンピューター用語辞典

文字が意味論的文字分類に属するか否かが判定され、意味論的文字分類に関係するヒンティングインストラクションにアクセスされる。例文帳に追加

Determination is made that the character belongs to a semantic character classification, and hinting instructions that are associated with the semantic character classification are accessed. - 特許庁

下位または下等のものに従属する、または属する意味論上の関係例文帳に追加

the semantic relation of being subordinate or belonging to a lower rank or class  - 日本語WordNet

代数意味論の立場からは、自然数が最も基本的な数である。例文帳に追加

From the standpoint of algebraic semantics, a natural number is the most basic number.  - コンピューター用語辞典

IPv6ヘッダ中のフローラベル・フィールドの統語論と意味論例文帳に追加

syntax and semantics of the Flow Label field in the IPv6 header  - コンピューター用語辞典

格文法は初期のまたよく知られた生成意味論理論であった。例文帳に追加

Case Grammar was early and well-known generative semantics theory.  - コンピューター用語辞典

Fregeの構成性の原理は,真理条件的意味論の土台である．例文帳に追加

Frege's principle of compositionality is the cornerstone of truth conditional semantics.  - コンピューター用語辞典

意味論的プログラミング言語および言語オブジェクトモデル例文帳に追加

SEMANTIC PROGRAMMING LANGUAGE AND LINGUISTIC OBJECT MODEL - 特許庁

言語学の部門で、構文論や形態論をテーマにする（時には、意味論もテーマにする）例文帳に追加

the branch of linguistics that deals with syntax and morphology (and sometimes also deals with semantics)  - 日本語WordNet

意味論的な文法標識は、語の異なる意味を識別するために付けられた例文帳に追加

semantic tags were attached in order to identify different meanings of the word  - 日本語WordNet

上位のものであるか、より高いランクまたはクラスに属する意味論的な関係例文帳に追加

the semantic relation of being superordinate or belonging to a higher rank or class  - 日本語WordNet

2つの単語が（ある文脈で）同じ意味を表し得るときに有する意味論上の関係例文帳に追加

the semantic relation that holds between two words that can (in a given context) express the same meaning  - 日本語WordNet

2つの単語が（ある文脈で）反対の意味を表し得るときに有する意味論上の関係例文帳に追加

the semantic relation that holds between two words that can (in a given context) express opposite meanings  - 日本語WordNet

プログラムの公理的意味論は,演算に対する事前条件および事後条件を含むことがある．例文帳に追加

The axiomatic semantics of a program could include pre- and post-conditions for operations.  - コンピューター用語辞典

プログラミング言語は人工言語で,構文と意味論が厳密に定義されている例文帳に追加

programming languages are artifitial languages, in which the syntax and semantics are strictly defined  - コンピューター用語辞典

文脈に基づく意味論的索引付けの鍵は、適切なサイズの抽出単位を見分けることにある。例文帳に追加

The key to context-based semantic indexing is identifying the right-size units to extract.  - コンピューター用語辞典

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

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

は、構文や意味論に関する疑問を解決するため、それなりに分かった人が読むべきものです。例文帳に追加

remains thehighest authority on syntactic and semantic questions.  - Python

そのためパーザの意味論と得られる結果は 2つのパーザで同一のものになります。例文帳に追加

As of email package version 3.0, introduced in Python 2.4, the classic Parser was re-implemented in terms of the FeedParser, so the semantics and results are identical between the two parsers. Subsections - Python

意味論的エンティティ間の類似度レベルを推定するシステムを提供する。例文帳に追加

To provide a system for estimating an inter-semantic entity similarity level. - 特許庁

処理期間中、システムは幾つかの文書に関連する２以上の意味論的エンティティを選択する。例文帳に追加

During a processing period, a system selects two or more semantic entities relating to several documents. - 特許庁

NLSML（自然言語意味論マーク付け言語）をサポートする意味論解釈システムは自然言語入力を解釈しその解釈を本文書で定義するように定式化することに責任を持つ。例文帳に追加

A semantic interpretation system that supports the Natural Language Semantics Markup Language is responsible for interpreting natural language inputs and formatting the interpretation as defined in this document.  - コンピューター用語辞典

意味論的スナップショットは、文書を互いに比較するためか、特定の注目部分または主題の意味論的スナップショットと比較するために使用されることにより、その主題に関する文書の関連性が決定される。例文帳に追加

As for the semantic snapshot, relatedness of the document regarding a theme is determined by being used for mutually comparing the documents or for comparing it with a specific noticing part or the semantic snapshot of the theme. - 特許庁

このシステムは、続いて文書を下位部分に分解し、文書の下位部分内の意味論的エンティティの出現率に基づき、意味論的エンティティ間の類似度レベルを算出する。例文帳に追加

This system decomposes the document into low order sections, and calculates an inter-semantic entity similarity level on the basis of the appearance rate of the semantic entity within the low order sections of the document. - 特許庁

価値判断のない音韻論、形態論および意味論に関連した言語の記述（特定の時間における）例文帳に追加

a description (at a given point in time) of a language with respect to its phonology and morphology and syntax and semantics without value judgments  - 日本語WordNet

データ流れ図に対する意味論的モデルについて述べる.これは他の種類の図にも適用可能な一般的技法を用いている.例文帳に追加

We describe a semantic model for data flow diagrams using general techniques that can be applied to other kinds of diagram.  - コンピューター用語辞典

我々は,更新プログラムの交互不動点意味論を記述し,それがすべての非決定的データベース変換を表現することができることを示す．例文帳に追加

We describe an alternating fixpoint semantics of update programs and show that it can express all nondeterministic database transformations.  - コンピューター用語辞典

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

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

語彙機能文法(LFG)は,文法の理論である．つまり一般的に言うと,構文,形態論,および意味論に関する理論である．例文帳に追加

Lexical Functional Grammar is a theory of grammar -- that is, in general terms, a theory of syntax, morphology and semantics.  - コンピューター用語辞典