formal semantics

「formal semantics」の発音・読み方

カタカナ読み（目安）フォーマル セマンティクス

「formal semantics」の意味

「formal semantics」の例文

Researchers apply formal semantics in programming language design.

研究者はプログラミング言語設計に形式意味論を応用する。

「formal semantics」のレベル別の例文

「 formal semantics」のコアイメージ コアイメージ

形式意味論は言語やプログラムの意味を数理的・論理的に定義して解析することをさす

「formal semantics」のよく使う型

「formal semantics」とよく一緒に使う語

「formal semantics」のよくある間違い

  • ✕ formal semantic

    ○ formal semantics

    学問分野の名称として単独で用いる場合は、通常は複数形の semantics を使う。

「 formal semantics」の英英 英英

The study of meaning that uses formal systems and logical methods to define and analyze the semantics of natural or programming languages.

「 formal semantics」の語源 語源

formal semanticsは、formal（ラテン語formaに由来する「形・形式」）とsemantics（ギリシャ語sēmantikosに由来する「意味」）が結合し、数学的・論理的手法で意味を扱う語として成立した

「 formal semantics」のコラム コラム

  • 形式意味論は論理式や模型論を用いて意味の正確な記述と比較を可能にするため、プログラミング言語設計や意味論の理論的基盤として用いられる

「formal semantics」のよくある質問

Q. formal semanticsは何を研究する？
言語表現の意味を、論理や数学などを使って形式的に記述・分析する分野です。文の真理条件や、文全体の意味が部分からどう構成されるかなどを扱います。
Q. formal semanticsは可算名詞？
学問分野を指す場合は、通常は数えない名詞として使います。ただし、特定の形式的な意味体系や理論を指して a formal semantics と言う場合もあります。
Q. formal semanticsとpragmaticsの違いは？
formal semanticsは文や表現に体系的に結び付く意味を扱うのが一般的です。pragmaticsは、文脈や話し手の意図によって生じる意味を扱います。