ファラデーへの道への寄り道

カルマンフィルタ成仏シリーズとして開始した前回は以下のように離散ベイズフィルタが成仏した。 今回も前回から引き続き、以下ドキュメントの1次元カルマンフィルタに関するPythonプログラムをRustで写経し成仏させていく。 この後に控える多変量カルマンフィルタを前に、1次元のガウス分布である平均と分散を用いて、事…