ソフトウェア検証

史上最も精査されたコードの一つであるアポロ11号誘導コンピューターに、57年間誰も気づかなかったバグが発見されました。AIと仕様言語を使った新しいアプローチが明らかにした驚きの発見とは？