https://twitter.com/kinaba のログ (twilog の方が便利です。)
| TCOのパンフレット ( https://t.co/IpC9HeYtVg ) 見てる。Favorite Book等けっこうかぶってて面白い。指輪物語、氷と炎の歌、ハリポタらへんのファンタジーとホームズが一大勢力 | |
| @qnighy 素数がn/log n個あるのでlcm=Ω(2^(n/log n))は多項式より速そう | |
| "Facebook is using D in production starting today" http://forum.dlang.org/thread/l37h5s$2gd8$1@digitalmars.com あんどれーがいても今まで使ってなかったのかー | |
| favstarときどきprotectedなツイートが見えることがあるのなんでだろう | |
| @filil 本垢と別に鍵垢もってる人のだったりするのであんまりそういうことなさそうなんですよねえ。 | |
| @filil ははー | |
| 日,月の旅の足を確定した。宿どこにしよう | |
| @sinya8282 "CFL iff recognizable by finite groupoid (magma)" ってダメですかね。どういうものを algebraic characterization というのか実はよくわかってない勢 | |
| @sinya8282 LATA 2012 の groupoid がなんとかという論文（うろ覚え）で famous と書かれてて僕は知りました http://twilog.org/kinaba/search?word=groupoid&ao=a チョムスキー標準形にしてpowersetと昔の僕が述べています（うろ覚えその２） | |
| 今日の日記リファラに "デベハトップ" というのがあった。超懐かしい。 | |
| @sinya8282 おー。結合則を持たせようとすると有限生成の無限monoidとかですかね |