Alt.Math.談話会。16時より18時まで。「数理形態学」(Mathematical Morphology) は基本発想はRough setと同じで自然な形で様相が入る。またそれに触発された形で様相論理の研究を、という話。ただし、数理形態学と直接関連する部分で様相論理の話を探すのは…

本日はRtm大学に出張、研究会に出席。帰宅は23時、25時に寝る。