https://twitter.com/kinaba のログ (twilog の方が便利です。)
| http://www.nishipa.or.jp/nishipaslover/index01.html にっきかいた | |
| また間違えた、最近ついったーに事故ツイートしすぎだ… | |
| http://www.kmonos.net/wlog/133.html#_0000131217 にっき書いた（こんどこそ）。Competitive Programming Advent Calendar Div2013 第17日の記事です。シミュレーション問題についてです | |
| ＠各位 ニシパの恋人トマトジュースおいしいですよ | |
| @sinya8282 ご存知かもですが http://en.wikipedia.org/wiki/Duality_(projective_geometry) 点と直線や円の間でそういう変換を定義できて便利なことがあるので考えてました。正規言語ではなく https://t.co/6TrzErNekP が成り立つクラスなら簡単そうですが便利そうではない | |
| あっリンクきれてる。Kozen先生のReflectionのtechnical reportです | |
| Reduced(L) = (DyckLanguageで遷移可能な状態間にε辺を引いたオートマトンの受理言語) \setminus ∪_{σ∈S∪S^-1}(.*σσ^-1.*) なので正規、にならないかな。（ちょっと自信がない） | |
| @sinya8282 うぉーすみません来週はたぶん旅に出ていて東京近辺にいないです | |
| @sinya8282 @ranha はいー、とっころでお二人の会話の文脈よくわかってないのですが https://t.co/RDJT4Y38Fx これでできませんか | |
| @sinya8282 @ranha なるほど。ε使っちゃうととりあえずナイーブには指数でしか抑えられないですからね。 | |
| @sinya8282 { a^n | n is odd prime }・{ a^n | n is odd prime } = aaaa(aa)+ （非正規・非正規 ＝ 正規） （予想） | |
| @ranha @sinya8282 あ、Lからオートマトンを作ってそれにε辺を足しまくる感じです。∃w (q_i -->^w q_k かつ w∈Dyck) なら（これはdecidable） q_iからq_kにε辺をひく | |
| @ranha @sinya8282 後段の\setminusまでオートマトンの言葉で書くと、sinyaさんがやってるみたいに2|S|倍に状態を増やして"xで遷移したあと"を示す頂点からはx^-1の出辺を全部消す | |
| @filil ニシパの恋人おいしいのでオススメです。というか実際に人にオススメしようとしたせいでクリップボードに入っていたものが誤爆しました | |
| @sinya8282 @ranha とりあえずarXivに http://arxiv.org/abs/0910.4555 というのはありましたがこれは古来から何か研究がありそうな気がしますねえ | |
| 近くで一番空が広そうな映画館どこかな。お台場かな http://www.google.co.jp/movies?hl=ja&near=%E6%9D%B1%E4%BA%AC%E9%83%BD%E6%B8%AF%E5%8C%BA&dq=%E3%81%8B%E3%81%90%E3%82%84%E5%A7%AB%E3%81%AE%E7%89%A9%E8%AA%9E&sort=1&mid=528b6aa0384fd236&sa=X&ei=eQ2wUrKvNMfAkQW8tIHoCA&ved=0CDgQwAMoEA | |
| @ranha @sinya8282 自由群の有限個の元が与えられたときにそれが生成する部分群、の最小の生成集合を求めるとかいうのを割とオートマトンかグラフ風味で倒しているのを http://www.amazon.co.jp/dp/0817641300 で読みました。 | |
| さっき貼ったドラフトのCFLがreduceで閉じてない証明かっこよかった。なるほど逆元はそう使うのか | |
| 月と映画を見に来ました https://twitter.com/kinaba/status/412894877127421952/photo/1 | |
| 月 スマホ 撮り方、とかでくぐってもそこからさらに映画チケット等の小ネタを同時に収めつつ公共の場でそういうことしてるの何か恥ずかしいので手早く、しかも他に支えとか使わず両手だけで、みたいなやり方は発見できないことがわかる https://twitter.com/kinaba/status/412896737510965248/photo/1 | |
| レインボーでした https://twitter.com/kinaba/status/412946954025316352/photo/1 | |
| なにか科学史に残る発見をしてかぐや姫効果と名前を付けたい |