アポロ11号のコンピューターに57年間隠れていたバグが発見!AIが見つけた衝撃の事実2026年4月8日·4 分IT アポロ11号 バグ発見 AI活用 宇宙開発 ソフトウェア検証史上最も精査されたコードの一つであるアポロ11号誘導コンピューターに、57年間誰も気づかなかったバグが発見されました。AIと仕様言語を使った新しいアプローチが明らかにした驚きの発見とは?