https://twitter.com/kinaba のログ (twilog の方が便利です。)
| けんきゅーしつ着いた | |
| gcjでググるさんがとったチケットがなんかすごい疲れそうだぞ帰りだからいいけど | |
| サンフランシスコ発ミネアポリス経由成田着 | |
| http://www.cs.ucsd.edu/popl/09/accepted.html "Bidirectionalization for Free!" 気になるな。Janis さんは僕的にかなりはずれの無い人なので楽しみ。あと森畑さんすごいなほんま | |
| 小林先生のは昨日見せてもらったヤツだ。SL n-level grammar (over 無限木) ∈ Buchi Automaton の判定問題。有限版だとつりーとらんすでゅーさー方面で知られている結果だけど無限木ってこっちではあんま見ないなーなるほどということを思った | |
| というわけでPOPL見に行くためにPLANX論文通さないと行けない締め切りあと1週間。。。しぬ。。。 | |
| 上野駅の本屋には氷菓とクドリャフカの順番はあったけど愚者のエンドロールがなかった。うーん | |
| @taroleo 善処します^^ | |
| 日曜日に模擬予選かー。見物に行こうかな。そんなことしてる暇あるかな。 | |
| http://d.hatena.ne.jp/ku-ma-me/20081017/p1#c1224218576 きむらさんが何を言っているのかよくわからない。いやmainを使うと本題とは別の意味でinvalidになるってのはその通りなんだけどそれ多分どうでもいい | |
| static/automatic/dynamic storage のサイズにはimplementation-definedな限界を設定して良い＆それを超えた場合前二者については未定義、最後についてはnew-handlerが適当に、みたいな文言はあってもよさそうなもんだけど | |
| つけ麺柾木の塩つけ麺を久しぶりに食べに行ったら塩分かなり控えめになっててざんねん |