Sign up to save your podcastsEmail addressPasswordRegisterOrContinue with GoogleAlready have an account? Log in here.
January 26, 2016컴퓨터 과학 특집 2부54 minutesPlay서울대 컴퓨터 공학부 이광근 교수님을 모시고 진행한 컴퓨터 과학 특집. 2부에서는 작년 집필하신 책 – ‘컴퓨터과학이 여는 세계’를 중심으로 이야기를 풀어 나갑니다.방송 말미에는 5년 안에 우리 앞으로 다가올 미래의 기술 – 정확한 검증(formal verification)에 대해서 살펴봅니다....moreShareView all episodesBy 나는 프로그래머다4.866 ratingsJanuary 26, 2016컴퓨터 과학 특집 2부54 minutesPlay서울대 컴퓨터 공학부 이광근 교수님을 모시고 진행한 컴퓨터 과학 특집. 2부에서는 작년 집필하신 책 – ‘컴퓨터과학이 여는 세계’를 중심으로 이야기를 풀어 나갑니다.방송 말미에는 5년 안에 우리 앞으로 다가올 미래의 기술 – 정확한 검증(formal verification)에 대해서 살펴봅니다....more
서울대 컴퓨터 공학부 이광근 교수님을 모시고 진행한 컴퓨터 과학 특집. 2부에서는 작년 집필하신 책 – ‘컴퓨터과학이 여는 세계’를 중심으로 이야기를 풀어 나갑니다.방송 말미에는 5년 안에 우리 앞으로 다가올 미래의 기술 – 정확한 검증(formal verification)에 대해서 살펴봅니다.
January 26, 2016컴퓨터 과학 특집 2부54 minutesPlay서울대 컴퓨터 공학부 이광근 교수님을 모시고 진행한 컴퓨터 과학 특집. 2부에서는 작년 집필하신 책 – ‘컴퓨터과학이 여는 세계’를 중심으로 이야기를 풀어 나갑니다.방송 말미에는 5년 안에 우리 앞으로 다가올 미래의 기술 – 정확한 검증(formal verification)에 대해서 살펴봅니다....more
서울대 컴퓨터 공학부 이광근 교수님을 모시고 진행한 컴퓨터 과학 특집. 2부에서는 작년 집필하신 책 – ‘컴퓨터과학이 여는 세계’를 중심으로 이야기를 풀어 나갑니다.방송 말미에는 5년 안에 우리 앞으로 다가올 미래의 기술 – 정확한 검증(formal verification)에 대해서 살펴봅니다.