https://twitter.com/kinaba のログ (twilog の方が便利です。)
| SRM15分延期か…寝落ちしそうなので回避するかなあ… | |
| 喉＆頭ache（風邪引いたっぽい） | |
| @septef ちょうど家の蜜柑の備蓄が切れたので死にそう | |
| @zakkas783 ひさびさに生姜湯ツイートいただいた気がしますありがとうございます！ | |
| http://www14.in.tum.de/STACS2015/index.php/accepted-papers STACS 2015の論文リスト眺めている。まだ公開されてる論文あんまりないっぽいけど楽しそうなの結構あるなあ。 | |
| n=4文字列ペアのPCPはundecidableであることがわかったらしい http://arxiv.org/abs/1312.6700。n≦2がdecidableでn≧7がundecidableなことまでが既知 http://en.wikipedia.org/wiki/Post_correspondence_problem 。残るはn=3！ |