tw.log

https://twitter.com/kinaba のログ (twilog の方が便利です。)

<<newer (latest) older>>

20101117 00:47 敷き布団を体の上に掛けて寝るのが最近あまりにもマイブームなのでもう一枚敷き布団買って挟まって寝ることを視野に入れたい
20101117 00:50 @john_229 この重量感は病みつきになります
20101117 00:57 @john_229 はっ!ぐるぐる巻きまでいかなくても、二つ折りにすれば1枚の敷き布団でも敷きながら掛けることが可能になるのでは…!?
20101117 01:05 積んでた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/モノイド/群/ な感じ的な話がでてきたので満足した
20101117 01:05 これはしかしLogicで特徴づけるとなんになるだろう、というのがざっと探した感じで見あたらなかった。MSOをどう制限したそれになるんだろか
20101117 01:22 寝よう

<<newer (latest) older>>

presented by k.inaba (kiki .a.t. kmonos.net) under CC0