https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @kururu_goedel 拝見しました＆熟読しました。良さそうに見えます。すごい！ unambiguous CFLは補集合で閉じてないので（regularを越えると、閉じさせようと努力しないと色々閉じなくなりがち…）、もう少し狭いサブクラスまでの一般化になりそうです | |
| @kururu_goedel 二点気になったのが、(iv)◆M_{n+1}◆is not co-slenderでしょうか？ と M_{n+1}=M_n \cup (L_n or \Sigma^* \setminus L_n) ◆\cup \{x_n, x'_n\}◆？ です | |
| @kururu_goedel 大きいところだと、slender性のdecidabilityが無さそうなので。しかしdecidableでないところで同じ議論を使っても、f が計算可能でなくなるだけといえばだけなので、それで特に構わないような気もしますね。 | |
| いやしかしこの M_n は面白いなあ。http://twitdoc.com/c/xrwhnm 本体か補集合かどっちかで何か言えればいい感じな時だと、こうすれば有限の範囲だけごにょごにょいじったもので全部話を済ませられるのか | |
| @kururu_goedel なるほどなるほど。mad familyかっこいいです、特に名前が（違)！ やっぱり色々なところの証明技法やアイデアは知っておくと楽しそうですねえ。 | |
| おきました | |
| @ysks @xhl さんなら僕の隣で寝てぬよ | |
| すごい人の山あり谷ありでした苦労記みたいなものを読むと谷が高すぎてどうしようと思う。 | |
| けどまあ、自分自身も含めて誰でも、低空飛行のままでなんかできるような未来が来るといいですねというかそうしたいですねみたいな野望が新たになりますね | |
| アイコン変えよう。グーグルで名前で検索かけようとすると「マクロベータ 影薄い」とサジェストされることで有名な可哀想なマクロベータです。よろしくお願いします。ところでこの人なんでmacroでβなんて名前なんでしょうかと昔から疑問 | |
| 戦国大名の六角定頼の名前を始めて見たとき、迷わずろっかくじょうぎと呼んだことを思い出した RT 本気で吹いた RT 天才過ぎてふいた RT @asi1024: @tozangezan 三角定規を「みすみさだのり」と読むのもおｋ (via @imos) (via @nodchip) | |
| 始めてと初めてを間違えないことに全力で特化したIMEが欲しい | |
| おい、呼んだと読んだもだ | |
| @finalfusion だんだんアイコン変えるときの自己紹介ネタが尽きてきたせいで、最近アイコン変えるペースが落ちてきていますw |