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

■

起床は8時半、眠い。出勤してコード書き。Agda2のプログラム例を探す。帰宅は21時15分、夕食はタリアッテレのクリームソース。