ワークショップ 「計算機にまつわる喫緊の問題を解決するための数学的手法」

本日から開始@数理解析研究所。印象に残った講演は以下の通り。内容については、近いうちに、講演のスライドが公式web siteで更新されるようなので、それから紹介します。

"Inductive Cyclic Sharing Data Structures" (浜名 誠)