https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 会社マシンの壁紙、Firefox壁紙のかっこいいのを時々変えながらつかってるんだけど https://t.co/V3NiUwHy そろそろ飽きてきたのでIEのかっこいい壁紙探そうとしたが見つからない。悲しい。 | |
| ううーむ http://www.dicasemgeral.xpg.com.br/ja/wallpapers/computadores-wallpapers/12547/wallpaper-da-semana-internet-explorer-codes-build/ | |
| 毎回75分で問題3問出すが、同じ問題セットでもDiv1ではΔ_1^Pに入ることを示さないといけないけれどDiv kではΔ_k^Pを示せばよい、とすれば自然にDivisionが無限個作れる toPHcoder というのはどうか。 http://en.wikipedia.org/wiki/Polynomial_hierarchy | |
| ということを、朝にまた "素数判定はNP" が話題になっていたのを見てやはり NTopcoder https://t.co/CyOnPPjg が必要なのではという思いを強くしながら考えていた（帰宅） | |
| https://t.co/mzrmxdVF あるいは問題セットはやっぱり別物にして、ただし Div k+1 ではプログラムを書くときに Div k の問題を解ける関数をオラクルとして使ってよいことにする。 | |
| https://t.co/c40ys3Kt 【R&R】を読んで森真希登場に嬉しくなったけど、え、"けっこう古い"扱いなんですかかかかかorzとなったここの私は本戦出場資格がない | |
| @dream_shifter 残念ながら、まさにそのような反応が多く見られるのが良くないなあと思ってしたのが先ほどの発言でした。Pで解けるからと言ってNPであることに変わりはありませんし、素数判定がNPであることの証明の面白さが減ることもありません。 | |
| 途中で D 問題を実装しきるのあきらめて C を綺麗に書こうと頑張っていたけれどあんまり綺麗になっていない http://tenka1-2012-quala.contest.atcoder.jp/submissions/37098 | |
| C問題は遅くない言語だと O((N+M) S) 間に合うのか。絶対厳しいなあと思って O(MS) でやった。 | |
| @dream_shifter 存じております。繰り返しますが P であるからといって NP であることとその証明に何の変化もありません。 |