이공계도 소프트웨어 전공 아니면 취업 쉽지 않죠?

글쎄요 소프트웨어는 알고리즘이 옳게 동작한다는걸 수학적으로 prove할 수 있는데 기계에 사용되는 이론은 사실상 모두 approximation 기반 아닌지..