マルコフ連鎖する条件付き正規分布の任意のtに対する分布の証明をやりました。