午前の部

1. Pinによる、automataによる語のaccept/rejectをsemigroupに関する代数的性質として解釈しよう、と言う話。内容も面白かったが、それよりも、Powerpointで遊びすぎ。
2. StruthによるModal kleene algebraについての概説、職業柄興味深い話でした（が概説なので）。
3. 昼までMV代数に関する分科会に。アルゼンチンやらスロバキアやらスペインやらルーマニアやら、世界中から発表者がやってきて、MV代数の研究者数が広さを実感する。