>>687
形式べき級数に収束しない値を代入するのはどういう準同型を考えてることになるの？
そもそも形式べき級数が位相の入った係数体で定義されているとき、ある値で無限和が収束するかどうかを見るには値を代入する必要がない？