python の LP/MIP ソルバー（のラッパー）である pulp のバグをみつけたのでメモ． GitHub - coin-or/pulp: A python Linear Programming API 具体的には，目的関数がゼロの場合，ダミー変数が現れて solve() 後の valid() （現在の解が実行可能かどうか）の…

カルマンフィルタのベイズじゃない説明の意味がわからなかったので，ベイズっぽく導出した．それのメモ． 状態変数が であり，観測量が がである次の離散時間システムを考える： ここで は系への入力であり， はそれぞれ平均が零，共分散行列が である正規分…