最終更新日：2025/11/28

(denotational semantics, domain theory) A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.

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

正解を見る

power domain

元となった辞書の項目

power domain

名詞

(denotational semantics, domain theory) A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.

日本語の意味

非決定性および並行計算を扱うための領域。これは、基本となる領域の特定の部分集合を要素として持つ集合（領域）として定義される。

並行プログラムの振る舞いをモデル化するために、非決定性および並行計算のドメインを基底となる値ドメインの上に構築し、非決定的な結果を表現した。

意味（1）

(denotational semantics, domain theory) A domain of nondeterministic and concurrent computations, whose elements are certain subsets of a domain.

power domains

（ plural ）