ホモトピー群はどこまで計算されてますかね