https://twitter.com/kinaba のログ (twilog の方が便利です。)
| ベッドから手の届くところに電源の口がちゃんと付いているというのはさすが普通のホテルと違ってわかっているなあ | |
| @TKinugasa 山らしい山（定義: 一日で登って降りるのが厳しそうな山）は富士山くらいしか登ったことないですた… | |
| これ ( https://t.co/KM3PxqHtTp ) の文脈自由言語の特徴付け物を考えるのにだいぶ便利なことに最近気づいてきたので高階バージョン考えるとどうなるだろうということを考えてるんだけどよくわからん | |
| なぜこんなに引用少ないんだろう | |
| 解放感！！！！！！！ (自分の発表が終わった) | |
| 形式文法の話をしながら英文法にのっとってない英語を通じればいいやの精神で話すの、本当にいかん気がすると毎度反省するんだけどどうもしんどいですね | |
| @chiguri どうもですー。初日が発表なのは他の人のを聞く余裕ができていいですね | |
| "奇数を求めるプログラム java" っていう検索リファラが日記に来てたけど、これは何を求めたかったんだろう | |
| @gusmachine 集合論の命題を与えるとそれと同値な巨大基数の存在公理を求めてくれる「基数を求めるプログラム」の間違いかもしれない！ |