ホモトピー理論の流形分類への応用