https://twitter.com/kinaba のログ (twilog の方が便利です。)
| ガラナgkgk | |
| 北海道に来たの生まれて二度目という記念すべき機会だけれどあまり感慨がない。どうも飛行機で来ると気分が湧くタイミングが難しい | |
| @ikegami__ http://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%A9%E3%83%8A%E9%A3%B2%E6%96%99 従いまして今ガラナ飲んでいます！ | |
| 招待講演 『線形論理とラムダ計算の計算量』 待機中。「○○という現象について解明を試みる/説明をつける」という研究は格好いいなあ http://pllab.is.ocha.ac.jp/~asai/ppl2011program/ #ppl2011 | |
| 私もキメラになりますので… RT @chiguri つまりパンダになれ、と・・・？ RT @kinaba: #ppl2011 ついったーアカウントは知っているのにどういう人なのかよく知らない方が何人もいらっしゃっているようだ。識別しやすいようにみんなアイコンと同じ顔をしましょう | |
| "β-reduction does not refer to type information at all" #ppl2011 |