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