モナド離散空間とそれ上のリミットモナド点 | Synapse