• Journal of the Korean School Mathematics Society
• /
• v.17 no.4
• /
• pp.507-539
• /
• 2014

The algebra is an important tool influencing on a mathematics in general. To make good use of the algebra, it is necessary to transfer from a given situation to a proper algebraic representation. But some research in related to algebraic word problems have reported the difficulty changing to a proper algebraic representation. Our study have focused on transformation and elaboration of algebraic representation. We investigated in detail the responses and perceptions of 29 Grade 7 students while transforming to algebraic representation, only concentrating on the literature expression form the problematic situations given. Most of students showed difficulties in transforming both descriptive and geometric problems to algebraic representation. 10% of them responded wrong answers except only a problem. Four of them were interviewed individually to show their thinking and find the factor influencing on a positive elaboration. As results, we could find some characteristics of their thinking including the misconception that regard the problem finding a functional formula because there are the variables x and y in the problematic situation. In addition, we could find the their fixation which student have to set up the equation. Furthermore we could check that making student explain own algebraic representation was able to become the factor influencing on a positive elaboration. From these, we also discussed about several didactical implications.

• Journal for History of Mathematics
• /
• v.25 no.4
• /
• pp.83-99
• /
• 2012

The conic sections are defined as algebraic expressions using the focus and the directrix in the high school curriculum. However it is difficult that students understand the conic sections without environment which they can manipulate the conic sections. To make up for this weak point, we have found the evidence for generating method of a conic section through a sundial and investigated the history of terms 'focus', 'directrix' and the tool of drawing them continuously.

• Communications of Mathematical Education
• /
• v.21 no.4
• /
• pp.621-646
• /
• 2007

In our new learning environment, we were asked to change our teaching method in our Linear Algebra class. In mathematics class, we could use several math-softwares such as MATHEMATICA, MATLAB, MAPLE, Drive etc.. MATLAB was quite well fit with our Linear Algebra class. In this paper we introduce an efficient way of delivery on important concepts in linear algebra by using well-known MATLAB/ATLAST M-files which we downloded from http://www.umassd.edu/specialprograms/atlast/.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2003.09a
• /
• pp.267-271
• /
• 2003

대수층 저장 및 회수(Aquifer Storage and Recovery, 이하 ASR) 기법은 지표수가 여유가 있는 기간동안 지하 대수층에 정수된 물을 주입하여 두었다가, 첨두 수요(peak demand)가 필요한 한시적인 기간동안 대수층 내에 저장되어 있던 물을 양수하여 공급하는 새로운 개념의 수자원 공급 체계의 일환이다. 본 발표에서는 미국 Oregon 주의 대표적인 3개 도시에서 수행된 수자원 공급 사업과 이 수자원 공급사업에서 ASR 기법이 어떻게 적용되었는지를 살펴보았다. 이들 도시에서 수행된 ASR 기법을 활용한 수자원 공급은, 기존 지표 저류조 저장 방식에 비해 월등히 경제적이며, 다양한 이점을 가지고 있는 것으로 드러났다. 또한 이들 도시에서의 ASR 기법 적용에 따른 효율성이 2001년도 및 2002년도에 분명하게 나타나 현재 이들 도시는 ASR 시설에 대한 확충 계획을 수립, 진행하고 있다. 한편, 이들 지역의 ASR 기법 활용 용수 공급 사례는, 국내의 경우에도 투수성이 우수한 화산암 지역, 제3기 지층 및 석회암 지역 등에서 활용될 경우, 충분한 효과를 발휘 할 수 있을 것으로 기대된다.

• Communications of Mathematical Education
• /
• v.10
• /
• pp.519-528
• /
• 2000

