文献

J-GLOBAL ID：202002266626507442   整理番号：20A2654832

高次計算のための重み付きモデル【JST・京大機械翻訳】

Weighted models for higher-order computation

著者 (1件)： Laird James (Department of Computer Science, University of Bath, Claverton Down, Bath, UK)
資料名： Information and Computation  (Information and Computation)
巻： 275  ページ： Null  発行年： 2020年 
JST資料番号： D0449A  ISSN： 0890-5401  CODEN： INFCEC  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 高次計算のための定量的モデルのクラス,すなわち(無限)バイ製品を持つLafotカテゴリーを研究した。これらの各々は完全な「内部セミリング」を持ち,そのモジュール上に濃縮できる。固定点が,その指数構造上の双自由代数から得られる,この半リングで重み付けされた非決定論的PCFの意味論を記述する。それらを,入れ子有限マルチセットに指数付けした近似の無限和として,それらを具体的に特徴づけることによって,計算妥当性を証明した。完全なセミリング上のゲームのカテゴリーのような既存のモデルを重み付けすることによって,著者らの意味論の例を構築することができた。定性的から定量的意味論へのこの遷移は,完全な半環上のコヒーレンス空間からモジュールへのモノイドの funから起こる豊富なカテゴリーの「塩基の変化」として特性化される。例えば,理想化したAlgolのゲーム意味論は,コヒーレンス空間が豊富であり,従って,完全に抽象化された加重モデルをもたらす。Copyright 2020 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： コヒーレンス ,  意味論 ,  *ゲーム ,  近似法 ,  キャラクタリゼーション
準シソーラス用語： モノイド ,  多重集合 ,  ゲーム意味論 , 【Automatic Indexing@JST】

著者キーワード (6件)： 定量的モデル ,  完全半環 ,  ゲーム意味論 ,  固定点 ,  線形論理 ,  計算妥当性

分類 (2件)： 汎用プログラミング言語  (JD03051H) ,  医用情報処理  (JE15030Q)

タイトルに関連する用語 (2件)： 計算 ,  モデル