문제해결과 추상화