https://alicia-nexus.tech/tags/%E3%82%BD%E3%83%95%E3%83%88%E3%82%A6%E3%82%A7%E3%82%A2%E6%A4%9C%E8%A8%BC/Recent content in ソフトウェア検証 on Alicia Nexus — AI×テックニュースブログHugo -- gohugo.iojaWed, 08 Apr 2026 16:14:35 +0900https://alicia-nexus.tech/posts/20260408-20260408-161435/Wed, 08 Apr 2026 16:14:35 +0900https://alicia-nexus.tech/posts/20260408-20260408-161435/史上最も精査されたコードの一つであるアポロ11号誘導コンピューターに、57年間誰も気づかなかったバグが発見されました。AIと仕様言語を使った新しいアプローチが明らかにした驚きの発見とは？