목록2017/10/31 (2)
Joonas' Note
중국인의 나머지 정리(CRT; Chinese Remainder Theorem)연립 합동식의 유일한 해를 찾는 정리이다. 예를 들면서 설명과 함께 전개하는 게 가장 이해하기 쉽다. 개념 이해를 위해 연립 합동식이 2개일 때만 생각해보자.$$ \begin{cases} x \equiv 3 ~ (mod~ 5)~\dashrightarrow~ (a) \\ x \equiv 4~ (mod~ 7)~\dashrightarrow ~(b) \end{cases} $$위 두 합동식 (a), (b)를 모두 만족하는 어떤 정수 \(x\)는 어떻게 찾을 수 있을까?어떤 수 \(x\)는 위 두 합동식을 모두 만족하기 위해 (a), (b)의 해를 각각 \(A_1\), \(A_2\)라고 하면 아래의 형태가 된다.$$ x \equiv A_..
예전에 SICP 수업을 들었을 때, 참고한 링크이다. 수업 때 언어는 Scheme이었고 IDE는 DrRacket (다운로드 링크)를 썼다. 교재 번역/인사이트: 링크 (개정된 거 같다)아마존: 링크 함수형 프로그래밍 언어를 기초부터 가르치는 데, 되게 새로운 패러다임이라 어려우면서 재밌었다. 일단 반복문이 기본적으로 재귀의 형태였던걸로 기억한다.. 수업 후반에는 각 좌표를 리스트로 저장해서 그림을 출력하는 게 과제인데, 중간 중간에 예제들이 이렇게 생겼다. 출처: http://valvallow.blogspot.kr/2010/01/sicp.html 하나의 그림을 객체처럼 다뤄서, 해괴하고 괴랄한 자신만의 특별한 모양을 만들으라고 하셨는데 기본 예제가 너무 심심해서 심슨을 그렸다. (드라이브를 정리하다가 우..