いろいろ修正

とりあえず、３つのうち２つは出来て、３つめは目処が立った。

Gameによる定式化は、どこにも正しい参考文献がないから、いろいろかき集めて付録に書いていたいのを忘れていた。http://d.hatena.ne.jp/henjin1go/20081101 これに従えば、ちゃんと計算を説明できる。とくにGame Structureは
concurrent Gameを基盤にしているから、turn-basedの場合はどうなるというのを区別しないといけいない。とりあえず充足性判定の事例２つをノートで確認した。