Google Maps

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

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

飛行機

明日からChicagoです。

Edu-sig

武田さんのところで読むまで気が付かなかったのだが、Python関係のメーリングリストのひとつedu-sigで、Andreasがいろいろ書いていたのだな。

Guidoは今風のハッカーらしく、過去の良いアイディアのエッセンスを考えてみたりすることはない、という面が強いのだよな。Mooreの法則が自動的に解いてしまえる問題と、ソフトウェアの人が頑張って解くべき問題といったものも区別して考えないと。