KAIST "양자 연산 검증·최적화…기술 확장성 열어" - v.daum.net