マセマで位相空間とか多様体あたりの現代数学は出ないか