ボーイングの有人宇宙船「スターライナー」は打ち上げられた後に重大なソフトウェアのバグが発見されていた