바로 CS이론이 계산을 더 잘 자동화하는 것이 목적이기 때문

이 말은 CS조차 자동화가 가능하다는 말

그의 산물이 라이브러리, 프레임워크, 기타 툴들

ㅇㅅㅇ