2009-04-04から1日間の記事一覧

適格度トレース

適格度トレースについて理解が進んだので、少しだけメモ。 前方観測的な見方は実装不可能 前方観測的な見方はsごとに見ているが、これをtごとに分解し計上する 時間ごとの状態更新式になる 実行しながら更新することが可能 この式のλ項を適格度と呼ぶ