微分可能多様体

@bibun_kanou@misskey.io