形式意味論
「形式意味論」の英語
「形式意味論」は英語で formal semantics と言います。言語やプログラムの意味を、論理や数学を使って厳密に定義・分析する専門用語です。
「形式意味論」の英語の使い分け
言語やプログラムの意味を数理的に扱う専門用語です。
This course introduces students to formal semantics for natural language.
「形式意味論」の例文
Researchers apply formal semantics in programming language design.
研究者はプログラミング言語設計に形式意味論を応用する。
コアイメージ
形式意味論は言語やプログラムの意味を数理的・論理的に定義して解析することをさす
英英
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（ラテン語formaに由来する「形・形式」）とsemantics（ギリシャ語sēmantikosに由来する「意味」）が結合し、数学的・論理的手法で意味を扱う語として成立した
コラム
- 形式意味論は論理式や模型論を用いて意味の正確な記述と比較を可能にするため、プログラミング言語設計や意味論の理論的基盤として用いられる
「形式意味論」のレベル別の例文
- 中学
We study formal semantics in this class.
- 高校・英検2級
Formal semantics helps explain how sentences get their meanings.
- TOEIC・ビジネス
The team used formal semantics to specify the new programming language precisely.
- 日常会話
What exactly is formal semantics?
「形式意味論」を英語にするときのよくある間違い
× formal meaning theory
formal semanticsが定着した専門用語です。