def Ceil_Root(a,k): """ceil(a^(1/k)) を求める. a:非負整数 k:正の整数 """ assert 0<=a and 0