遺産であるCOBOLを現代化し、その正確性を自ら証明するAIを開発した話
zenn.dev