2005-12-14から1日間の記事一覧
→の変換 確率行列度をチェック check() 反復 から を構成 check() checkの結果により、必要なら確率行列に丸める。 の計算 for In : 厳密に Gj.contain(f(b)) Bounds : だいたい境界, Gj.intersect(f(b)) and !Gj.contain(f(b)) の近似. Out : 厳密に !Gj.in…
→の変換 確率行列度をチェック check() 反復 から を構成 check() checkの結果により、必要なら確率行列に丸める。 の計算 for In : 厳密に Gj.contain(f(b)) Bounds : だいたい境界, Gj.intersect(f(b)) and !Gj.contain(f(b)) の近似. Out : 厳密に !Gj.in…