確率的コヒーレンス空間における微分と距離【JST・京大機械翻訳】

Ehrhard Thomas

プレプリント

J-GLOBAL ID：202202206236708820 整理番号：21P0011062

確率的コヒーレンス空間における微分と距離【JST・京大機械翻訳】

Differentials and distances in probabilistic coherence spaces

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (1件)：
資料名：
発行年： 2019年02月13日プレプリントサーバーでの情報更新日： 2021年08月23日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

確率的コヒーレンス空間において,確率的機能言語の表示モデル,モーフォリズムは分析的であり,従って滑らかである。著者らは,対応する誘導体の2つの関連した応用を探究した。最初に,導関数が確率的PCF(pPCF)の弱いヘッド低減における実行時間の期待値をいかに計算できるかを示した。次に,これらの写像のLipschitz特性の証明に対して,写像の”局所”微分の一般的概念を適用し,次に,pPCF項上の観測距離を距離に関連付けることを可能にし,このモデルを自然に装備した。これは,微分ラムダ計算のスピリッツにおける導関数による確率的プログラミング言語の拡張が,非常に意味があることを示唆する。【JST・京大機械翻訳】

, , , , , , ,
, 【Automatic Indexing@JST】

人工知能 , 応用プログラミング言語

, ,

前のページに戻る