確率分布はモナド

• 確率的プログラミング は ベイズモデル とかに使われる

例

確率変数が互いに依存している状況は グラフィカルモデル で表せる.

• グラフィカルモデル: 確率変数間の依存を DAG で表したもの

ある確率で表が出る($X$) コインを投げる操作($Y$):

graph TD
X --> Y

$X$: R<double>
$Y$: double -> R<bool>
なので, コインを振る動作はモナド
R<double> -> (double -> R<bool>) -> R<bool>

参考文献

• 確率とモナドと確率的プログラミング - Qiita
  • 冒頭に対象レベルが明示されていた, よい
    • Ladder of Functional Programming 〜関数型プログラミングのレベル分け〜 - Qiita