ホモトピー群の計算は、今はどういう人たちが主に行っているの？
昔は京大が盛んだったそうだけど