https://twitter.com/kinaba のログ (twilog の方が便利です。)
| "猫が談合する島！？Ｐａｒｔ１～天草・湯島の魅力～" http://k-staff.blogspot.jp/2014/02/blog-post_5978.html 見てる。湯島天神の梅まつりに天草コーナーができてたのなんだろうと思って調べたら天草には湯島という島があるのか。行きたい | |
| http://www.softantenna.com/wp/webservice/email-regular-expression/ 突っ込みたい点（99.9%worksと言ってるだけで99%のアドレスにマッチとは言ってなくない?とか）はさて置き、RFCの定義って正規言語なんでしたっけ。なら実際何%カバーしてるか厳密に計算できそう(@sinya8282 さん好きそう | |
| @sinya8282 ∃SO = NP完全、∀SO = co-NP完全という特徴付けなので、その勢いでSO全体だと "http://en.wikipedia.org/wiki/Polynomial_hierarchy な計算量で判定可能な言語全体" だったと思いますです | |
| 昼書いた、正規表現感のカバー率、厳密に計算できそうとか言ったけど、当然だったがそもそも割合が定義できない可能性がそれなりにあるなあ。長さn以下の文字列に関するカバー率のn→∞の極限というのが素直な定義だと思うけど、文字列全部に対する偶数長文字列のカバー率とか振動する。 | |
| @zakkas783 わたし テレビ ない / しかし一週間早くやればせっかく満月ですのに | |
| @sinya8282 再帰要るのですねふむー。たとえば「最後の一文字が'a'である可能性だけを抜かす」とかすると0-1の真に中間の値になったりすると思うのですが、そういうタイプの抜けは無い(あるとすれば0-1則っぽいパターンだけ)みたいなの判定できるだけでも面白そげです | |
| https://t.co/RY7IYaTij8 STOC'15の論文リストみてる。KK先生また3分身してらっしゃる | |
| "Edit Distance Cannot Be Computed in Strongly Subquadratic Time" http://arxiv.org/abs/1412.0348 (SATは2^n時間かかる予想を仮定すると)編集距離はどうしてもn^2時間かかるてうのがなるほど感あった | |
| Strong Exponential Time Hypothesis の正確なステートメントゴルフ大会 | |
| RT @qnighy: true (過激派) |