可微分多様体
記事はありません。