the Department of Mathematics and Computer Science, Korea Science Academy of Korea Advanced Institute of Science and Technology