https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 毎晩この時間になると一輪車でうちの前の道を通り過ぎていくおじさまがいらっしゃるのだけど何故この時間に | |
| 自転車よりも市民権を得てないので昼間に多数の人に目撃されながら乗るのは気が引けるとかはあるのかもしれない | |
| @AntiBayesian まずいんですか（調べている） | |
| @AntiBayesian なるほど。"交通のひんぱんな"の範囲がどの程度かわからないのですが、うちの前の通り特に夜なら車はまず通らないのでセーフと認識しているのかなあとも思いましたがしかし普通に無灯火ですし確かに危ない | |
| RT @ranha: FSTTCS'13のaccepted papersでてたんだ http://www.fsttcs.org/accepted.php | |
| "The Combinatorics of Non-determinism" なんだろう気になる。"Böhm Trees as Higher-Order Recursive Schemes" は読まないといかん気がする | |
| Böhm Trees のやつ割とそりゃそうだろ感があった (abstract読んでる) | |
| 暇つぶしにさわってたバグを直すたびにピタゴラスイッチみたいに次のバグが出てきて面白（くなくなってきた段々） |