『形式検証超入門-AI時代の「正しさ」と「責任」を、形式証明・Lean・ADICで学ぶ』2026/4/30 5:03:00 https://zenn.dev/ghostdrift/books/355456ce679c1c