Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On! · 48:36 · Watch on YouTube
이 강연은 소프트웨어와 인간 DNA 모두에서의 오류와의 전쟁은 근사를 통해 승리할 수 있다고 주장한다 — 프로그램 동작을 과다-근사하기 위한 추상 해석, 그리고 환자 데이터로부터 올바른 치료법을 근사하기 위한 정밀 의료.
Curry On! · 48:36 · Watch on YouTube
이 강연은 소프트웨어와 인간 DNA 모두에서의 오류와의 전쟁은 근사를 통해 승리할 수 있다고 주장한다 — 프로그램 동작을 과다-근사하기 위한 추상 해석, 그리고 환자 데이터로부터 올바른 치료법을 근사하기 위한 정밀 의료.