smoking186 https://blog.hatena.ne.jp/smoking186/ 186 @ hatenablog https://186.hatenablog.com/ 私信 AlgGCの解析終わり. ちゃんとゲームの列も考えたので, 大丈夫な筈. 一般的なAR-methodの方に適用できるような補題の形で書いておいて, 証明も積分して確認済. 大雑把な証明だけ書いてメモしといたので再利用は可能です. 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2F186.hatenablog.com%2Fentry%2F20080718%2F1216309560" title=" 進捗状況 (午前1時前) - 186 @ hatenablog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-07-18 00:46:00 rich https://186.hatenablog.com/entry/20080718/1216309560 1.0 100%