RSSリーダによればLtUにて面白い投稿が相次いでいるようだが，とても追う余裕がない． http://lambda-the-ultimate.org/ Lambda the Ultimate | Programming Languages Weblog 依存型λ算法のチュートリアル，concurrency （並行性）の記事とparallelism （並…

任天堂の岩田社長は若い頃は天才的なゲーム・プログラマとして鳴らしていたらしい（東工大工・情報工学）．技術畑の社長が日本には少ないのでこういう例を聞くと興味を惹かれる． wikipedia:"岩田聡" http://pc.watch.impress.co.jp/docs/2006/1206/kaigai32…