뉴스룸 부엉이

코드 오류를 미리 잡는 검증, 이제 배우기 쉬워진다

프로그램을 짤 때 실수가 없도록 미리 증명하는 기술이 있습니다. 배우기 어렵다고 알려졌지만, 이제 학교에서도 쉽게 가르칠 수 있는 방법이 나왔습니다. 컴퓨터 프로그램은 우리 일상 곳곳에서 움직입니다. 은행 앱, 자동차 내비게이션, 병원 기록 시스템까지 모두 프로그램으로 돌아갑니다. 그런데 그 프로그램에 오류가 있으면 어떻게 될까요? 보통은 실행해 보고 오류를 찾습니다. 하지만 실행으로는
뉴스룸 부엉이

AI 비서, 낯선 환경에서도 똑똑한 이유

아직 모르는 분들을 위해 쉽게 설명하면, 이번 이야기는 사람처럼 컴퓨터를 다루는 인공지능 비서가 처음 보는 상황에서도 당황하지 않고 일을 처리하게 만드는 방법에 관한 것입니다. 인공지능 비서가 우리 대신 컴퓨터를 조작해 일을 처리하는 시대가 다가오고 있어요. 문제는 실제 사람들의 사용 기록이 부족해서 인공지능을 충분히 훈련시키기 어렵다는 점입니다. 그래서 연구진은 가상으로 만든
뉴스룸 부엉이