https://twitter.com/kinaba のログ (twilog の方が便利です。)
| SIGMOD/PODS の基調講演ストリーム配信されるとかいう重要な情報は誰か早く僕に教えて下さいよよよよ http://www.sigmod2010.org/stream.shtml | |
| ICFP 2010 Accepted Papers http://www.icfpconference.org/icfp2010/accepted_papers.html 型クラスプログラミングwithout overlapping instancesってなんだろ。あと双方向化多いなー（他人事のように）。レビテト論文はあとで真剣に読む。 | |
| Reduceron http://www.cs.york.ac.uk/fp/reduceron/ 見てる。@natsutan が好きそう。遅延評価な関数型言語の意味論として使われたりするグラフ書き換えマシンをFPGAで作ったよプロジェクトだそうな。下の方のメモ群が面白い。 | |
| name bindingの扱いとかマクロとかコードreflection的な話もおおいなー。＞ICFP |