上野は数学界の阪神