予算とかそういう現実的な問題抜きにしてああいうコロニーって理論上可能なの?