紀元前に地球の大きさの図り方を考えたギリシャ人って頭良すぎない?