形式証明を考えずに旅客機設計してましたとか、ホント正気の沙汰じゃない
事業化して10年近く経ってのチーフエンジニアの言葉だからな