>>9 特異コホモロジーは扱っていますか?