「GoogleMapが粒度の異なる地図を使い分け最短経路を出している」という話を聞いて「学問の厳密さについて」を思い出したのでそこだけ再読した