抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ドメイン理論における確率的パワードメインは,確率的選択による非決定論的機能プログラミング言語の意味論をモデル化する際に重要な役割を果たす。本論文では,T_0単調決定空間[4]の概念と等価である有向空間に対するパワードメインの概念を拡張した。自由有向空間円錐として定義される有向空間の確率的電力空間を構築した。さらに,著者らの構築と古典的確率的パワードメインの間の関係を研究した。【JST・京大機械翻訳】