formal semantics

「formal semantics」の例文例文

Researchers apply formal semantics in programming language design.

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

「formal 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」のコラムコラム

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

単語を報告