https://twitter.com/kinaba のログ (twilog の方が便利です。)
| LICS/ICALPのワークショップ論文見てて http://hopa.cs.rhul.ac.uk/files/submissions/HOPA_2015_submission_2.pdf このdownload closureネタ最近他にも見たなあ流行ってるのかなあと思ったら同じ著者だった https://t.co/QTYNAHdsha しかもこれまだ自力証明できてなかった | |
| 任意の言語LについてLのdownward closure(Lに属する文字列の(連続句してないものも含めた)subsequence全部からなる言語)は正規 | |
| subsequenceといえば基本的には飛び飛びの部分列も含むという定義であることが多いと思うんだけど、そっちの意味であるという注釈なしで誤解されない自信が全くないので、なんか誤解の余地がないかっこいい新語が発明されて欲しい | |
| このワイヤレススピーカかわいい http://www.sony.jp/active-speaker/products/SRS-X1/ けど http://www.sony.jp/active-speaker/products/SRS-X11/ こっちの方がスペックいいのかな | |
| On free monoids partially ordered by embedding http://www.sciencedirect.com/science/article/pii/S0021980069801110?via%3Dihub 結局答え読んでしまった。まだ全部理解できてないけど|Σ|に関する帰納法なるほど…面白正規だ |