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