• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제6권
• /
• pp.383-407
• /
• 1997

가환다원환의 대수적 미분에 관한 성질들은 많은 연구의 대상이 되어 왔다. 본 논문은 가환 다원환에서 정의된 대수적 미분의 일반화로써 가환일 필요가 없는 일반다원환의 대수적 미분의 성질을 연구한 것이다. 비가환다원환의 미분정의를 바탕으로 하여 가환다원환에서 연구되어 온 보편적 미분가군의 성질을 일반다원환 의 미분가군에 적용하려고 노력하였다. 이 논문에서 사용한 정리의 증명과정이나 기본개념은 가환다원환의 미분개념에서 나타난 성질들을 바탕으로 하였다.

• 한국컴퓨터그래픽스학회논문지
• /
• 제6권1호
• /
• pp.37-50
• /
• 2000

본 논문에서는 R. T. Farouki에 의하여 소개된 평면 곡선들에 대한 복소수화된 표현법을 사용하여 주어진 임의의 평면 다항식 곡선을 복소수 계수를 갖는 한 다항식으로 나타내고 이 식을 대수학의 기본정리에 따라 복소수체 상에서 완전히 인수분해한 다음 그 근들을 관찰하여 주어진 곡선이 평면 다항식 피타고리안 호도그라프(PH) 곡선이 되기 위하 필요충분 조건을 새로운 방법으로 밝히고, 이를 3차원 민코브스키 공간 $R^{2,1}$ 상의 다항식 곡선에 적용, 이 곡선이 PH 곡선이 되기 위한 필요충분을 보다 간결한 형태로 나타내고 이를 통하여 3차원 민코브스키 공간 $R^{2,1}$ 상의 가능한 다항식 PH 곡선들의 유형이 모두 결정된다는 것을 보인다.

• 한국수학사학회지
• /
• 제29권5호
• /
• pp.295-314
• /
• 2016

In tropical geometry, the sum of two numbers is defined as the minimum, and the multiplication as the sum. We learned that dynamic programming in tropical algebraic geometry can be used to find the shortest path in graphs. We have also learned about the Bezout's Theorem, which is a theorem concerning the intersections of tropical plane curves, and the stable intersection principle.

• 한국수학사학회지
• /
• 제34권2호
• /
• pp.39-54
• /
• 2021

One of the topics in school mathematics is the relation between the roots and the coefficients of equations. It deals with the way to find the roots out of the coefficients of equations. One of the concepts derived from the theory of equations is symmetric functions. Symmetry is a kind of functionality of human cognition. It is, in mathematics, geometrically related to the congruence and the similarity of figures, and algebraically a kind of invariants. We look at stories on the appearance of symmetric functions through the development of the theory of equations.

• 한국항행학회논문지
• /
• 제15권5호
• /
• pp.781-788
• /
• 2011

Sphere-packing problem은 주어진 공간에 가능한 한 많은 구(sphere)를 채울 수 있는 배열을 찾는 문제이고 covering problem은 이에 쌍대적인 최적화의 문제로 코딩이론에 적용된다. 본 논문에서는 이진 코드이론에서의 가중치(weight)와 해밍거리(Hamming distance)에 대한 개념을 부울 대수(Boolean algebra)의 개념으로 일반화한다. 부울 대수에서의 가중치와 이를 이용하여 거리함수를 정의하고, 이들의 기본적인 성질들을 밝힌다. 또한, 부울 대수에서의 sphere-packing bound와 Gilbert-Varshamov bound의 정리를 증명한다.

• 대한수학교육학회지:학교수학
• /
• 제13권1호
• /
• pp.65-88
• /
• 2011

