広大な領域をスムーズにスクロール・拡大縮小するAndroidライブラリについて。GIS用途に。