上野の英訳はアメリカ数学会から出ているでw