https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @Nabetani どもども、「001の期待値の話をRTした人」のアイコンの列に鍋という字が見えて、これはもしや…？と思ったらやっぱり鍋谷さんだ！ということでフォローしました(^^)。よろしくお願いします！ | |
| おなかがすいたので図書館行くか | |
| @oxy 今年のPOPLが http://togetter.com/li/94367 こんなでした。検証や解析（のためのプログラミング言語のモデルの構築）、など。PLDI はも少し実装寄りで、完全に理論のみの話が抜けて、もっとパフォーマンス寄りの話が入る雰囲気（僕のイメージですが | |
| そういえば PLDI はそろそろ採択論文が出るはず |