주식시장에서 프로그램매매라는게 있는것 같던데요, 그런데 프로그램매매란 컴퓨터가 기계적으로 하는 매매인가요? 사람의 생각이 전혀 개입되어있지않고, 정해진 공식에 따라서 컴퓨터가 기계적으로 매매를 하는것 맞는가요?