ホモトピー不変量の定義と応用