>>396
演算用の人工衛星も軌道エレベーターも……