• The KIPS Transactions:PartB
• /
• v.8B no.5
• /
• pp.429-440
• /
• 2001

To achieve a computer tutor framework with high learning effects as well as practicality, the goal of this research has been set to developing an intelligent tutor for problem-solving in mathematics domain. The maine feature of the CyberTutor, a computer tutor developed in this research, is the facilitation of a learning environment interacting in accordance with the learners differing inferential capabilities and needs. The pedagogical information, the driving force of such an interactive learning, comprises of tutoring strategies used commonly in various domains such as phvsics and mathematics, in which the main contents of learning is the comprehension and the application of principles. These tutoring strategies are those of testing learners hypotheses test, providing hints, and generating explanations. We illustrate the feasibility and the behavior of our propose framework with a sample problem-solving learning in geometry. The proposed tutorial framework is an advancement from previous works in several aspects. Firstly, it is more practical since it supports handing of a wide range of problem types, including not only proof types but also finding-unkown tpes. Secondly, it is aimed at facilitating a personal tutor environment by adapting to learners of varying capabilities. Finally, learning effects are maximized by its tutorial dialogues which are derived from real-time problem-solving inference instead of from built-in procedures.

• Korean Journal of Logic
• /
• v.9 no.1
• /
• pp.97-136
• /
• 2006

비트겐슈타인의 규칙따르기 개념에 대한 올바른 이해는 그의 후기 철학의 궤적을 살피는데 있어서 중요하다. 비트겐슈타인의 규칙따르기 문제에 대해 회의적 해석으로 유명한 크립키는 "탐구"의 201절을 문제 삼으며 '역설'의 문제를 새로운 형식의 철학적 회의주의로 간주했다. 본 논문은 규칙의 역설에 대한 크립키의 논증이 비트겐슈타인의 관점과 무엇 때문에 충돌하는지를 밝히면서 그와 함께 비트겐슈타인이 '규칙의 역설'을 제시한 궁극적 이유를 규명하는데 있다. 규칙의 역설에 대한 크립키 논증의 의의와 한계를 비판적으로 다룸으로서 필자는 다음과 같은 점을 주장할 것이다. 비트겐슈타인에게 있어서 규칙은 우리들의 행동을 이끄는 지침의 역할을 하며, 규칙의 문제를 추론과 연관시켜 수학이 엄격한 규칙을 따르는 인간의 지적 활동이며, 규칙에 대한 비트겐슈타인의 관점은 귀납적 회의주의와 무관하다. 이런 맥락에서 비트겐슈타인을 회의주의자 혹은 상대주의자로 평가하는 것은 문제가 있다. 그런 점에서 비트겐슈타인은 오히려 어떤 이론이나 선입견에 사로잡히지 않은 봄의 방식을 강조한 철학자로 평가하는 것이 옳다.

• Communications of Mathematical Education
• /
• v.35 no.3
• /
• pp.257-275
• /
• 2021

This study investigated the prospective teacher's noticing of students' mathematical thinking from the perspective of how the prospective teacher pays attention to, interprets, and responds to the student's responses related to variables. The prospective teachers were asked to infer the students' thinking from the variables related to the tasks and suggest feedback accordingly. An analysis of the responses of 26 prospective teachers showed that it was not easy for prospective teachers to pay attention to the misconception of variables and that some of them did not make proper interpretations. Most prospective teachers who did not attend and interpret were found to have failed to provide an appropriate response due to a lack of overall understanding of variables. even though prospective teachers who did proper attend and interpret were found to have failed to respond appropriately due to a lack of empirical knowledge, even with proper attention and interpretation.

• Journal of the Korean School Mathematics Society
• /
• v.11 no.4
• /
• pp.609-627
• /
• 2008

The purpose of this research was to investigate the relationship between the students' strategy types and the recognition for proportional situations. The students' strategy types which were based on the results of ratio and proportion tests were divided into an additive type, a multiplicative type, and a formal type. This research analyzed the students' activities of categorization when were given the proportional problems and nonproportional problems to the students. And it also explored how to develop students' recognizing for the discrimination between the proportional situations and nonproportional situations. The results was the following. First, the students didn't discriminate the proportional situations and the nonproportional situations in the initial state but they came to discriminate little by little. Secondly, the students didn't discriminate the direct proportions and the inverse proportions until the last stage. Third, the multiplicative type was outperformed more than the formal type in solving the ratio and proportion problems but the formal type was outperformed more than the multiplicative type in discriminating between proportional situations and nonproportional situations. These results are interpreted as showing that solving ratio and proportion tasks and recognizing proportional situations are different aspects of proportional reasoning and it is necessary to understand multiplicative strategy with formal strategy in recognizing proportional situations.

• Communications of Mathematical Education
• /
• v.36 no.4
• /
• pp.535-558
• /
• 2022

