1章 元米国大統領ロナルド・レーガンの署名フレーズは、ロシアのことわざ「信頼するが、検証する」だった。予期しない環境条件や論理的な設計エラーにより、システムの想定される信頼性が大幅に低下する可能性がある。システムが「10億分の1」の信頼性を実証…