https://twitter.com/kinaba のログ (twilog の方が便利です。)
| "The D Programming Language (Paperback)" http://www.amazon.com/dp/0321635361 ゴゴゴゴゴ | |
| @tsukuno 村上雅章さん訳が出てくれるんじゃないかなあ、と期待している、というマジレス。 | |
| あれ、"Modern C++ Design" の日本語版のサポートページって消えてる？ | |
| オープンハウス１日目終わった。新井せんせーの発表、タイトルに反してすごい面白かった。これ録画してたっぽいけどあとでネットに置かれるのかな。置かれたらみんな見るべき | |
| 内容としてはわりとよくある、古代からの数学史的な話なんだけど、流石 Proof Theorist というか、Syntax とか、Syntax 自体をオブジェクトとして扱うことについてとか、すごい自分の興味に合う視点だった。 |