https://twitter.com/kinaba のログ (twilog の方が便利です。)
| うらわざ。。。 http://twitpic.com/31t1yp | |
| 適当に入った定食屋で、隣のグループが薩摩だ長州だと熱論している。土佐やばい | |
| @john_229 実行してみたんだけどうまくいかなくてただのカルピスだった。。。 | |
| @naohaq おおーこの取り合わせはメジャーなのですか。不覚。 | |
| ホテル＆インターネット確保。「がっつりタタキ定食」なるものを食べたので高知に来た目的は果たした気分 | |
| いざべる!! http://d.hatena.ne.jp/soutaro/20101028/1288288965 見てる。そいや #anarchyproof の多言語化、出題者が最初から複数言語で投稿はしんどいけど、最初は空欄でIsabelleで解きたい人は定理ごと後からsubmitできる的なのはどう、とガリグ先生がこの前おっしゃってた | |
| 決定不能の会あさってか！スライドが完成不能の会 | |
| POPL 2011 の Accepted Paper が出てる http://www.cse.psu.edu/popl/11/accepted-papers.html | |
| "Mathematizing C++ Concurrency" http://www.cl.cam.ac.uk/~pes20/cpp/ は誰か解説頼む！と言っておくとどこかから飛んでくるに違いない | |
| "The Essence of Compiling with Traces" は Tracing JIT の理論付けという話か | |
| 「PCPってなんですか」を説明するのが @mametter のお陰で１年前と比べて100億倍楽になっているので、まめっちは偉大だなあ | |
| 今日聞いた @kmizu さんのメモリ使用量推定みたいなの、Prolog+cut の文脈でそういう話ないんかなーと思って調べてて http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Dikovsky:Alexander_Ja=.html の1991のを読んでみてるが難しい。てか他の話も結構面白そう |