https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @sinya8282 論理式で書いた時にfirst orderで済む(second orderにならない)ので検証が楽かなーとは一瞬思いましたが、よく考えたらそもそも正規表現で与えられてたら直でオートマトン作ればいいので関係ないかもしれない | |
| 入仏した(違。空もどことなくパリっぽい。乗換待ち https://twitter.com/kinaba/status/452475565862551552/photo/1 | |
| というわけで月曜から金曜まで http://www.etaps.org/index.php/2014/programme の実況するつもりなのでお薦めのorこれ聞いといて欲しいという発表あったら適当に教えて下さい | |
| あとグルノーブルの観光情報も必要とされています | |
| インターネット! #旅先でまずインターネットに繋がったことを感謝する恒例行事 | |
| リヨンの空港はかっこよかった https://twitter.com/kinaba/status/452562034698518529/photo/1 | |
| また僕が空の上にいるときのTopcoderはバグる伝説に1ページが追加されてしまったのか(TCOR1のタイムライン見てた) | |
| @hyuki 乗り換えの時間が短くて確認できなかったのですが、外から見ても面白い形だそうで。帰りに見てきます! | |
| @masashinakata 来週の全く同じ時間帯です(^o^) | |
| 湖です https://twitter.com/kinaba/status/452746552142880768/photo/1 | |
| みずうみ、一周40km弱らしい。ちゃんと調べて歩くつもりの予定で来ればよかった。 |