generated at
可微分構造
座標系がある必要がある
他には？