http://www.podval.org/~sds/ocaml-sucks.html (via http://www.rubyist.net/~matz/20070625.html#p06)静的型やマクロについてのくだりは？？？ですが、それ以外は大体正当な批判ではないかと思います（などと私が言うのもおこがましいですが）。ただ、（静…

アナウンスが出たようです。http://www.jaist.ac.jp/~mizuhito/ppl_ss07/ 10:30-12:30 非同期リアルタイム処理（デヴィットカトラーの見果てぬ夢） 講師：小野 諭（工学院大） 13:45-15:45 Substructural Logics ---- 証明論的視点から 講師：小野 寛晰 (JAI…