• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 1998년도 지하수학 용어사전
• /
• pp.1-163
• /
• 1998

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제8권
• /
• pp.189-207
• /
• 1999

본 연구의 목적은 초 ${\cdot}$ 중학생들의 수학적 신념을 알아보고, 그러한 신념을 형성하는 요인들을 수학 교실의 상호작용에서 찾아보는 것이었다. 이를 위해, 초등학교 5, 6학년과 중학교 1, 2, 3학년 학생들의 수학적 신념을 질문지로 조사하였으며 각급 학교의 수학 교실에서 벌어지는 교수-학습 과정을 비디오로 촬영하여 각 교실의 사회적 규범들을 비교 분석하였다. 그 결과로서, 학생들은 수학은 이미 만들어진 규칙과 용어들로 이루어졌고 그 규칙에 따라 주어진 문제를 풀어 답을 구하는 것이 수학적 활동이라고 인식하고 있었다. 한편, 이러한 신념은 각급 교실에 형성된 사회수학적 규범과 일치했으며, 특히 개념설명과 새로운 전략 및 오류에 대한 반응과 관련된 사회수학적 규범이 학생들의 수학적 활동을 제한함으로써 그들의 신념을 결정하고 있었다.

• 대한수학교육학회지:수학교육학연구
• /
• 제14권1호
• /
• pp.111-127
• /
• 2004

본 연구는 기하 부분의 내용이 초등학교에서 중학교로 발전 전개되는 과정에서 일부 용어의 정의와 평행선과 각의 취급에 대하여 알아보았고, 교육과정에 제시된 관련내용을 분석하고 그에 따른 현행 교과서를 살펴보았다. 다음에 관련된 분야의 일부 외국교과서를 비교 분석하여 그 상황을 알아보았다 그 결과 현행 교과서 보다 바람직한 내용의 취급을 위해서는 우선 체계적인 학습을 할 수 있도록 교육과정에 보다 적합한 학습내용과 그 취급 방법을 제시해야만 하고, 그에 따라 교과서도 보다 적합하게 집필되어야 함을 제시하였다. 이를테면 용어의 정의는 반복하여 충분히 이해하도록 하고, 특히 교육의 다양성을 위해서 평행선의 성질에 관한 내용은 공준으로 도입하여 활용할 수도 있고, 우수한 학생들은 증명을 하여 활용할 수도 있도록 다양한 취급을 하는 것이 바람직함을 제시하였다. 그리고 특히 현행 교과서에서는 <7-나 단계에서 취급되고 있는 맞꼭지각의 성질과 평행선의 성질과 같은 연역적 추론에 의해서 증명될 수 있는 내용들은 18- 나 단계>로 이동을 하여 학습하는 것이 학습 체계의 연계에 바람직함을 제시하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.70-72
• /
• 2001

ML은 엄밀한 수학적 모델에 기반 하여 구현된 프로그래밍 언어로서 고차함수, 복합형 함수와 엄격한 타입시스템을 지원하는 언어이다. nML은 한국과학기술원 프로그램 분석 시스템 연구단에서 연구중인 프로그램 분석 기술을 최대한 반영하여 구현하고 있는 ML의 한국형 사투리이다. 본 논문에서는 nML을 이용하여 일반적이고 자주 사용되는 프로그래밍 국면을 다양하게 반영한 응용프로그램을 구축하여 보았다. 구현하고자 하는 시스템은 중앙 집중형 데이터 서버를 가지는 기술용어 사전 시스템으로서 KDIC이라 명하였다. 본 시스템의 목적은 특정 분야에서 영어 용어들에 대한 전문인의 한글 용어로의 번역 사례를 모은 데이터 베이스를 구축하고, 이러한 번역 사례가 자연스럽게 이용되고자 함에 있다.

• 한국수학사학회지
• /
• 제9권2호
• /
• pp.30-42
• /
• 1996

최근 <수학기초론>이란 용어는 Burali-Forti paradox 이후 족(class)과 집합(set) 개념을 이해하려는 시도에서 출발한 20세기적 문제에 적용되고 있다. 이 글에서는 그 해결책으로 제시된 주의ㆍ주장 중 논리적인 모순을 해결하기 위한 Russel의 논리주의적 공리론에 바탕을 두고 살펴보려고 한다. 제 2장에서는 무한의 심연 속에 웅크리고 있는 집합론에서의 역설과 발생 원인에 대하여 살펴보았다. 제 3장에서는 공리론적 집합론 중에서 러셀의 유형론과 그것을 단순화시킨 현대의 유형론을 살펴보고, ZF 집합론과 ZF 집합론의 연장인 처치 집합론의 기본 공리를 살펴보았다.

• 한국수학사학회지
• /
• 제23권2호
• /
• pp.23-56
• /
• 2010