In the current society, where statistical literacy is recognized as an important ability, statistical education utilizing the statistical problem solving, a series of processes for performing statistics, is required. The result interpretation stage is especially important because many forms of statistics we encounter in our daily lives are the information from the analysis results. In this study, data on private education were provided to pre-service mathematics teachers, and a project was carried out in which they could experience a statistical problem solving process using the population mean estimation. Therefore, this study analyzed the characteristics shown by pre-service mathematics teachers during the result interpretation stage. First, many pre-service mathematics teachers interpreted results based on the data, but the inference was found to be a level of 2 which is not reasonable. Second, pre-service mathematics teachers in this study made various kinds of decisions related to public education, such as improving classes and after-school classes. In addition, the pre-service mathematics teachers in this study seem to have made decisions based on statistical analysis results, but they made general decisions that teachers could make, rather than specifically. Third, the pre-service mathematics teachers of this study were reflective about the question formulation stage, organizing & reducing data stage, and the result interpretation stage, but no one was reflective about the result interpretation stage.

• 한국정보교육학회:학술대회논문집
• /
• 2004.01a
• /
• pp.304-314
• /
• 2004

국가적 차원에서 추진하는 영재교육의 목적은 개인의 자아실현과 더불어 국가와 사회에서 필요로 하는 고급 인재를 양성하는 데 있다. 특히, 정보화 시대를 이끌어 갈 정보영재의 발굴과 교육은 더욱 중요하다. 컴퓨터 교육 중 프로그래밍 교육은 컴퓨터 소양, 창의적 사고와 문제 해결력, 수학적 사고력, 추론 능력을 신장시키는 정보 교육의 중요한 분야임에도 불구하고 정보영재를 위한 체계적인 교육 내용이 확립되어 있지 않은 상태이다. 이에 본 논문에서는 초등정보영재를 위한 프로그레밍 언어교육의 필요성을 살펴보고 프로그래밍 교육을 위한 교육내용을 구성하였으며 논리력 향상 및 문제 해결력 중심의 비주얼 베이직 교육 시스템을 제안하였다. 본 연구의 특징은 첫째, 학습자에게 실제 프로그램을 작성할 수 있는 기회를 제공한다. 둘째, 학습한 이론을 실제 프로그램 작성에 응용할 수 있도록 한다. 셋째, 프로그램상의 오류 수정 활동과 제시된 예제의 다양한 해결 방법을 통해 문제 해결력과 논리적 사고력을 향상시킬 수 있는 프로그래밍 학습 시스템을 제공한다.

• School Mathematics
• /
• v.6 no.4
• /
• pp.389-409
• /
• 2004

This article presents a case study in which three middle school students developed models in modeling activity using a tool. We research the interaction of model development process and the activities operating a tool in the modeling. And we investigate whether students are able to create generalizable model, after a tool mediates students' thought process and students internalize the perceptive activity operating a tool. The analysis of our case study led to three results. First, as students were able to integrate perceptive activity operating a tool and cognitive activity, they reasoned about the relationships among changing quantities and developed the model. Second, students corrected and refined developed models with reflecting the perceptive activity operating a tool. Third, as students internalized perceptive activity, students were able to create generalizable model, which is a graph of height as a function of the amount of water that's in the beaker.

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

The purpose of this research was to confirm one of constructivists' assumptions that even children 조o are with low reasoning ability can make reflective abstracting ability and cognitive structures by this ability can make generation ability of new knowledge by themselves. To investigate the assumption, learner-centered instruction were implemented to 2nd grade classroom located in Suseong Gu, DaeGu City and with lesson plans which initially were developed by Burns and corrected by the researchers. Recordings videoed using 2 video cameras, observations, instructions, children's activity worksheets, instruction journals were analyzed using multiple tests for qualitative analysis. Some conclusions are drawn from the results. First, even children with low reasoning ability can construct mathematical knowledge on multiplication in their own. ways, Thus, teachers should not compel them to learn a learning lesson's goals which is demanded in traditional instruction, with having belief they have reasoning ability. Second, teachers need to have the perspectives of respects out of each child in their classroom and provide some materials which can provoke children's cognitive conflict and promote thinking with the recognition of effectiveness of learner-centered instruction. Third, students try to develop their ability of reflective and therefore establish cognitive structures such as webs, not isolated and fragmental ones.

• Journal of the Korean School Mathematics Society
• /
• v.11 no.1
• /
• pp.55-68
• /
• 2008

In this paper, we investigated difficulties that middle school students face in the teaming process of proof, and then inquired how does learning of proof using GSP ease students' difficulties. Throughout the inspection, we identified that students have difficulties in understanding process of premise and conclusion, use of notation, process of reasoning. And we identified, throughout learning process of proof using GSP, students can be feedbacked for their guess or reasoning, generalize the special case to general properties and have attitude checking ideas needed in proof by themselves.

• Journal of Navigation and Port Research
• /
• v.26 no.1
• /
• pp.8-14
• /
• 2002

The collisions of vessel at sea show high among the whole marine accidents. Especially, the accidents of fishing vessels take the largest portion of the collisions. Therefore, a technique to reduce these accidents should be developed. The automatic control for avoiding collision suggested in this study consists of two steps. The first is recognizing collision risk with fuzzy Theory and the other is maneuvering the model ship on the basis of collision risk calculated from the first step. The information form the position and estimated time of collision point(DCPA and TCPA) is used to assess the collision risk. To verify this system, a fishing vessel was simulated according to MMG mathematical model. The simulations result shows quite good application in avoiding the collision of ship.