2008-07-01から1日間の記事一覧

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

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

ワークショップ二日目

晴れ、昼間はさわやか、夜に蒸し暑くなる。 起床は8時20分、慌てる。シャワーを浴びて、8:45にホテルのフロントへ。N氏と待ち合わせのはずが、来ないので部屋に電話をすると、「待ち合わせの時間は9:45じゃなかったでしたっけ」・・・昨夜、酔っぱらってい…