例が古くて、がたがたなので、最新の環境で検証ししようとする。横チェーンで繰り返し(cnt)を考慮する場合って、追い抜きがexocr(a) = ocr(a) - ocr(c)と いうことは、マイナスになることがあるのね。というわけで本当は難しかった。もうツール化するしかな…

とりあえず、３つのうち２つは出来て、３つめは目処が立った。Gameによる定式化は、どこにも正しい参考文献がないから、いろいろかき集めて付録に書いていたいのを忘れていた。http://d.hatena.ne.jp/henjin1go/20081101 これに従えば、ちゃんと計算を説明で…

だいぶ立ってしまったが、予備審査時に出した草稿を修正中。7月初旬に、実は提出期限が来る予定なので、それまでに直るのか、追加できるのか？まずは、予備審査のときに、外部審査員の先生に指摘された事項を振り返る（いまごろ？？）色々鋭いしてきがあって…