円周率正確化は、高精度地図作るのに必須だろ