余震?が続く中、無事に粗幾何の勉強会が行われた。1年間何となくGenTopを眺めていたおかげか今回は結構わかったような気がする。 あとquasitopology, bitopology, formal topology, closure space etc.は意外にもGenTop界隈でもあまり知られていないようでし…