調整できる二項分布のシミュレーション。ボタンを押すと1回試行を行う。パラメータとした以下の確率質量関数で表される。ここで二項係数は以下のように表される。いくつ観測されたかの確率を表している点に注意。合計で表すことができる。した場合に二項分布はベルヌーイ分布と等しくなる。分布と同じ意味になることから分かる。したときに二項分布はポアソン分布となる。ときの状況でポアソンの少数の法則と呼ばれる。返す関数について考える。あった数を返せば良い。束縛された試行関数を生成できるようにしても良いだろう。対してもオーバーフローを起こしやすいため、二項係数の演算では対数で求めた後に指数化すると良い。factorialln(n-k)))}本来の二項係数は整数となるが、この結果には浮動小数点演算の丸めによる若干の誤差が含まれる。確率関数は指数と階乗を含むため数値演算上のオーバーフローを起こしやすいが、一度対数化してから指数演算を行うと簡単になる。\]上記より二項分布の確率関数は以下のように実装できる。部分適用によって束縛できるようにしている。p))実行結果は以下の通り。分かりやすいように部分適用は名前付きパラメータで呼び出している。