증명 보조기 학습 모임을 구상하고 있어요

입문자에게 최소한의 배경지식과 숙련도만 요구하면서 증명 보조기를 활용하는 학습 자료를 만드는 것이 궁극의 목표입니다. 아직 그런 자료가 없다 보니 입문자가 증명 보조기를 배우기가 어렵다고 생각해 왔습니다.

그리고 증명 보조기를 이용하려는 입문자는 소프트웨어 관리를 위한 여러 프로그램도 함께 배워야 되고, 이 점이 입문자에게 큰 부담이 될 듯해요. 텍스트 편집기는 비교적 이용하기 쉬운 비주얼 스튜디오 코드(VS Code)를 고르면 되지만, 깃(Git) 버전 관리 시스템이 좀 다루기 어렵습니다.

불행인지 다행인지는 모르겠지만, 제가 지난해 12월부터 시작한 문자열 정리 증명을 계속 진행할 필요가 없어져서 린 학습 자료를 한국어로 번역할 시간이 생겼어요. 저는 오늘부터 음성 및 영상 편집, 프로그래밍, 교재 번역에 몰두하려고 합니다.

1개의 좋아요