https://twitter.com/kinaba のログ (twilog の方が便利です。)
| .@rng_58 さんの配信URL、「申し訳ありません、ご要望のページを見つけることができませんでした。」と出てきてしまう | |
| @nodchip 多謝 | |
| http://d.hatena.ne.jp/lanoca/20100527/1274990064 面白いなあ。『「何事も形から入れ」といった章題に見られるライトノベルやテンプレへの負い目は当然その革命のために組織されたものだ』 良い書評は時として対象を遙かに超えて面白くなる | |
| http://itpro.nikkeibp.co.jp/article/Watcher/20100519/348242/ 「出力は正しいか？」がとても面白そうに思える。結果が全部素数なのはMiller-Rabinブン回せば済むとして、抜けがないことの検証って何かしら可能かな。 | |
| あーまあ、もう全部1～10兆まで全部ミラーラビンしてしまえばいいか。そりゃそうだ。つまりそうじゃなくて、本質的に全部生成してcompareよりも低い計算量で、与えられた素数リストが完全かどうかどうにか判定できるかどうか。 | |
| @chunjp http://www.research.att.com/~njas/sequences/A014233 2,3,5,7,11,13,17 で341兆まではいけます。 | |
| @iwaokimura おお、概数じゃなくてexactに素数の個数をカウントするアルゴリズムもあるんですね！勉強になります＞O(x^(2/3)/logx^2) for time and O(x^(1/3)logx^3) for space らしい。 | |
| 明日の本郷キャンパスは五月祭 ＆ 明日の決定不能の会は本郷キャンパス → 五月の決定不能祭 |