トポスがAIで効いてるの考えたら、それも業績の一部に過ぎないグロタンディークかな