The theory of Coleman power series for K[2] = K[2]群のColeman巾級数の理論 - 深谷, 太香子 (東京大学数理科学研究科, 2000)