다음 주 월요일부터 멘티 16명을 대상으로 린 정리 증명기의 이용법을 제가 직접 가르칩니다. 철학의 형식화에 관심을 보인 멘티분도 계신 만큼, 린을 소프트웨어 검증뿐만 아니라 학술 연구에도 어떻게 활용할 수 있는지를 충분히 설명할 계획입니다.
6개의 좋아요
다음 주 월요일부터 멘티 16명을 대상으로 린 정리 증명기의 이용법을 제가 직접 가르칩니다. 철학의 형식화에 관심을 보인 멘티분도 계신 만큼, 린을 소프트웨어 검증뿐만 아니라 학술 연구에도 어떻게 활용할 수 있는지를 충분히 설명할 계획입니다.