世界中のアリ(蟻)を1か所にまとめたらどれくらいの大きさになるのか?