• Communications of Mathematical Education
• /
• v.15
• /
• pp.141-146
• /
• 2003

중학교 기하교육의 목적은 학생들의 수학적인 상황을 보는 기하학적인 직관과 논리적 추론능력의 향상이다. 그러나 이 두 가지 모두 만족스럽지 못한 실정이다. 본 고에서는 중학교 기하교육의 문제를 직관기하와 형식기하의 단절이라는 보고, 직관기하에서 증명의 학습요소를 미리 학습하여 직관기하와 형식기하를 연결하자는 대안을 제시한다. 이를 위해 7-나 교과서의 증명요소를 분석하고자 하였다. 관련문헌을 검토하여 7가지 증명의 학습요소를 선정한 후, 교과서를 분석하였다. 분석 결과, 기호화를 제외한 다른 증명의 학습요소는 매우 빈약한 것으로 나타났다. 직관기하 영역에 대한 교과서 구성이 개선될 필요가 있음을 알 수 있다.

• Journal of Educational Research in Mathematics
• /
• v.16 no.4
• /
• pp.327-344
• /
• 2006

This study examined the proof levels and understanding of constituents of proving by three mathematically gifted 6th grade korean students, who belonged to the highest 1% in elementary school, through observation and interviews on the problem-solving process in relation to constructing a rectangle of which area equals the sum of two other rectangles. We assigned the students with Clairaut's geometric problems and analyzed their proof levels and their difficulties in thinking related to the understanding of constituents of proving. Analysis of data was made based on the proof level suggested by Waring (2000) and the constituents of proving presented by Galbraith(1981), Dreyfus & Hadas(1987), Seo(1999). As a result, we found out that the students recognized the meaning and necessity of proof, and they peformed some geometric proofs if only they had teacher's proper intervention.

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• School Mathematics
• /
• v.14 no.3
• /
• pp.297-313
• /
• 2012

The purpose of this paper is to discuss the potential and to examine the effect of narrative, as an alternative approach to teach formal proof in more easier and comprehensible way. Identifying the key elements of narrative in proof, we constructed a narrative that derives the equation of function translation. We examined the effect of teaching through the narrative, in comparison with teaching the corresponding proof, on low-achieving students' instrumental understanding and relational understanding of function translation. Since we found no statistically significant differences between the experimental and the comparison group, this study could not conclude that teaching through the narrative was more effective than teaching the corresponding proof. But there were some qualitative differences in the relational understanding responses and the evaluation of the teaching between two groups. These findings suggested some potential of narratives that complement the formal proof.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.144-147
• /
• 2011

최근 소프트웨어 개발에 리팩토링이 활성화되고 있다. 리팩토링에 대한 관심이 높아지면서 요소 리팩토링을 정의해서 이들의 조립을 통해 새로운 복합 리팩토링을 정의하려는 연구들이 많이 진행되고 있다. 그러나 이러한 연구들에서는 복합 리팩토링을 구성하고 있는 조립된 리팩토링의 종류가 요소 리팩토링으로 제한되어 있고, 조립 방법도 대부분 요소 리팩토링들의 순차적인 결합으로 되어 있는 경우에만 처리되고 있다. 이에 본 연구에서는 조립할 수 있는 리팩토링의 구성 요소를 요소 리팩토링뿐만 아니라 이미 정의되어 있는 복합 리팩토링도 가능하게 하고, 조건처리와 반복 등 다양한 방법으로 리팩토링들을 조립할 수 있는 메커니즘을 제안한다. 그리고 무순서반복 조립의 적용 가능성에 대한 증명 방법을 제안한다. 이를 통해 리팩토링들의 재사용성과 확장성을 향상시킬 수 있을 것이다.

• Journal of Korea Game Society
• /
• v.9 no.6
• /
• pp.45-56
• /
• 2009

This Study has limited our scope to the study of satisfaction factor. Due to the extensiveness of fun factors of games. We had identified satisfaction factors through investigating various theories based on funology. Then, we have directly applied the satisfaction factors to games in order to define the satisfaction factors of online FPS game. Then, we have applied the satisfaction factors on to four online games, at the first phase of the study. We interviewed a group of online FPS game experts to identify the constituent elements of the factors and concluded the second phase of our investigation based on the results from the first and second phases, we have conducted a survey to verify the hypothesis. We have verified the reciprocal relationship between the satisfaction factors and game popularity by conducting a multiple regression analysis on the survey results. To conclude, there is a correlation between online FPS games and the satisfaction factors; the satisfaction factors cause the users to be absorbed into the game and to enjoy it for a long period of time.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2021.11a
• /
• pp.185-186
• /
• 2021

해양사고 분석을 위한 해양사고 재결서는 중요한 정보제공의 원천이며 재발방지를 위한 개선사항을 제시한 자료이다. 하지만 이는 보고서 형태로 구성되어 수량화 하여 데이터로 활용하기에는 한계가 있다. 본 연구에서는 이러한 해양사고 재결서를 원인요소와 결과요소로 구분하여 계층화작업을 시행하였다. 이를 통해 충돌사고에서 선박조우상황과 충돌부위와의 상관관꼐를 증명하기 위한 기초자료로 사용하고자 한다. .

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.22 no.6
• /
• pp.579-585
• /
• 2009

In this paper, a series of finite element analyzes were carried out to evaluate the performance of the RC beams strengthened with sprayed fiber reinforced polymer(SFRP) coating. A damage constitutive model based on the micromechanical constitutive model(Lee, 2001) in conjunction with the damage models(Lee 등, 2000) for SFRP coating was implemented into the finite element code ABAQUS. The present prediction results were compared with experimental data(Ha, 2007; Ha 등, 2009) to assess the accuracy of the damage constitutive model. It was concluded from the comparative study that the computational model developed by implementing the damage constitutive model into ABAQUS is suitable for the prediction of the performance of RC beams strengthened with SFRP coating.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.329-331
• /
• 2003

프로그램에 취약성이 없다는 것을 증명하는 것은 거의 불가능하다. 또한 현재 보안을 위해서는 인증과 접근제어, 암호화를 이용하지만 이러한 단순한 보안 기술은 버퍼오버 플로우와 같은 프로그램의 취약성을 이용한 공격에 대해 적절한 방어 대응을 할 수 없다. 그러므로 현재 위협적인 공격으로부터 중요한 기능을 지속적으로 제공하여 시스템 방어능력의 향상을 위한 생존성에 대한 연구가 필요하다. 동적협동은 이러한 생존성 연구의 일부분으로 생존성 기능을 가진 각 프로그램들이 동적환경에서 협동할 수 있는 환경을 제공해주는 기술에 대한 연구이다. 본 논문에서는 동적협동에 대한 분석을 통해 동적협동의 아키텍처와 각 구성요소의 기능에 대해 제시한다.

• Proceedings of the Korean Society for Information Management Conference
• /
• 2017.08a
• /
• pp.39-42
• /
• 2017

이 연구는 기록정보 리터러시의 대상과 범주를 공문서 리터러시와 연결시키고 각 리터러시 간 구성요소간의 관계를 증명하여 기록의 접근성과 활용성을 공공의 영역으로 확장하는 이론적 근거를 마련하기 위해 연구문제와 연구모형을 제시하고자 한다.