Probabilistic Programming: t-Distribution

Ref: Baysian Analysis with Python by Osvaldo Martin
——————————————————–
t分布を解析する。t分布の基本は、正規分布する母集団の平均と分散が未知で標本サイズが小さい場合に平均を推定することに用いられるということだった。t分布には自由度vという第三のパラメータがあり、このvが無限大となれば、正規分布に収束することとなる。
t分布と正規分布を比較すると、t分布のほうが、自由度が小さければ、分布の高さ(頂点)が低くなり、その分、裾野部分が少し広がる。
実用上はvが30以上で、ほぼ正規分布といわれる。
まずは、自由度を変動させて、分布を正規分布v=∞に近づけてみる。

事前分布の設定は、
μ〜Uniform(l, h):平均値は一様分布
σ〜HalfNormal(σσ):標準偏差は半世紀分布
v〜Exponential(λ):自由度は、指数分布
尤度:
y〜StudentT(μ, σ, v) 
として、KDEとトレースプロットは、