https://twitter.com/kinaba のログ (twilog の方が便利です。)
| RT @_ko1: 今更ですが、 http://spro2012.prosym.jp/ の報告集が公開されました。 https://t.co/l8lg9kWoc1 @mametter の " Rubyによる超絶技巧プログラミング" とか異色です。 | |
| 最遅ソート等の発表の報告論文が公開されたそうです https://t.co/5CFMQnxM90 割と無駄にそれっぽい参考文献の紹介など足して謎論文っぽくしたのでお暇な人はぜひ。読み返して思い出したけど、会場からの質問が尺の都合で語り足りなかった所を丁度ついてくれて有難かった | |
| @qnighy 文脈わかってないですけど継続はgotoの意味論を与えるために発見された概念である http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.237 ＆継続は古典論理っぽい＆古典論理といえば排中律、的なコンボでは。（これがqnighyさんの突込みへの解答になっていないことは承知の上で） |