銀行レベルの堅牢性が求められる送金システムの設計において、AIを「攻撃者」と「防御者」として対話させる手法を紹介。状態遷移を用いた論理の矛盾排除による二重送金防止策を解説します。