UCLA

先週は諸般の事情で2回とも休講だったが、今日はBOOMプロジェクトからUCLAの教員になったTyson CondieによるDatalogベースのプログラム解析技術や、ネットワーク仕様記述などの話であった。彼はMarineだったことのだが、話し方がそのステレオタイプにはまっているようで面白い。

水曜日にはDedalusがらみの話が聞けるはずなのでこちらも楽しみである。我々もDedalusには大注目しているのだが、Mark Millerも「この10年くらいでプログラミング言語界に起きた最も興味深いものの一つ」と言っていた。