본 논문의 목적은 집합론이 메타논리학에 필수불가결하다는 주장, 즉 필수불가결성 논제에 반대하는 것이다. 만일 집합론이 메타논리학에 필수불가결하다면, 집합론을 포함하게 되는 논리적 탐구는 논리학의 가장 근본적인 특성들인 주제중립성과 보편적 적용가능성을 결여하게 되기 때문이다. 논리학의 주제중립성은 논리학의 명제들이 개별 과학과 같은 특정한 지식 분야에 국한되지 않는다는 것을 말하며, 논리학의 보편적 적용가능성은 논리학의 명제들과 추론 규칙들이 모든 과학 분야들과 합리적 담론들에서 사용될 수 있다는 것을 말한다. 나아가 주제중립성과 보편적 적용가능성을 지니기 위해서는, 논리학을 기술하는 메타논리적 용어들과 개념들 역시 이러한 특성들을 지녀야만 한다. 하지만 필수불가결성 논제를 받아들이게 되면, 우리는 논리학이 적용되는 모든 분야에서 집합론의 용어들과 집합론적 개념들이 필수불가결하다는 것을 받아들여야만 한다. 그리고 이는 분명 불합리한 일이다. 필수불가결성 논제가 그럴듯하지 않다는 것을 보이기 위해서 나는 집합과 관련된 존재론적 문제를 살펴볼 것이다. 이러한 탐구는 집합이 어떤 식으로 이해되든지 간에 존재론적으로 보수적인 "논리적 존재자" 로 간주되기 어렵다는 것을 보여줄 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.312-314
• /
• 2012

본 논문은 한글로 입력된 질의어를 이용하여 웹상의 MathML (Mathematical Markup Language) 수학식을 검색하는 시스템을 제안한다. 웹상의 수학식은 과거 이미지를 이용하여 표현되는 경우가 많았지만, 현재는 대부분 MathML과 같은 수학식 표현 마크업 언어로 작성되고 있다. 그러나 이러한 수학식을 검색하기 위해서는 해당 언어를 알고 있거나 수식 입력 툴을 이용해야 하는 경우가 대부분이기 때문에, 일반 사용자들이 수학식 검색을 하는 데에는 제약점이 따랐다. 본 연구에서는 사용자들이 전통적인 검색 방법을 이용하여 특정 마크업 언어가 아닌 일반 평문으로 작성된 질의어를 입력하여 수학식을 검색 가능 하도록 하기 위해, 평문 질의어를 MathML 표현으로 변환시키는 방법을 사용한다. 질의어로 입력될 수 있는 다양한 수학식 표현을 미리 구축한 사전을 이용하여 MathML 표현으로 변환하는 간결한 기법만으로도 MRR 0.495 의 높은 성능을 얻을 수 있었다.

• 대한수학교육학회지:수학교육학연구
• /
• 제21권3호
• /
• pp.261-278
• /
• 2011

초등학교 수학 교과서에는 학습한 내용을 수학 기호와 용어로 나타내기 위하여 '약속'이 제시되어 있다. 본 논문은 제7차와 2007년 개정 교육과정의 초등학교 수학 교과서에 제시된 '약속'의 내용과 서술 방식을 비교 분석하여 교수 학습에 나타날 수 있는 문제점을 논의하고, 이에 대한 시사점을 제시하였다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제46권3호
• /
• pp.245-261
• /
• 2007

This paper deals with the possible problems which may arise when students learn the names of elementary geometric figures in the languages of Korean, Chinese, English. The names of some simple geometric figures in these languages are analyzed, and a specially designed test was administered to some grade eight students from the three language groups to explore the possible influence of the characteristics of the languages on students' capability in identifying the figures, the way students define the figures, and students' understanding of the inclusive relationship among figures. It was found that the usage of the terms to describe geometric figures may indeed have affected students' understanding of the figures. The names of geometric figures borrowed from those of everyday life objects may cause students to fix on some attributes of the objects which may not be consistent with the definition of the figures. Even when the names of the geometric figures depict the features of the figures, the words used in the naming of the figures may still affect students' understanding of the inclusive relations. If there is discrepancy between the definition of a geometric figure and the features that the name depicts, it may affect students' understanding of the definition of the figure, and if there is inconsistency in the classification of figures, it may affect students' understanding of the inclusive relationship involving those figures. Some implications of the study are then discussed.

• 대한수학교육학회지:학교수학
• /
• 제15권3호
• /
• pp.551-568
• /
• 2013

본 연구의 목적은 기존의 수학적 창의성 관련 연구들이 수학적 창의성을 어떻게 개념화하고 있는지에 관한 연구 동향을 분석하는 것이다. 이를 위해 수학적 창의성 관련 논문 101편을 대상으로, 수학 교과와 관련된 창의성을 일컫기 위하여 어떤 용어를 사용하는지, 수학적 창의성을 조작적으로 정의하고 있는지, 정의하고 있다면 영역 특수적 정의를 하는지, 수학적 창의성을 보는 관점, 범주, 수준은 어떠한지를 분석하였다. 연구 결과, 관련 연구들은 수학 교과에서의 창의성을 가리키기 위해 '수학적 창의성'이란 용어를 가장 많이 사용하고 있었다. 또한 수학적 창의성에 대해 명시적으로 정의한 연구가 59.4%였고, 명시적 또는 암시적 정의를 한 연구 중 영역 특수적 정의를 한 연구가 54.4%였다. 수학적 창의성 관련 연구들은 창의성을 보는 4가지 관점에 대해 골고루 접근하고 있었으며, 창의성의 범주 중 환경적 요소를 고려한 연구가 드물었다. 창의성의 수준에 대해, 관련 연구들은 학교 수준에서의 작은 창의성에 집중되어 연구를 진행하고 있었다. 이러한 결과를 바탕으로, 수학적 창의성에 대한 명확한 관점 및 개념화의 필요성, 창의성의 다양한 관점 및 범주를 아우르는 총체적 접근의 중요성, 학생들 개개인의 해석과 지식의 구성 과정을 강조하는 미니 창의성 수준에서의 수학적 창의성 연구의 필요성 등의 결론을 제기할 수 있었다.