2007-08-07から1日間の記事一覧

夜は

日本人参加者全員で "Radcrif arms" へ、飲む。21時に寝る。

午後の部

JipsenによるGBL代数の話。BLの一般化で、ordinal sumに関するいい性質が成り立つ。・・・しかしこれだけ代数が増えると、頭が混乱する。 ある意味「すごかった」のが、Iorgulescuによるαγ-algebraの話。ルーマニア人の(エキセントリックに見える)おばあさん…

午前の部

Pinによる、automataによる語のaccept/rejectをsemigroupに関する代数的性質として解釈しよう、と言う話。内容も面白かったが、それよりも、Powerpointで遊びすぎ。 StruthによるModal kleene algebraについての概説、職業柄興味深い話でした(が概説なので…

国際会議(2日目)

寒さで午前3時に一回目がさめる。起床は6時半。8時に朝食、9時から会議。