一般に高次のコホモロジーは障害類なんじゃないの?