2008-07-18から1日間の記事一覧

"Strong normalization of second order symmetric Lambda-mu calculus" (Yoriyuki Yamagata)

16時から所内セミナー、Yg氏が発表、内容は前回の続き。

今朝も暑い。出勤して某用事、初めてされる側ではなくする側になる(不思議な感じ)。他に、某用件はどんでん返しが。プレゼン準備と一般公開の手伝いをして22時に帰宅。 帰宅直前、バス停で強い雨が降り出す。傘はあったが豪雨で濡れる。夕食は鮭とキノコの…