2008-06-30 ワークショップ 「計算機にまつわる喫緊の問題を解決するための数学的手法」 計算機科学 研究集会 本日から開始@数理解析研究所。印象に残った講演は以下の通り。内容については、近いうちに、講演のスライドが公式web siteで更新されるようなので、それから紹介します。 "Inductive Cyclic Sharing Data Structures" (浜名 誠)