https://twitter.com/kinaba のログ (twilog の方が便利です。)
| てすとてすと Tween 入れてみた | |
| 自分が使うWindowsマシンは全部「システムのプロパティ＞コンピュータの説明」を例に従って"キッチンのコンピューター"にしてるわけですけど、昔はキッチンにコンピュータなんて置くかよwwwとか思ってたけど最近はあるかもなーと思うようになってきたけど現実に見たことまだないな | |
| @kmizu Deterministic CFG が、定数メモリで解析可能かは決定可能 http://dx.doi.org/10.1145/321864.321865 だけど、確か記憶が正しければintersectionの空判定は決定不能だったと思うので、一概には言えない気も。 | |
| そういえば http://dx.doi.org/10.1016/S0304-3975(02)00027-0 これを投げつけたら読んでくれる人いないかな。 | |
| @ikegami__ （つ・＿ ・）つ http://dept-info.labri.u-bordeaux.fr/~ges/publis_automates.html | |
| 166ページの証明が、次のsimplified proofと題された論文では54ページと3分の1になっているので、もう一声ブレークスルーを起こして18ページになってくれる日を僕は待っています | |
| Yes。それです。内容ざっと把握しておきたいと思っているのですが54ページはまだなかなか怖ろしい… RT @haruo_hosoya 決定的プッシュダウンオートマトンの等価性の決定可能性の証明のこと？ RT @kinaba: 166ページの証明が… | |
| 一部の問題がすごく… @oxy さんです… | |
| おわたおわた。DとG瞬殺できなかったのはちょっとアレだった反省 | |
| A,B,C:やるだけ D:ランダムに選べばNが大きければ確実に条件を満たすし小さくても50%は満たすので回す E:篩 F:O(N^2K)から減らない... G:乱択で確率50%で1になるのであとは半分にわけてどっちが1か二分探索、をK回 H:適当仮定で二分探索+貪欲 I:やるだけ | |
| TL見ていると乱択アルゴリズムを邪道っぽく感じているように見える人が多くて悲しいですし、ここは一つTopCoderを乗っ取って半年くらいひたすら乱択で書かないと死ねる問題をSRMで出し続け洗脳するべきときが来た | |
| @hyuki なかなか簡単ではなさそう…。本などで見た問題の焼き直ししかとっさには思いつきません(^^; | |
| レッツノートさんにとりあえずデータの移行と最低限の環境整備は完了した。あとは言語処理系をFactor以外一個も入れないことで強制的に言語習得せざるを得ない状況に追い込むライフハックを実行するかどうかです。 |