• Proceedings of the Korea Society of Mathematical Education Conference
• /
• 2010.04a
• /
• pp.83-97
• /
• 2010

The purposes of this study were to explore in depth about 5th graders' mathematical speaking and writing abilities and to investigate differences on those abilities. The study involved 3 5th graders and their speaking and writing abilities in geometry area were analyzed. According to the results of the study, the children had difficulties in selecting and using appropriate mathematical languages to explain mathematical concepts, mathematical ideas, and problem solving steps. The children who participated in the study showed higher ability in speaking than writing.

• The KIPS Transactions:PartA
• /
• v.12A no.2 s.92
• /
• pp.171-180
• /
• 2005

In distributed systems data are replicated and stored at several nodes to increase the availability and overall performance. Here Quorum protocol doffing a certain set of replicas required for read/write operation exists for global concurrency control. One of the representative replication Protocols - the Tree Quorum protocol - has a drawback of rapidly growing number of replicas as the level increases, while the Grid protocol requires the same operation cost even without any failure. In this paper, thus, we propose a new replication protocol called hybrid protocol which capitalizes the merits of the existing protocols and solves the problems of them at the same time. The proposed hybrid protocol has very low operation cost in the absence of failure like the tree quorum protocol, and has relatively lower operation cost and higher availability than existing protocols when failure occurs by employing tree architecture as the overall organization while each level of the tree is organized as a row of a grid architecture. It is thus effective to be applied to survival storage system. We conduct cost and availability analysis of the proposed protocol through mathematical modeling, and response time and throughput are compared with those of the Tree Quorum protocol through computer simulation.

• Journal of the Korean School Mathematics Society
• /
• v.8 no.4
• /
• pp.481-494
• /
• 2005

In this study, the goal is to spread profound knowledge and theory through providing with accumulated methods in mathematics education to the students who are relatively neglected in educational benefits. The process is divided into 3 categories: mathematics for obtaining common sense and intelligence, practical math for application, and math as a liberal art to elevate their characters. Furthermore, it includes the reasons for studying math, improving problem-solving skills, machinery application learning, introduction to code(cipher) theory and game theory, utilizing GSP to geometry learning, and mathematical relations to sports and art. Based on these materials, the next step(goal) is to train graduate students to conduct researches in teaching according to the teaching plan, as well as developing interesting and effective teaching plan for the remote high school learners.

• Education of Primary School Mathematics
• /
• v.15 no.3
• /
• pp.235-248
• /
• 2012

It has been a long time introduced portfolios as a new alternative assessment in the elementary school to make the wrong aspect of assessment into right aspect one in the traditional assessment. But many teachers seem to have not enough understanding of portfolios. Taking into account of this point of view, the purpose of this paper is to search what kind of suggestive points to give us and what is the fundamental difference with the portfolios we have already known by making an observation of consist of portfolios and cases carried out in new zealand elementary school.

• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.45-64
• /
• 2004

The lambda calculus is a mathematical formalism in which functions can be formed, combined and used for computation that is defined as rewriting rules. With the development of the computer science, many programming languages have been based on the lambda calculus (LISP, CAML, MIRANDA) which provides simple and clear views of computation. Furthermore, thanks to the "Curry-Howard correspondence", it is possible to establish correspondence between proofs and computer programming. The purpose of this article is to make available, for didactic purposes, a subject matter that is not well-known to the general public. The impact of the lambda calculus in logic and computer science still remains as an area of further investigation.stigation.

• Journal of the Korean School Mathematics Society
• /
• v.12 no.2
• /
• pp.261-279
• /
• 2009

Permutation and combination are the subjects that most teachers feel difficult to teach in Mathematics. This paper investigated evaluation items and factors of anxiety of students for permutation and combination, and further examined the way to lessen the factors of anxiety. Two high school students participated for over a year from December 2007 to February 2008. Also, two teachers joined for the analysis of evaluation items. We found that the ill-structured problems and word problems are the main factors to bring about the anxiety, whereas cooperative learning with high intelligent peers, practice to read word problems and write the process of problems solving are helpful in lessening the mathematical anxieties. Further we propose that the study of appropriate teaching and learning method for permutation and combination should be performed in the future.

• Communications of Mathematical Education
• /
• v.34 no.3
• /
• pp.299-324
• /
• 2020

