Google Maps

ちょっと前までは、Google Mapsのズーム・インとズーム・アウトにはもうちょっと精度があったような気がする。まずはずいっとズームインしておいて、そこからずいっとズームアウトして大陸レベルに行き、位置を動かさないようにしたつもりでもう一度ズームインするとかなり激しくずれてしまう。いまいちだ。

ズームアウトするところのつなぎ目の処理で丸め誤差が導入されているようにも見えるけど。