Embedded Probabilistic Programming

Embedded Probabilistic Programming ～埋め込み DSL による確率プログラミング～ 2010/6/30

濡れた芝生 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

ふつうにプログラミング ,[object Object]

確率分布DSL ,[object Object]

DSLで記述した確率モデル ,[object Object]

確率を木構造で表現 T T T X T T X T X F F X F F X F X F X F X F X 0.1 0.9 0.2 0.8 0.1 0.9 0.1 0.9 0.1 0.9 0.8 0.2 0.9 0.1 0.5 0.5 0.1 0.9 0.2 0.8 0.1 0.9 0.2 0.8 0.9 0.1 0.1 0.9 0.1 0.9 0.8 0.2 0.9 0.1 0.9 0.1 0.9 0.8 0.2 0.1 0.5 0.5 0.3 0.7 1.0

木探索でDSLを実装（１） ,[object Object]

木探索でDSLを実装（２） ,[object Object]

木の構造から分かること ,[object Object],[object Object],[object Object]

継続渡し形式（ Continuation Passing Style / CPS ） ,[object Object],[object Object],[object Object],浅井せんせ～！！！

CPSでDSLを実装 ,[object Object]

限定継続（Delimited Continuation） ,[object Object],[object Object],浅井せんせ～！！！

限定継続の扱いの違い ,[object Object],[object Object],← 　戻り値は数値 ← 　戻り値は継続

shift / reset で実装（ OCaml ） ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

shift / reset で実装（Haskell） ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],いろいろ余計なものが付いてる

Haskellは残念な子なのか ,[object Object],[object Object],[object Object]

モナドとは ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

モナドの力 ,[object Object]

メモして高速化 ,[object Object],[object Object],[object Object]

メモして高速化 F T F T F T F T F T F T F T F T T F T F T F T F T F T F T F T F T １回目２回目３回目４回目５回目 N 回までの計算結果を再利用できる

重み付き選択で高速化 ,[object Object],[object Object],[object Object]

遅延評価で高速化 ,[object Object],[object Object],[object Object]

遅延評価で高速化ぎりぎりまで評価（観測）せず、分からないままにしておく通常版遅延評価版

まとめ ,[object Object],[object Object],[object Object]

参考 ,[object Object],[object Object]

Embedded Probabilistic Programming

Recommended

Recommended

More Related Content

Featured

Featured (20)

Embedded Probabilistic Programming