https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 敷き布団を体の上に掛けて寝るのが最近あまりにもマイブームなのでもう一枚敷き布団買って挟まって寝ることを視野に入れたい | |
| @john_229 この重量感は病みつきになります | |
| @john_229 はっ！ぐるぐる巻きまでいかなくても、二つ折りにすれば１枚の敷き布団でも敷きながら掛けることが可能になるのでは…！？ | |
| 積んでたOn reversible automata http://hal.archives-ouvertes.fr/hal-00019977/en/ とBideterministic automata(PDF) http://www.cs.ut.ee/~varmo/tday-kaariku/tamm-slides.pdf などを読んでた。想像通り、s/モノイド/群/ な感じ的な話がでてきたので満足した | |
| これはしかしLogicで特徴づけるとなんになるだろう、というのがざっと探した感じで見あたらなかった。MSOをどう制限したそれになるんだろか | |
| 寝よう |