domain theory

uncountable

(mathematics) A branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains.

Japanese Meaning

数学の一分野で、特定の性質を持つ半順序集合（しばしば「ドメイン」と呼ばれる）を研究する理論。

Graduate students in computer science often study domain theory to understand the semantics of programming languages.

コンピュータサイエンスの大学院生は、プログラミング言語のセマンティクスを理解するためにドメイン理論をよく学びます。

Sense（1）

(mathematics) A branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains.