DongWook JUNG
Codex와 함께 “자연 연역 실험실” 웹앱을 제작했습니다. 우리 대학 기호논리학 수업의 교재로 사용하는 이병덕의 『코어 논리학: 논리적 추론과 증명 테크닉』 (성균관대학교출판부, 2019)의 문법과 추론 규칙에 정확히 부합하는 증명 검증기를 만들고 싶었는데, AI 덕분에 상당히 수월하게 만들 수 있었습니다. 아래 웹사이트에 공개해 두었으니 한번 사용해보기 바랍니다. 증명 편집기에서의 특수기호 입력, 보조증명 입력 및 시각화 등의 사용자 […]
갑자기 떨어져 살게 된 아이들과 가끔씩 핸드폰 영상 통화를 하며 컴퓨터 게임을 즐기고 있습니다. (거꾸로 컴퓨터 영상 통화를 하며 핸드폰 게임을 하기도 하지요;;) 로블록스, 좀비고, 마인크래프트 등을 돌아가면서 하는데, 이번에는 마인크래프트 렐름의 점프맵을 함께 플레이하며 녹화를 해봤습니다. 큰맘 먹고 월 1만원이나 하는 마인크래프트 렐름 구독료를 냈는데, 요즘 하임이는 마인크래프트 싫고 좀비고만 하자고 하네요. 렐름 구독 […]
하임이와 하늘이가 자신의 유튜브 채널을 개설하여 동영상을 올리고 있다. 하임이가 올린 동영상 중 가장 인기 있는 동영상은 “알약 먹기 도전” (2018. 5. 17 업로드) 최근 올린 동영상 중에서 나름 조회수를 얻은 동영상은 “가을아침 피아노 연주 및 노래” (2018. 11.24 업로드) 하늘이도 채널을 만들었다. 아래의 동영상은 하늘이의 “Easiest Parkour Map” 도전기 (2019. 1. 6 업로드) […]
2018년 1월 현재 콩톡은 정상적인 서비스가 이루어지지 않고 있는 듯합니다. 남아 있는 콩캐시를 인출하거나 상품권으로 교환할 수 있으리라는 희망이 거의 사라져, 저는 결국 콩톡 앱을 지워 버렸습니다. 이런 상황에서 아래의 광고성 포스팅을 지우는 게 좋지 않을까 고민했으나, 그건 왠지 도리가 아닌 것 같아 지우지 않기로 결정했습니다. 참고로 아래 포스팅에 등장한 제 형은 콩톡의 핵심 개발자로서 […]
2018년 1월 현재 콩톡은 정상적인 서비스가 이루어지지 않고 있는 듯합니다. 남아 있는 콩캐시를 인출하거나 상품권으로 교환할 수 있으리라는 희망이 거의 사라져, 저는 결국 콩톡 앱을 지워 버렸습니다. 이런 상황에서 아래의 광고성 포스팅을 지우는 게 좋지 않을까 고민했으나, 그건 왠지 도리가 아닌 것 같아 지우지 않기로 결정했습니다. 참고로 아래 포스팅에 등장한 제 형은 콩톡의 핵심 개발자로서 […]
DongWook JUNG