読者です 読者をやめる 読者になる 読者になる

進捗状況 (午前1時前)

AlgGCの解析終わり. ちゃんとゲームの列も考えたので, 大丈夫な筈.
一般的なAR-methodの方に適用できるような補題の形で書いておいて, 証明も積分して確認済. 大雑把な証明だけ書いてメモしといたので再利用は可能です.