2007-05-25から1日間の記事一覧
朝メールチェックをすると国際会議 ”THE ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III (TANCL'07)” 事務局からメールがいていた。要旨が、無事にacceptされたそうです。内容は、単なるこれまでの成果のレビューです。 要旨は以下の通り(…
強い雨、なま暖かい空気。9時15分に起床、眠い。出勤して雑用。帰宅は19時、夕食はミートソースの残り。食後は論文のためのノート。28時に寝る。