そもそもカルマンフィルタの3つある証明の簡単なやつにベイズの方法があるだけであってカルマンフィルタ＝ベイズではない。