>>962
多様体の微分構造をもう少し一般的に定義したいと思いました