ワークショップ 「計算機システムの検証における代数的・余代数的構造」

計算機科学 研究集会

ワークショップ二日目。なぜか、教室に張ってあるワークショップ名の張り紙が、昨日アナウンスのあった公式タイトルとは違っていた。謎だ。印象に残った講演は以下の通り。内容については、昨日と同様、近いうちに、講演のスライドが公式web siteで更新されるようなので、それから紹介します。

"Towards a logical foundation of computational complexity"（照井 一成）

Ludics!!