친절한 공대생

DFS와 BFS는 그래프의 정점을 순회할 때 가장 많이 쓰이는 알고리즘이다. 두 알고리즘 모두 한 정점에서 시작하여 엣지를 따고 한 노드씩 차례로 방문해간다. 하지만 DFS는 '깊이우선탐색'이기 때문에 엣지를 타고 최대한 깊게 들어갈 수 있을 때까지 들어간 뒤 다음 노드를 타는 반면, BFS는 '넓이우선탐색'이기 때문에 그 노드의 주변 노드부터 모두 방문한 다음 엣지를 타고 간다. DFS는 스택이나 재귀함수를 사용하여 구현하고 BFS는 큐를 사용하여 구현한다. 아래 코드는 DFS를 구현할 때 재귀함수를 사용하였고 BFS를 구현할 때는 파이썬 기본 라이브러리인 Queue를 import하였다. from queue import Queue # Class which represents unweighted, und..

중위 표기법과 후위 표기법은 수식을 표기하기 위한 방법이다. 중위 표기법(Infix Notation)은 연산자를 두 피연산자 사이에 적는 방법이고, 후위 표기법(Postfix Notation)은 연산자를 두 피연산자 뒤에 적는 방법이다. 예를 들어, 1과 2를 더하는 수식을 중위 표기법으로 작성하면 "1+2"가 되고 후위 표기법으로 작성하면 "12+"가 된다. 다른 예로, 1과 2를 더하고 그 결과에 3을 곱하는 수식을 중위 표기법으로 작성하면 "(1+2)*3"이 되고 후위 표기법으로 작성하면 "12+3*"가 된다. 인간은 역사적으로 중위 표기법을 써왔기 때문에 중위 표기법이 편하지만, 컴퓨터에게는 예외없이 왼쪽부터 차례로 문자를 읽어가기만 해도 수식을 정확히 이해할 수 있는 후위 표기법이 편하다. 따라..

기원전 399년, 소크라테스는 “젊은이들을 타락시키고 국가가 믿는 신을 믿지 않는 죄"로 사형을 언도받는다. 그의 죽음을 슬퍼한 친구 크리톤은 사형집행일 이틀 전에 소크라테스를 찾아와 탈옥을 권유한다. 그러나 소크라테스는 탈옥을 거부하며 크리톤과 일명 “감방논쟁"을 벌인다. 이 토론에서 소크라테스는 아테네의 국법을 존중해야하는 논리적인 근거를 말하여 크리톤을 완벽하게 설득하였으며, 그 내용은 플라톤의 저서 “크리톤”을 통해서 후대에 전해 내려오고 있다. 그의 주장은 설득력이 있고 현대사회에도 많은 메세지를 주기 때문에 대다수의 사람은 소크라테스가 탈옥을 거부한 이유가 아테네 국법을 존중해야한다는 이성적인 사고 때문이라고 생각한다. 하지만 그러한 통념과는 다르게 그가 탈옥을 거부한 동기에는 종교적인 이유가..

1517년 10월 31일, 마르틴 루터는 비텐베르크성 교회 대문에 "95개조 반박문"을 내걸었다. 천년에 걸친 중세시기를 끝마치고 근대의 시작을 알리는 종교개혁이 문을 연 것이다. 혹자는 종교에 관한 사건이 어떻게 근대의 시작이 될 수 있냐고 질문할지 모르겠다. 루터의 종교개혁이 근대의 시작임을 이해하기 위해서는 그 당시의 사회적 배경에 대한 깊은 이해가 필요하다. 루터의 종교개혁이 성공할 수 있었던 배경에는 종교적 측면과 정치적 측면이 있다. 첫째, 종교적 측면으로는 신비주의의 대두를 들 수 있다. 13세기의 기독교는 이성을 통해 신을 이해하려는 신학과 거대해진 교황청, 위압감있는 고딕 양식으로 상징되었다. 이는 신도들의 종교적 갈증을 해결할 수 없었고, 그에 따라 성경 그 자체와 직관을 통해 하나님과..

