• 한국수학사학회지
• /
• 제20권4호
• /
• pp.23-48
• /
• 2007

본 연구는 학교 수학에서 다루어지는 수학적 귀납법의 형식적 도입에 대한 문제 제기로부터 출발한다. 학생들이 수학적 귀납법의 의미와 구조를 충분히 인식하지 못한 채 단지 증명의 도구로서 도구적 이해 수준에서 형식적으로 다루어지는 수학교육 현실의 개선을 위하여, 수학적 귀납법의 역사적 발생 과정을 고대 그리스의 재귀적 무한을 통한 암묵적 사용으로부터 17세기 Pascal과 Format의 추상적 형식화의 단계에 이르기까지 고찰함으로써 그 과정에 포함된 다양한 사고 유형의 본질을 규명하고 특히 중요한 역할을 한 것으로 추정되는 하강법에 주목함으로써 교육적 논의를 통해 학교 수학에 시사점을 제공하고자 한다.

• 한국컴퓨터정보학회논문지
• /
• 제17권12호
• /
• pp.149-158
• /
• 2012

본 논문에서는 점근적으로 최적인 두가지의 무작위화 함수인 일라이어스(Elias) 함수와 페레즈(Peres) 함수의 장단점을 고려한 하이브리드 무작위화 함수를 제안한다. 무작위화 함수는 편향성이 있는 무작위수의 공급원으로부터 균등한 무작위수를 생성하는데 쓰이는 알고리즘을 수학적으로 추상화한 것이다. 일라이어스 함수와 페레즈 함수는 입력의 길이가 무한으로 증가함에 따라 그 출력효율성이 정보론적 한계치에 다가간다. 특히, 일라이어스 함수는 주어진 (유한의) 입력길이에 대해 최적인 무작위화 함수이다. 그러나 그 계산은 간단하지 않고, 주어진 입력길이에 의존한다. 반면, 페레즈 함수는 정해진 입력의 길이에 대해 출력효율이 최적이지는 않으나, 점근적으로는 최적이고, 간단한 재귀식에 의해 정의되어서 그 계산이 매우 간단하고 적은 메모리를 필요로 한다. 이러한 계산복잡도와 출력효율에 대한 두가지 무작위화 함수의 장단점에 주목하여, 각각의 장점을 고려한 하이브리드 무작위화 함수를 제안하고 이를 분석한다.