의미론을 이용한 트리즈에 의한 컴퓨터 활용 혁신적 문제 해결