次世代の防衛システムは単に性能を発揮するだけではありません。彼らは数学的に正しく動作したことを証明できるでしょう。 それがラグランジュが目指している標準です。