2004-03-31 ■ 仕事 メモ cppmlでXMLの話題が面白い… Spin - Formal Verification ゲームのシナリオを検証するときに このような形式検証の技術をつかっているところもあるらしい これはAI等の検証にも使えそう…