https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 『もしドラ』 面白かった。流れが進研ゼミのマンガ的にわかりやすさくて、過程が「ドラゴンボールでたとえてくれ」的にわかりやすくて、ドラッカーの引用の切り出しが名言bot的にわかりやすい。あともちろん絵が可愛いです | |
| 反省して別の略し方を考るべく適当にsubsequenceを拾う試みをしばらく続けていたが 『もジャー』 まで考えて力尽きた | |
| なるほどなー。幼稚園の自由研究てすごいな http://mainichi.jp/select/science/news/20100419k0000m040030000c.html | |
| http://twitter.com/Cryolite/status/12406774606 これマジメに面白そうだ。「はにはに」みたいな天才的な略称まで閃くことは考えないで、文書要約の極端な応用で単語の重要度決めて音節数で候補を絞った後、検索でヒット数少なそうなのを選ぶとか | |
| あと音のイメージとかかなー。 | |
| 思わずミルカさんがレディ・ガガみたいなファッションになっているのを想像… RT @kinaba 「すうがが」 (via @hyuki) http://twitter.com/hyuki/statuses/12415285740 | |
| @SubaruG context-free の対義語だと、どっちかというと context-sensitive ということが多いような気がする | |
| context-malloc grammar | |
| http://www.atdot.net/~ko1/diary/201004.html#d18 そうそう、知り合いがあんなにいるとは思わなかった。あとささださんは割とまさに日本のトップクラスの研究者なイメージなので、その自己評価がよくわからないですね… | |
| @ikegami__ FLOPS'10といえば "A Pearl on SAT Solving in Prolog" という論文がとても楽しかったので、さらに会場で追加の楽しい質疑応答などがあればつぶやいでくださると涙をぷろろぐぷろろぐと流して喜びます！ | |
| と思ったけど VIDEO TALKS というところになっている。http://www.kb.ecei.tohoku.ac.jp/flops2010/wiki/index.php?Program 噴火の影響か。大変だなぁ… | |
| 関数fに対しx \mapsto (f(x),f'(x))が単射になるよう情報を補完する関数を何かしら拾ってくる演算をf'とすると(f｡g)'(x) = (f'(x), g'(f(x)) がとりあえず単射性の条件は満たす的な話をこの前聞いて、これも何かこじつけられんかと思ったりした | |
| 合成の順番がなんかおかしい。(g'(x), f'(g(x)) か。逆計算 (view-update) 可能になるようにプログラムを操作する系の google://constant-complement-approach という方面のお話だとかなんとか | |
| 自分でも「合成する順序間違えてやたら強いこんぼう作れアホォーー！」 http://goblinicpot.sakura.ne.jp/aruaru.htm を思い出した RT @kinaba さんが合成とかいうと、ダンジョン警備しているようにしか見えない (via @tsukuno) http://twitter.com/tsukuno/statuses/12441136075 | |
| @ReiOdaira DOI じゃだめですか。この前自分がジャーナルに出した論文にはreferenceにDOI入れました（査読でなんと言われるかは不明）。 | |
| PepsiShiso さんが僕の知り合いをフォローするたびに関係性を疑われているのを見るとだんたん申し訳なくなってくるでござるの巻 |