Alapfogalmak
統計確率的プログラミング言語の基本概念とそのモデルに焦点を当てる。
Kivonat
この記事は、統計確率的プログラミング言語のモデルに関する基本概念を探求しています。開放バイシミュレーションと確率シミュレーションの組み合わせを使用して、これらのアイデアを展開しています。以下は内容の詳細です:
導入
- 統計確率的プログラミング言語の意義と背景
- 開放バイシミュレーションと確率シミュレーションの重要性
統計確率的プログラミング言語のセマンティクス
- プログラムの意味論における条件付き確率の微妙さ
- 無限計算における正規化とその問題点
オープンシミュレーション
- ラムダ項に対するLTS(Labelled Transition System)によるオープンシミュレーション
- シミュレーション原理とその性質
ポーランド空間への構築
- Λb(有界完備連続dcpo)上で定義されたコンパクト木構造
- ΛbからΛΛΛへの完備化とポーランド空間への変換
結論と今後の展望
Statisztikák
arXiv:2403.15570v1 [cs.LO] 22 Mar 2024