The purpose of this study was to identify high school students' mathematics learning style and its characteristics according to their personality disposition types and to propose mathematics learning strategies fit into each personality disposition type. For this purpose, MBTI personality test and survey to find mathematics learning style for 375 high school students were executed. The results were as follows. First, many students highly evaluated the effects of private education and prefer reference book to textbook. Second, there were significant differences on following variable domains of mathematics learning style such as learning attitude, learning habit(concentrativeness to concept understanding), problem solving strategies(effort for problem comprehension, use of various strategies), self management(metacognition) by MBTI personality disposition types(SJ, SP, NT, NF groups). Third, based on the results, the following mathematics learning strategies fit into each personality disposition type were recommended. SJ type students are needed to effort creative approach for open problem and to use mindmap as mathematics learning strategy. SP type students are needed to fulfill stepwise problem solving process and to effort constantly practice long/short term learning objectives. NT type students are needed to expand opportunity to study with friends and to use SRN(self reflection note) or mathematics journal writings as mathematics learning strategy. NF type students are needed to use mathematics learning note writing activity which include logical basis for each step of problem solving and to invest more time on learning algebra which need meticulous calculation.

• The KIPS Transactions:PartA
• /
• v.12A no.5 s.95
• /
• pp.385-390
• /
• 2005

Set constraints logic language is a language that adopts `set theory` in programming. In this paper, we introduce the procedure for solving set constraints proposed by A. Dovier and show how the procedure can be implemented in logic language Prolog. The procedure is represented in `rewriting rules` and this representation is characterized by having nondeterministic rule applicationsand mathematical variables that is difficult to be implemented in general programming languages. In this paper, we show that the representation can be easily implemented by using nondeterministic control, logical variables and data structure `list` provided in Prolog. Our implementation has following advantages.First we have implemented the full features of the language. Second we have described the implementation detail in thisresearch. Third other used the commercial Prolog called SICStus, but we are using CIAO Prolog with GNU GPL(General Public License) and anyone can use it freely. Forth the software of our implementation is open source so anyone can use, modify, and distribute it freely.

• Journal of Gifted/Talented Education
• /
• v.25 no.1
• /
• pp.119-138
• /
• 2015

This study analyzed the academic achievements on above-level testing of mathematics, physics, chemistry, and English in newly entering students of science specialized high schools. It can be expected that newly students of science high specialized schools have reached ceiling level in the middle school mathematics and science academic scores. Above-level testing(or off-level testing) is a test tool used to evaluate student's ability which are above-grade level. In this study, above-level testing tools were used to develop the same type examination paper of the 2013 Korean College Scholastic Ability Test(CSAT) in mathematics, physics, chemistry, and English. The conclusions of this study were as follow: First, the academic achievement level of science specialized high school freshmen were higher the average level of general high school senior because that over 50% of them are within the 5 grade of CSAT in mathematics, physics, and chemistry. In English, 19.3% science specialized high school freshmen have reached within the 5 grade of CSAT. Second, as a result of examining characteristics of academic achievement with respect to units of subjects, in mathematics, it was showed that the academic achievement of 'continuity and limit of a function' unit was higher, 'statistics' unit was lower. In physics, the academic achievement of 'Electricity and Magnetism' unit was higher, 'Waves and particles' unit was lower. In chemistry, the academic achievement of 'compounds in life' unit was higher, 'Air' unit was lower. In English, the academic achievement of 'practical sentence' of reading area was higher, 'Sentence' of writing area was lower. In conclusion, above-level testing provided a good strategy for identifying and determining appropriate programming interventions for gifted students who are two or more grade levels above their age-mates in achievements, aptitude, or ability.

• The Journal of the Korea Contents Association
• /
• v.17 no.12
• /
• pp.378-385
• /
• 2017

The aim of this study was to analyze cohesion and word information among different types of questions in the English reading section of the College Scholastic Ability Tests (CSAT). The types of questions were divided into three categories: macro reading, micro reading, and indirect writing. Reading texts from 1994 to 2017 CSAT were analyzed by Coh-Metrix, an automated evaluation program of text and discourse. The findings of this study indicated that there were statistical differences among the three categories of questions for noun overlap, stem overlap, adversative and contrastive connective, additive connective, pronoun incidence, age of acquisition, concreteness for content word, imagability, and meaningfulness. The information of the findings bore pedagogic implications for developing textbooks, questions for CSAT, and reading strategies by students.