火星や木星、それに全然話に出てこない金星とか、どの程度開発されてる感じなんだろ?