2008-05-30 code-sprint 初日 Agda 本日は班決め。私は、本日の発表について、英語の論文を書くことに。19時にみんなで退出、19時半から市中心部のレストランで夕食会。フランス料理、ビールと牛肉でお腹いっぱい。