https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 「素数で正規表現判定」というネタが作れないか考えている | |
| 正規表現から記数システムを自動生成して、入力文字列をそれで解釈して素数になったらマッチ合成数ならfail、みたいなそれを（適当 | |
| PLDIの論文読む会の発表資料うｐした (PDF http://www.kmonos.net/pub/Presen/PLDIr14.pdf ) だんだん読み方が適当になっていてよくない… | |
| Sketching http://www.researchchannel.org/prog/displayevent.aspx?rID=4335 の話はなかなか面白くて、「こまかい分岐条件とかわからんけど、だいたいこうやってあーやってそうやったら高速化できるはず！」というスケッチと遅いけど合ってる実装（やspec）を与えると自動でプログラム探索してくれるという | |
| つまり今CodeforcesのE問題 http://codeforces.com/contest/24/problem/E 実装するのに欲しい、いやこれだいたいあーしてこうしてそうすればO(n log n)になるって絶対！ | |
| ねこせんぼっとさんが問題Eを考えている僕のタイムラインで等速直線安藤とつぶやく |