이번 포스팅에서는 제가 박사 기간 동안 연구하는 연구 주제의 전반적인 개요를 소개해 드리고자 합니다. 앞으로 이런 분야를 공부하거나 이 분야에서 일하시는 분들 혹은 그냥 재미 삼아 보시는 분들에게도 도움이 될 수 있게끔 최대한 노력해 보려 합니다. 그럼 가차없이 바로 시작해 볼까요? 제 연구는 영어로는 Validation and Verification (한국어로는 검사와 타당성 검증) 인데 한국어 번역이나 뜻 풀이를 봐도 전혀 이해하기 힘든 말로 써있더군요. Valiation은 어떤 복잡한 문제의 풀이가 올바른 방향으로 가고 있는지, Verification은 그 문제가 제대로 풀렸는지 검사하는 거라는데 몇번씩 봐도 이해가 안되더라고요. 제가 저희 분야에서 사용되는 의미를 알려드리도록 할게요. Valida..