最終更新日：2025/11/23

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

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

正解を見る

mathematical semantics

元となった辞書の項目

mathematical semantics

不可算名詞

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

日本語の意味

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

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

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

意味（1）

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