https://twitter.com/kinaba のログ (twilog の方が便利です。)
| P＜EXP、紙の上では実数を経由して 2^{-a} とか出てくる式を使って証明できてるんだけど、これをCoqで表せる自信がないので自然数の範囲でやりたいんだけど証明思いつかない状態。 | |
| @max747 ああ、なるほど！それにしても少ないなぁ…と感じたんですが、URL変わっちゃったんですかね。納得。６年以上前の記事で印象に残っているものを色々眺め直してみるとなかなか面白いですね。 http://bit.ly/aOEQxh http://b.hatena.ne.jp/entry/www.kotono8.com/2003/09/20randomize_letters.html | |
| http://www.liafa.jussieu.fr/~colcombe/talks_en.html ColcombetのLICSのスライドが.swfだ格好いい！ LICSって行ったことないので妄想だけど黒板かOHPが主流でもおかしくない位の印象（誇張）だったので意外で面白い |