＞１変数形式的べき級数体
形式的ローラン級数体って呼んでた。