Last Updated：2025/11/23

(computer science) A study of formal semantics of computer languages, such as denotational semantics.

音声機能が動作しない場合はこちらをご確認ください

See correct answer

mathematical semantics

Source Word

mathematical semantics

uncountable

(computer science) A study of formal semantics of computer languages, such as denotational semantics.

Japanese Meaning

計算機科学において、コンピュータ言語の形式的意味論、例えば指示意味論などを扱う研究分野。

In the graduate seminar, we studied mathematical semantics to understand the precise behavior of programming languages.

大学院のゼミで、私たちはプログラミング言語の正確な振る舞いを理解するために数学的意味論を学びました。

Sense（1）

(computer science) A study of formal semantics of computer languages, such as denotational semantics.