SpaceX開発のロケット「Falcon 9」はLinuxとC++で宇宙へ飛び立っている