アルティン・ハッセの指数関数
Witt vector
Formal group