2008-06-12 "The Microcosm Principle and Concurrency in Coalgebra"(蓮尾一郎) 計算機科学 研究集会 16時より17時半まで、出席者は10人程度。(内容については後日追加します)