本日Ktさんから教えていただいた話、備忘のため。

9時に職場に集合。スウェーデンからのAgda開発チーム3人（タフで頭の回転が速い）を加え、合計10人程度で一週間ひたすらAgda2のコードを書き続ける。会議室にこもって一日中コーディングなんて、スーパーハカーにでもなった気分。 意見交換や成果紹介も重要…

起床は7時、眠い。慌てて出勤。急行が蛍池に止まらないことを知らず乗り過ごして、結局5分遅刻する。 20時に退所、21時半に帰宅。夕食は牡蠣クリームシチューとマカロニ。