火星に住める技術力ができたころには火星に住まないでも地球だけで効率よく住める技術もできてそう