독일의 대학자인 칼 마르크스는 인류의 역사가 원시 공산사회, 고대 노예제사회, 중세 봉건사회, 근대 부르주아사회, 공산주의 사회라는 다섯 단계를 거치며 발전한다는 “역사발전 5단계설”을 주장하였다. 유럽사에 이 관점을 대입해보면 고대 노예제사회 단계는 그리스·로마 시대에 해당한다. 서로마가 멸망한 476년 이후 8세기 즈음 유럽 전반에는 그 다음 단계인 봉건제의 바람이 부는데, 이 글에서는 불·영·독에서 발전한 봉건제를 왕권에 중점을 두어 다룰 것이다. 우선 로마 멸망과 봉건제 탄생 사이 3백년의 공백이 왜 생겼는지를 짚고 넘어가자. 피렌느의 혁신적인 아이디어가 담긴 책 “마호메트와 샤를마뉴”에 따르면, 이것은 이슬람 제국이 750년 경 지중해를 점령하여 카롤링 왕조를 콘스탄티노플과 교류할 수 없게 만들..

샌드위치 정리(sandwich theorem)는 수열 버전과 함수 버전이 있죠. 우선 수열 버전을 증명했습니다. 샌드위치 정리는 조임 정리(sqeeze theorem)라고도 불립니다. 이해가 안 되는 부분은 댓글로 질문 남겨주시면 친절히 답변해드립니다. 이 증명은 기본적인 입실론-델타 논법은 알고 있음을 전제로 합니다.

오랜만에 포스팅합니다. 7의 배수 판정법에 대한 유투브 동영상을 업로드했습니다. 이 블로그에는 그와 별개로 formal한 증명을 업로드해봅니다. 아래 사진이 그 증명이고, 동영상은 유투브로 설명해놓은 것입니다! 어떤 자연수가 7의 배수인지 판별하는 방법은 다음과 같습니다. 예를 들어 26069가 7의 배수인지를 판별해보겠습니다. 1. 자연수를 일의 자리 수와 그 앞의 수로 분리한다.ex) 26069를 9와 2606으로 분리한다. 여기서 9가 일의 자리 수이고 2606이 그 앞의 수이다. 2. 1단계에서 분리한 "일의 자리 수"에 2를 곱하고, 그 수를 "그 앞의 수"에서 뺀다.ex) 2606 - 2 * 9 = 2606 - 18 = 2588 3. 앞선 두 과정을 수가 적당히 작아질 때까지 반복한다.ex) ..

오버워치 리그가 긴 침묵을 깨고 지난 11일 개막하였습니다. 개인적으로는 새별비 선수를 좋아해서 New York Excelsior를 응원하는데요, 팀의 공식 로고와 유투브 채널이 아주 힙합니다. 아래 동영상은 NY Excelsior의 첫 공식 유투브 동영상입니다. "Higher, Further, Exclesior"이라는 마지막 멘트가 정말 멋있네요. 저는 얼마 전까지만 하더라도 이 "Excelsior"은 그냥 발음만 멋있는 무의미한 단어인 줄 알았는데 알고보니 뜻이 있는 단어더라구요! 그래서 오늘은 그 뜻을 설명드려합니다. 위 그림은 뉴욕의 주(州) 깃발입니다. 보시다시피 가운데 아래에 "EXCELSIOR"라고 적힌 것을 확인할 수 있습니다. 사실 "Excelsior"은 뉴욕 주의 모토였던 것입니다! #..

Quintus iam diu in ludo Orbilii studuerat. puer erat summa industria studiisque gaudebat.Quintus는 이미 오랫동안 Orbilius의 학교에서 공부하였다. studuerat: studeo, studere의 3인칭 단수 대과거(pluperfect)summa industria: of the greatest industry, extremly hardworkingstudium, -i, n. : 공부 quondam ubi Orbilius pueros dimisit, Marcus Quinto 'ego' inquit 'ad balnea eo. nonne vis mecum venire? foro non longe absunt.'한번은 Orbili..

옥스포트 라틴어 교재 2편의 17과 텍스트 중 「Decimus Quintum lacessit」를 번역하고 여러 문법적 정보를 기록해뒀습니다. 17과 텍스트 중 나머지 부분은 「살아있는 라틴어 사전(https://latina.bab2min.pe.kr/xe/oxford2)」이라는 사이트를 참고하시기 바랍니다. 동사의 뜻을 적을 때 라틴어 단어를 총 세 개의 형태로 나타내었는데, 이 중 첫 번째는 1인칭 단수 현재이고 두 번째는 동사 원형이며 마지막은 1인칭 단수 현재완료(perfect)입니다. 여기 적어둔 단어를 단어장 웹사이트 Cram을 이용해서 단어장화해놓았습니다. https://goo.gl/rrSPHs를 통해서 어휘를 학습하시면 되겠습니다. ----------------------------------..