ソフトウェアの未来はAIがコードを書き、AIがそれを検証することです