최근 10 여년 동안 교육 현장의 각 부분에 여러 가지 종류의 테크놀로지가 도입되면서, 교육의 내용과 방법에 있어서 점진적인 변화가 나타나고 있다. 예를들어, 수학 과목에 있어서는 그래픽 계산기, 도형 및 기하 학습 프로그램, 스프레드 시트, 함수 그래픽 프로그램 등의 도입으로 교과 과정 전반에 걸친 변화가 일고 있는데, 처음에는 이들 테크놀로지가 단순히 기존의 수업에서 수많은 반복을 요하거나, 지필식 방식으로는 정확하게 나타내기 어려운 도형이나 그래프를 빠르고 정확하게 그려내주는 보조수단으로 사용되었지만, 시간이 지나면서 이들 테크놀로지에 대한 활용도가 높아지게 되고, 이들 테크놀로지에 대한 교사들의 활용능력이 증대됨에 다라서, 이러한 테크놀로지가 단순한 보조수단에 머무르지 않고 주지에 기술이나 개념을 설명하는 방법 자체를 변화시키고 있다. 예를들어, 함수 교육에 있어서 그래픽 프로그램이 사용될 때에도, 초기 단계에서는 이들 함수의 개념을 설명할 때에는 거의 집합론이나 대수학적인 방법을 이용하였고, 최종 단계로 이들 함수를 좌표계 위에 표현하기 위한 보조수단으로 잠깐씩 사용되는 경우가 대부분이었으나, 최근들어서는 함수 학습의 초기과정부터 곧바로 이들 그래프 프로그램을 적극적으로 도입하여 학습자로 하여금 다양한 그래프 조작을 하게 함으로써, 어려운 집합론이나 대수학적인 개념을 도입하지 않고서도 함수에 대한 개념을 시각적으로 직관적으로 파악하도록 하는 학습 방안들이 제시되고 있는 것이다. 본 고에서는 현행 중고등학교 함수 교육 과정에서 그래프에 대한 다양한 조작 기능을 제공함으로써 학습자로 하여금, 제시되는 함수에 대한 시각적이고 직관적인 이미지를 가질 수 있도록 하기 위해서 개발된 ‘그래프 마법사’라는 프로그램을 소개하고자 한다.

• Review of KIISC
• /
• v.30 no.3
• /
• pp.5-10
• /
• 2020

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

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.202-211
• /
• 2003

Abstract Formal definitions of syntax and semantics for the static and dynamic models in Object Oriented methods are already defined. But the behavior of interacting objects is not formalized. In this paper, we defined the common behavior of interacting objects in terms of process algebra using sequence diagram in UML and regularized properties of interacting objects. Based on the results, we can develop a formal specification by. using of the object interaction instead of the existence dependency suggested by M. Snoeck and G. Dedene[9].

• Journal of the Korean School Mathematics Society
• /
• v.12 no.1
• /
• pp.99-114
• /
• 2009

Although they are interested in Linear Algebra not only in science and engineering but also in humanities and sociology recently, a study of teaching linear algebra is not relatively abundant because linear algebra was taken as basic course in colleges just for 20-30 years. However, after establishing The Linear Algebra Curriculum Study Group in January, 1990, a variety of attempts to improve teaching linear algebra have been emerging. This article looks into series of studies related with teaching matrix. For this the method for teaching the concepts of matrix in relation to historico-genetic principle looking through the process of the conceptual development of matrix-determinants, matrix-systems of linear equations and linear transformation.

• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.49-67
• /
• 2003

조합논리는 기본적으로 정해진 해석이 없는 순수한 형태만을 가지고 추상적으로 연산하는 관점에 관한 논리로서, 논리학을 기호학적 관점에서 볼 수 있는 토대를 제공해 준다. 조합논리의 특징은 연산자가 피연산자도 될 수 있다는 사실에 있으며 그래서 동일한 연산자가 그 자신의 피연산자도 될 수 있다. 이 논문에서 우리는 기본연산자들의 직관적 개념과 형식적 개념을 소개하고 연산자 대수에 내해 검토하고 나서 조합논리와 $\lambda$-연산의 번역가능성에 다해 알아보겠다. 조합논리에 유형의 개념을 추가하면 자연언어 분석에서 아주 효율적인데 기본유형인 대상자 명제 이외의 어떤 요소라도 함수자로 나타낼 수 있는데 이들은 조합자의 특수한 경우로서 파생유형들이다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.1
• /
• pp.720-723
• /
• 2005

There has been significant progress in the development of timed process algebra for the specification and analysis of real-time systems in recent years. ACSR is a timed process algebra, which supports synchronous timed actions and asynchronous instantaneous events. Timed actions model the usage of shared resources and the passage of time, whereas events allow synchronization between processes. To be able to specify real-time systems more effectively, this paper suggests the notion of probabilities. This paper also illustrates extended PACSR with a typical resource allocation system and its deadlock specification and analysis.