地球が球面かどうか調べるため、測量に凝ってたって話は本当なんだろうか。