이전 글에 이어 이번 글에서는 명제를 간접적으로 증명하는 Indirect proof 두 가지에 대해 소개합니다. Indirect Proof: by Contradiction 간접적으로 증명하는 방법은 두 가지로 나눌 수 있는데 그 중 하나가 모순(contradiction)을 이용한 방법입니다. “Assume P, suppose ~Q”: 즉 “P라고 ...

이 글은 정수론 수업을 들으며 공부한 내용을 바탕으로 필자의 해석을 추가하여 정리한 글입니다. 글의 흐름은 교수님께서 제작하신 수업 자료의 것을 따라가고 있습니다. 첫 번째와 두 번째 챕터에서는 정수론을 공부하기 전 필수로 알고 있어야 하는 사전 지식(preliminary)들을 정리하고 있습니다. 꼭 정수론이 아니더라도 모든 수학 분야에 적용...

객체지향 프로그래밍이라는 수업에서는 객체지향의 개념과 그것을 익히기 위한 도구로서 자바 언어에 대해 배운다. 오늘은 자바 문법 중 ‘static’ 멤버에 대한 진도를 나갔다. 교수님께서 static의 문법적인 부분을 나가시면서 절대 실제로 사용해서는 안 되고, 자바에서 사라져야 문법이라고 강력하게 주장하셨던 게 기억에 남아서 이렇게 글을 쓴다. c...

커밋별로 PR을 분류하는 방법과 깃 명령어에 대한 설명을 다룹니다.

2022년 여름 방학 동안 멘티로서 DevCamp에 참여한 경험을 공유합니다.

제작년 쯤 깃허브 블로그를 만들기 위해 시도해본 적이 있다. 당시에는 Git과 웹에 대한 이해가 미숙한 탓에 튜토리얼을 보고 따라 만드는 것인데도 불구하고 오류가 많이 나 결국 완성하지 못했었다. 게다가 그 전부터 네이버 블로그를 운영해오고 있던 터라 딱히 새로운 블로그가 필요한 것도 아니었기에 깃허브 블로그 제작은 나중으로 미뤄두게 됐었다. 시간이...