2007-10-15から1日間の記事一覧

健康診断

起床は8時、よく寝た。出勤途中に健康診断のため研究所近くの市立病院に行く。月曜なので混んでいて、午前中いっぱいを棒に振る。午後から出勤、Agda2をインストールする。今日はCが会社の歓迎会のため、21時近くまで残り、夕食を食べて22時半に帰宅。