https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 現実からの逃避に黙々とAmazonの上にクリックの嵐を呼び起こしてしまった | |
| http://topcoder.g.hatena.ne.jp/iwiwi/20131218 ICFPコンテストの日程、あと一応POPL http://www.sigplan.org/Conferences/POPL/Main の締め切りへの直撃は避けようとしていることが多い気がするけどどうなんだろう。たまにすごい衝突してることもあるけど | |
| そういえば Bisimulation のエントリ日本のWikipediaにあるのかーと思って開いたらなんか違った http://ja.wikipedia.org/wiki/BiSimulation | |
| 数行のメールを書かねばならないので今夜はたぶん徹夜だ | |
| http://www.amazon.co.jp/dp/406285290X 最近の翻案はサブタイトルがこういう風につくのか http://www.amazon.co.jp/dp/4046312017 | |
| やるきがでないので何かおもしろ論文読みたい |