について、この頃、よく聞くようになった。最近はStroustrupがPOPLなどに出没して、templateとかいう多相関数の分割型チェックなどについて話したらしいので、これからますますMLやHaskellのようになっていくに違いない。うむうむ。

http://fw8.bookpark.ne.jp/cm/ipsj/search.asp?from=Magazine&flag=-1&keyword=Magazine,YM200610が届いた。創刊500号らしい。基幹ネットワークの話題がメインで、おもしろいが、ここで紹介するような記事があまりない…。「これからの情報処理学会」という…