ゼミで付値環についてやってる。わけわからんちん。