https://twitter.com/kinaba のログ (twilog の方が便利です。)
| SPLASH 2015 (OOPSLAとかのある会議群) の Accepted papers 見てる http://2015.splashcon.org/news | |
| 型無しプログラムを部分的にだんだん静的型つけてくGradual Typingならぬ、証明無しプログラムにじわじわ証明つける Gradual Certified Programming in Coq! http://arxiv.org/abs/1506.04205 (DLS15) というの面白いなあ | |
| http://vtechworks.lib.vt.edu/handle/10919/52376 楽譜というものがプログラミング言語で書かれたプログラムにしか見えない病にかかってしまった系の研究かと思ったがそうでもなかった。（もっと上手く＆面白くやれそうな気がするけどOnward!なので正に読んだ奴が面白くやれという趣旨なのだろう | |
| Use at Your Own Risk: The Java Unsafe API in the Wild http://2015.splashcon.org/event/oopsla2015-use-at-your-own-risk-the-java-unsafe-api-in-the-wild 気になるけどpreprintとか公開されてないのかな | |
| あと Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute. https://t.co/14xD9FZzmE あとでよむ | |
| SAOの最新刊やっと買ったのだけど、帯が、これ、うーん、これSAO全作中最高のシーンと自分が勝手に思ってるところが作り手にも名シーンとして認識されてて念を入れて伏線の予習してる体なのは嬉しいけど、予習したら名シーン度下がる類のそれじゃないかなあこれと思って複雑な気分だこれうーん | |
| 羽田～秋葉原の船便 http://www.zeal.ne.jp/plan/203.html めっちゃ楽しそうなんですが！！！ | |
| こことここがこう繋がってるのかーを新しく感じられる感が楽しくて歩いてるので、そういえば川とか運河の繋がり感覚まったくないことに気づいた。スーパー楽しそう | |
| @xhl_kogitsune ご存じなかったです！これはよい | |
| 善光寺からの松代大本営跡といった長野市洞窟巡りの旅よさそう |