F35の制御系ってバグだらけなんだってな
クリティカルなシステムは手続型で愚直に地道に書いた方が品質が良いとか言ってた奴は嘘だったんだな