>>714
形式証明取得作業自体は続けるとされている

要員削減についてはいよいよ本格化しているF-3の開発に投入できることもあり極めて妥当