2006-09-12から1日間の記事一覧
に参加してきました。 内容は、 木下先生:「圏論の諸相」 住井先生:「2時間で真似(まね)ぶ関数型言語のコンパイラ」 田辺先生:「述語抽象化によるアルゴリズムの検証 〜 シェープ解析を例として」 の三つでした。 どれも興味深かったのですが、住井先生(…
に参加してきました。 内容は、 木下先生:「圏論の諸相」 住井先生:「2時間で真似(まね)ぶ関数型言語のコンパイラ」 田辺先生:「述語抽象化によるアルゴリズムの検証 〜 シェープ解析を例として」 の三つでした。 どれも興味深かったのですが、住井先生(…