というわけで、6月にチェコで開催予定の国際会議 Non-Clasical mathematics 2009 での発表の許可が、本日、正式におりました。 In this talk, we discuss a few ways out from the non-commutativity of truth predicate and logical connectives [HPS00] in…

暖かい日、湿度も高い。出勤して各種処理。午後は談話会、その後センター長とTk氏と三者面談、中断を挟んで19時まで続く。雑用を片付けてから帰宅、夕食は牛すじカレー。