抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
高次計算のための定量的モデルのクラス,すなわち(無限)バイ製品を持つLafotカテゴリーを研究した。これらの各々は完全な「内部セミリング」を持ち,そのモジュール上に濃縮できる。固定点が,その指数構造上の双自由代数から得られる,この半リングで重み付けされた非決定論的PCFの意味論を記述する。それらを,入れ子有限マルチセットに指数付けした近似の無限和として,それらを具体的に特徴づけることによって,計算妥当性を証明した。完全なセミリング上のゲームのカテゴリーのような既存のモデルを重み付けすることによって,著者らの意味論の例を構築することができた。定性的から定量的意味論へのこの遷移は,完全な半環上のコヒーレンス空間からモジュールへのモノイドの funから起こる豊富なカテゴリーの「塩基の変化」として特性化される。例えば,理想化したAlgolのゲーム意味論は,コヒーレンス空間が豊富であり,従って,完全に抽象化された加重モデルをもたらす。Copyright 2020 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】