Markovカーネルと線形演算子のための高次言語【JST・京大機械翻訳】

de Amorim Pedro H. Azevedo

プレプリント

J-GLOBAL ID：202202209979707666 整理番号：22P0282754

Markovカーネルと線形演算子のための高次言語【JST・京大機械翻訳】

A Higher-Order Language for Markov Kernels and Linear Operators

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

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

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

確率的プログラミング言語に意味論を与える多くの研究がなされてきた。近年,確率的プログラムに関する理由に使われた意味論の多くは,2つのカテゴリー,すなわち,Markovカーネルに基づく意味論と線形演算子に基づく意味論に基づいている。意味論の両スタイルは確率的プログラムに関する推論において多数の応用を見出しているが,それらはそれぞれそれらの強度と弱点を持っている。それらの間に接続があると考えられているが,プログラミングの両スタイルを扱うことができる言語はない。本研究では,両種類の意味論でプログラムすることを可能にする2レベル計算とそのカテゴリー意味論を定義することにより,これらの疑問に取り組んだ。論理的側面から,著者らは,この言語を線形論理の代替資源解釈として見出し,そこでは,資源を可変利用の代わりにサンプリングする。【JST・京大機械翻訳】

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

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

, , ,

前のページに戻る