蟻に素数を探させる。