3Dプリントで宇宙船製造が早く、安く。ロッキード・マーティンが280リットル大チタンドームを印刷