生産性高い人間は地球に残して生産性低い人間は火星を開拓するのに回すのが合理的なのかもしれない