https://twitter.com/kinaba のログ (twilog の方が便利です。)
| codeforces C問題まったくわからねーと考えながら寝落ちってしまった… http://codeforces.com/contest/226/standings やっぱりC難いですよね… | |
| Play Books もう出てるの | |
| IOI観戦出遅れた…っ！ http://carp.di.unipi.it/ | |
| 準急さん一問目でtourist上回ってるのかすごい | |
| こどふぉとの対応表みてる http://codeforces.com/blog/entry/4760 | |
| トップ入れ替わった！ http://carp.di.unipi.it/ | |
| この超絶カッコイイ順位表というかコンテストシステム公開されてるんだな。https://t.co/OaNtYa2y ICPCまでにスコア表だけPC^2のログから更新できるようにできないか | |
| AGPL実際に使ってるソフトそういえば初めて見たかもしれん | |
| 解いたこともない問題を問題名で呼ぶのは馴れ馴れしすぎる気がして、IOIの実況しようとすると番号もアルファベットもついてないのでドキドキしてしまうクラスタ | |
| gcd(F_x,F_y)=F_{gcd(x,y)} まじで | |
| sugoi | |
| 互差法の逆向きだから隣同士は互いに素、くらいまでしか考えたことがなかった。へええええ http://en.wikipedia.org/wiki/Fibonacci_prime#Divisibility_of_Fibonacci_numbers | |
| 証明できた…けどあんまり綺麗にできなかった。ggg | |
| f(1)=1,f(2)=1…だとf(x+y)=[(0 1)(1 1)]^x[同]^y[0 1]=[(f(x-1) f(x))(f(x) f(x+1))][同y][0 1]=f(x-1)f(y)+f(x)f(y+1) ∴これとfyとのgcdはfxとfyのに等しい→添字の互差法が回る | |
| なんかもっと美しい証明がありそう | |
| http://www.ioi-jp.org/ioi/2012/quickreport.html ペロリンいすぎでは… |