DongWook JUNG
Codex와 함께 “자연 연역 실험실” 웹앱을 제작했습니다. 우리 대학 기호논리학 수업의 교재로 사용하는 이병덕의 『코어 논리학: 논리적 추론과 증명 테크닉』 (성균관대학교출판부, 2019)의 문법과 추론 규칙에 정확히 부합하는 증명 검증기를 만들고 싶었는데, AI 덕분에 상당히 수월하게 만들 수 있었습니다. 아래 웹사이트에 공개해 두었으니 한번 사용해보기 바랍니다. 증명 편집기에서의 특수기호 입력, 보조증명 입력 및 시각화 등의 사용자 […]
2026년 3월 1일부터 1년간 서울대학교 AI 연구원의 ‘객원연구원’으로 연구년을 보내기 시작했다. 적어도 일주일에 3번은 출근하려고 하는데, 실제로 출근하는 곳은 서울대 후문 바깥의 942동(LG연구동) 2층이다. 이제 AI 연구원이란 곳에도 왔으니, AI에 대한 철학적 탐구에도 본격적으로 발을 담가보려고 한다.
이번 학기 서양근대철학사 수업에서는 두 명의 철학자의 사상을 비교/대조하는 내용을 활용하여 누구나 접근할 수 있는 공개 콘텐츠를 제작하는 팀 활동을 수행했다. 완성된 여섯 작품을 아래의 웹사이트에 함께 모아두었으니, 자유롭게 감상하기 바란다. https://sites.google.com/gnu.ac.kr/phil2025/home
2025년 1학기가 마무리됐다. 몇 가지 중요한(?) 일들을 기록으로 남겨둔다. 학생 지도 2025년 1학기에는 천시은 학생이 대학원 석사과정에 입학하여 나의 지도를 받기 시작했다. 학부 수업의 과제나 시험 때마다 좋은 답안을 작성하던 똑똑한 학생이라 대학원 얘기를 꺼내봤는데 용기를 내서 들어와 주었다. 그동안 과학과 담을 쌓고 살아왔다는 두려움을 안고 시작하긴 했지만, 첫 학기를 잘 따라와 주었고 무사히 마쳤다. […]
재작년 여름 대구 범어도서관에서 도킨스의 『이기적 유전자』를 소개하는 강연을 한 적이 있다. “수성인문학@Suseong”이란 제목으로 진행된 전체 강연 시리즈의 컨셉은 강연자마다 책 한 권을 소개하는 것으로, 나는 섭외를 받을 때부터 도킨스의 『이기적 유전자』에 대한 소개를 부탁받았다. 나는 섭외를 받자마다 “이타성의 진화”에 대한 도킨스의 설명을 소개하기로 마음 먹었다. 책의 제목이 주는 차가운 인상과 달리, 도킨스는 책에서 인간의 […]
DongWook JUNG