https://twitter.com/kinaba のログ (twilog の方が便利です。)
| "Program Analysis and Manipulation to Reproduce Student's Erroneous Reasoning" なんだろう、気になる http://costa.ls.fi.upm.es/lopstr12/lopstr12_program.html | |
| む、Road Coloring Problem 解いた人 ( http://science.slashdot.org/story/08/03/21/1319250/road-coloring-problem-solved ) が Černy 予想の http://arxiv.org/abs/1202.4626 二乗オーダの上限示したと言っているのか。ほほー。 | |
| unclear だって言っている言及 http://arxiv.org/abs/1204.0856 を見て知った https://t.co/kdNA7vGp | |
| と思ったら Comments: the proof is wrong となってた | |
| そして言及している方も Comments: This paper has been withdrawn by the author due to a crucial error in the proof of Corollary 2 だった。 | |
| キリトってそういえば未だに http://ja.wikipedia.org/wiki/%E8%87%AA%E7%94%B1%E4%BA%BAHERO#.E8.9F.B2.E4.BA.BA が5割の確率で浮かぶ | |
| @natsutan ぼうれい武者に乗り移られました | |
| "f(n) = if 0^n occurs in the decimal representation of π then 1 else 0. Prove that f is computable." http://cs.stackexchange.com/questions/367/how-can-it-be-decidable-whether-pi-has-some-sequence-of-digits おもしろい | |
| さっきのは "Are there non-constructive algorithm existence proofs?" http://cstheory.stackexchange.com/questions/12162/are-there-non-constructive-algorithm-existence-proofs でリンクされてたんだけど、こっちはもっと色々意味のある例があって良い |