• 대한수학교육학회지:학교수학
• /
• 제2권1호
• /
• pp.183-202
• /
• 2000

The purpose of this study is to restructure the 10th grade mathematics curriculum for teaching the function area under the computer environment using ‘Mathview’, which is a computer algebra system designed for exploring algebra dynamically. The instructional sequence of the function area was redesigned to highlight the functions and properties of the computer software. And, based on the newly designed sequence, this study develops the sample ‘teaching unit’ using Mathview. The basic principle of the materials is to encourage students to investigate mathematics by manipulate various experimental tasks by themselves or through group study. And, the draft of the sequence and teaching unit was reviewed by some mathematics teachers and revised through the feedback.

• 한국수학교육학회:학술대회논문집
• /
• 한국수학교육학회 2006년도 제37회 전국수학교육연구대회 프로시딩
• /
• pp.215-217
• /
• 2006

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제9권2호
• /
• pp.659-679
• /
• 2015

Distributed applications are composed of multiple nodes, which exchange information with individual nodes through message passing. Compared with traditional applications, distributed applications have more complex behavior patterns because a large number of interactions and concurrent behaviors exist among their distributed nodes. Thus, it is difficult to detect anomalous behaviors and determine the location and scope of abnormal nodes, and some attacks and misuse cannot be detected. To address this problem, we introduce a method for detecting anomalous behaviors based on process algebra. We specify the architecture of the behavior detection model and the detection algorithm. The anomalous behavior detection and analysis demonstrate that our method is a good discriminator between normal and anomalous behavior characteristics of distributed applications. Performance evaluation shows that the proposed method enhances efficiency without security degradation.

• 대한수학교육학회지:수학교육학연구
• /
• 제11권1호
• /
• pp.67-87
• /
• 2001

Variable concept plays a crucial role in understanding not only algebra itself but also school mathematics which is algebra-oriented. It solves as an essential means in applying mathematics to the real world because il enables us to describe varying phenomena in the real world. In this study, we examined some matters related to the learning of variable concept in school mathematics. In Particular, we discussed on the teaching of variable concept in the [7-first] stage of the 7th Mathematics Curriculum. We analysed the textbooks in the [7-first] stage and attempted to explain concretely the contents and teaching methods of variable concept which be taught in school mathematics. After reconsidering the practices on variable concept teaching, we pointed out the problems of formalistic teaching method and then proposed the direction in which variable concept teaching should go.

• 대한수학회지
• /
• 제48권1호
• /
• pp.1-12
• /
• 2011

The purpose of this paper is to study pseudo-Riemannian algebras, which are algebras with pseudo-Riemannian non-degenerate symmetric bilinear forms. We nd that pseudo-Riemannian algebras whose left centers are isotropic play a curial role and show that the decomposition of pseudo-Riemannian algebras whose left centers are isotropic into indecomposable non-degenerate ideals is unique up to a special automorphism. Furthermore, if the left center equals the center, the orthogonal decomposition of any pseudo-Riemannian algebra into indecomposable non-degenerate ideals is unique up to an isometry.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제13권1호
• /
• pp.1-4
• /
• 2009

We are considering the discovery and the promotion of the talent from the viewpoint of education of talented children. The education that develops the talent is from "Individual needs for all children." Computer Algebra System (CAS) can be used as a new possibility in the education that develops the talent. We will need to take advantage of the research results from cognitive science. In order to fully utilize CASs in education, teaching methods that are based on cognitive science will be needed, and these are clearly different from those used in paper and pencil teaching.

• 대한수학교육학회지:학교수학
• /
• 제10권4호
• /
• pp.573-581
• /
• 2008

학교기하에서는 논증기하, 해석기하, 벡터기하 등의 다양한 접근을 다루고 있는데, 특히 이러한 유클리드 기하에 대한 다양한 접근 사이의 연결성은 기하학적 방법과 대수적 방법의 연 결성으로 볼 수 있다. 본 연구는 교과지식의 측면에서, 논증기하증명에서 벡터와 내적의 대수적 성질의 의미를 분석함으로서 학교 수학에서 기하학적 증명과 벡터와 내적을 이용한 대수적 증명의 연결성에 대하여 고찰하였다.

• 대한수학교육학회지:학교수학
• /
• 제11권3호
• /
• pp.527-546
• /
• 2009

본 연구는 CAS가 도입된 이후의 우리나라 수학교육에 대비하여 고등학교 수학활동에서 CAS의 도구발생 과정을 통찰하고, 중등수학교육에서 도구화된 CAS의 활용 가능성을 탐색하기 위해 설계되었다. 이를 위하여 본 연구자는 CAS에 기반 한 개념중심 수학과제 학습과 문제해결을 각각 고안하였으며 고등학교 1학년생 7명을 대상으로 총 12차시의 수업을 실시하고 수업녹화자료와 면담을 통해 학생들의 활동을 분석하였다. 분석결과 학생들은 CAS를 이용하여 수준 높은 응용문제를 다룰 수 있는 것으로 나타나 CAS가 교육과정 내용수준에 영향을 줄 수 있음을 확인할 수 있었고, 또 도구화된 CAS에 기반 한 무리방정식 문제해결활동을 통해 CAS가 교육과정의 제시 순서에 영향을 줄 수 있음을 발견하였다. 이 연구는 고등학교 수학교육에서 CAS의 도구발생을 분석하여 사례를 제공함으로써 CAS가 도입된 이후의 우리나라 수학교육에 대비한 기초연구가 될 것이다.

• 한국초등수학교육학회지
• /
• 제14권2호
• /
• pp.465-486
• /
• 2010

4-가 단계부터 6-나 단계까지의 초등수학 교과서에 제시된 문자 사용 유형을 분석한 결과, 교과서에 제시된 문자 사용 실태가 Kuchemann의 문자 사용 6가지 유형 중 유형 1(문자를 수치화함)과 유형 3(문자를 어떤 대상으로 사용함)에 심하게 편중되어 있는 것으로 분석되었는데, 이결과는 강소희, 방정숙(2008, p. 142-143)의 결과와 일치한다. 본 연구에서는 6학년을 담당한 교사들에게는 다양한 유형의 문자 사용 지도를 용이하게 하기 위한 목적으로, 학생들에게는 다양한 유형의 문자 사용 경험을 제공하기 위해서 6-가 단계, 6-나 단계 수학교과서를 중심으로 초기 대수적 관점의 학습 자료를 개발하였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제27권1호
• /
• pp.1-17
• /
• 2013

수학적 개념의 시각화는 단순히 학생들의 개념에 대한 이해를 돕는 것에서 그치는 것이 아니라 학생으로 하여금 시각화 과정을 통하여 스스로 발견하며 깨우치는 교육이 가능하도록 하는 것을 추구한다. 따라서 시각화 자료는 세심한 교육적 고려를 바탕으로 준비되어야 한다. 이를 위하여 본 연구에서는 동적 시각화 및 대수 계산에 적합한 Sage와 GeoGebra를 선택적으로 활용하여, 선형대수학을 수강하는 학생들의 수학적 개념의 이해를 돕기 위해 교재의 순서를 따라가면서, 이론에 추가되는 양방향의 시각적 도구를 개발하였다. 본 논문에서는 이 과정에서 개발된 선형대수학 수업에 필요한 시각적 이해를 돕는 다양한 도구들을 소개한다. Sage와 GeoGebra를 이용한 선형대수학 개념의 시각화에서 얻어진 경험은 다른 대학 수학 강좌뿐만 아니라 중 고등 수학에도 적용될 수 있다.