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弱らしい。ちゃんと調べて歩くつもりの予定で来ればよかった。 |