https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 普段Chromeのアドレスバーにtwと打つとtwitterが補完されるのでそれでツイッターのページ開いてるんですが、t押すときにちょっと下のキーを引っかけちゃって"gtw"で検索すると出てくる http://www.osanponavi.com/gtw.html "会員制町歩きの会"がすごく気になっている | |
| Indexed GrammarのAhoさんはみんな知ってるエイホさんですが、Macro GrammarのFischerさんはunion-findの論文最初に書いた人ですと言うとアルゴリズマーコミュニティには凄さが通じそうだけど他のコミュニティにどうなんだろう。 | |
| @TKinugasa 聴衆があかでみーっくな感じなことがわかっていた会なので、お前らならそのくらい適当にわかれみたいな雰囲気で全体を書いていていい加減で申し訳ない雰囲気です。あと三周くらい改訂する機会があれば人類に読める文書になるはず…！ | |
| はいぱー酔っぱらいモードである。「酔った勢いで口から名言吐きそう」という名言はけだし名言である | |
| @TKinugasa 発表では口頭で補足したんですが、「左辺に複数書ける（ただし左辺より右辺が必ず長い）＝文脈依存文法」で、「左辺に複数書ける（長さとか何でもあり）＝Type-0文法」となっております | |
| 世界の知識の総量 Σknowledge を増やすことと自分の知識の総量を増やすことに興味はあっても、重複を除いた ∪knowledge を増やすことに興味が湧かないみたいなところが自分にはあって、 | |
| しかしお前が目指すべきところはそうじゃねーだろう、という意見も理解できるところではあって、まあ考えさせられている | |
| 輪読などして一字一句真剣に読んだ技術書リスト Computability and Logic http://www.amazon.co.jp/dp/0521701465 A New Introduction to Modal Logic http://www.amazon.co.jp/dp/0415126002 | |
| Semantics of Programming Languages http://www.amazon.co.jp/dp/0262570955 Model Checking http://www.amazon.co.jp/Model-Checking-Edmund-Clarke-Jr/dp/0262032708 Recursion Theory http://www.amazon.co.jp/dp/1568811497 | |
| Purely Functional Data Structures http://www.amazon.co.jp/dp/0521663504 Coq's Art http://t.co/gaMyDJz | |
| 7冊しか精神を削って読んでない | |
| 得られる情報量が0の比較演算をしてはならないという制約を課した時の最遅ソートの計算量ってどれだけ遅くできるだろうか。O(n^2)になりそうな気がするけどO(n log n)より遅くなれるか一瞬で自信がない | |
| いやいやクイックソートは無駄なことしないし最悪はO(n^2)だから少なくともそこまではいくか。 | |
| そして全対全の比較をしてもn(n-1)/2回しか比較できないのでそれが明らかに最遅であった。 | |
| @y_benjo なんとかして bogosort に栄誉を与える評価基準を編み出したいところです | |
| 月曜日が来るたびに「まだだ、まだ今日は日曜日に違いない」と脳内時計の針を戻して逃避するのはむなしいので、脳内時計の針は常に先に進めて暮らすことにするべきであり、僕はそろそろ年末ムードで生活します。 | |
| @tsukuno ソフトは当然買うとして、Wiiとテレビを買うかどうかが目下最大の論点です | |
| @tsukuno 実家にはあるけど、なんというか、そういう空気ではない… | |
| にっきかいた『最遅ソート』 http://www.kmonos.net/wlog/122.html#_2142110912 深く考えてないので色々と自明かもしれない | |
| @kmizu 試してないですけどRats!って再帰的なインスタンス化ってできましたっけ。F(x,y,z) ::= F(ax,by,cz) | xyz のような。 | |
| @rng_58 とてもそんな気がしてきました。なるほど。 | |
| @htk16 ありがとうございます！読ませていただきます。これだけ丁寧にコメントされていればドキュメントがあるようなものです！ | |
| 最悪 Ω(N log N) かつ平均 Θ(N^2)、ふむむむむ |