본 연구에서는 먼저 수학사에서 미적분학의 기본정리의 발달 과정을 고찰하고 기하적, 대수적, 형식적 관점에서 그 발생과정을 구분하여 배열한 다음, 이를 바탕으로 학생들이 겪을 수 있는 인식론적 장애와 교과서의 관련 내용을 분석하였다. 그리고 미적분학의 기본정리와 관련된 수학사, 학생들의 오류, 교과서 분석 내용을 바탕으로 미적분학의 기본정리를 학생들에게 의미충실하게 지도할 수 있도록 교사의 'folding back 사고 모형'을 개발하였다([그림 V-1] 참조). 'folding back 사고 모형'은 미적분학의 기본정리와 관련된 수학사, 학생들의 오류, 교과서 분석 내용을 바탕으로 교사가 어떤 교수학적 중재를 활용하는지를 결정하는 단계와 미적분학의 기본정리 개념의 역사발생적 배열 및 학생의 개념 이해 수준을 고려하여 재구성한 '발생적 이해 수준에 따른 개념 모형'([그림 V-2])을 중심으로 제작되었다. 'folding back 사고 모형'의 교수학적 중재 단계에서는 교사가 실제 수업을 설계할 때 활용할 수 있는 자기질문 형식의 'folding back 사고의 적용 요령'(<표 V-1>)을 개발하여 제시하였다. 본 연구에서 제안한 'folding back 사고 모형'은 Pirie-Kieren(1991)의 이론에서 제시된 folding back 개념을 활용하여 교사가 실제로 수학 수업을 설계할 때 수학사와 학생의 오류를 고려할 수 있도록 개발된 사고 모형이다. 이는 수학 교사의 전문성 신장을 이끌고 학생에게는 교과 내용을 배우면서 사고력을 향상 시킬 수 있는 수업을 제공하는데 기여할 수 있을 것이다.

• 정보보호학회지
• /
• 제30권3호
• /
• pp.5-10
• /
• 2020

본 논문에서는 특정 격자문제와 관련하여 고전계산 알고리즘에 비해 지수적으로 빠르게 문제를 해결하는 최신 양자계산 알고리즘들을 소개한다. 먼저 물리적, 전산학적 문제들을 대수적으로 정형화하는 숨은 부분군 문제의 개념을 소개하고, 양자계산 알고리즘이 효율적으로 해결하는 숨은 부분군 문제들을 통하여 기존 암호체계에 영향을 줄 수 있는 양자계산 알고리즘의 부류에 대해 알아본다. 아울러 격자문제와 관련이 있는 다항시간 양자계산 알고리즘의 연구에 대한 전반적인 성과를 정리하고, 격자문제에 기반한 post-quantum cryptography가 갖추어야 할 기본 요건에 관하여 논한다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제36권1호
• /
• pp.139-170
• /
• 2022

수준별 수학교육과 관련하여 러시아는 우리나라보다 오랜 연구와 실천의 경험을 가지고 있다. 현재 러시아에서 사용 중인 10-11학년 수학과 교육과정은 수준별 교육과정으로 기본수준과 심화수준으로 구성되어 있으며, 기본수준과 심화수준은 다루는 최소필수내용, 학생들에게 요구되는 수준 등에서 차이를 보인다. 그리고 10-11학년의 수학교과서도 수준별 교과서이다. 본 연구에서는 러시아의 10학년 '대수와 해석의 기초'의 교과서들 중에서 같은 저자 그룹에 의해 집필된 기본수준 교과서, 심화수준 교과서를 분석 대상으로 삼았다. 심화수준 교과서에만 있는 '실수', '복소수' 단원의 내용을 조사하여 심화의 성격으로 추가된 주요 학습 내용과 교과서 기술의 특징을 분석하였다. 그리고 기본수준 교과서와 심화수준 교과서에 모두 포함된 단원인 '함수', '삼각함수', '삼각방정식', '삼각함수 식들의 변환', '도함수'에 대해서는 기본수준과 심화수준 교과서의 주요 학습 내용을 비교, 분석하였고, 두 수준의 교과서에 제시된 정의와 정리의 서술상 특징도 비교, 분석하였다.