• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.11a
• /
• pp.297-300
• /
• 2003

This paper considers formal verification methods for enhancing software reliability. The formal method verifies that a software is correctly implemented according to its specification by using a mathematical formalism. This paper presents a partial survey on the formal methods and discusses possible applications for the improved software implementation. Finally, some topics are remarked as further studies.

• Proceedings of the IEEK Conference
• /
• 2002.06c
• /
• pp.161-164
• /
• 2002

The informal specification technique lacks abstraction and preciseness. On the other hand, the formal specification technique makes the developer difficult to express and understand the software specification, because it contains mathematical expression. This paper proposes DSC(Domain Specification Component) to solves these problems. DSC supports the understanding of problem domain and improves reusability with selecting the strong point of informal and formal specification technique. We applied the proposed DSC to CMIP-based network management manager software. And we analyzed the effects of the reusability and confirmed the increase of the reusability.

• Research in Mathematical Education
• /
• v.8 no.3
• /
• pp.215-226
• /
• 2004

The purpose of this paper is to introduce an activity of student who found purely linear algebraic solution of the Blackout puzzle. It shows how we can help and work with gifted students. It deals with algorithm, mathematical modeling, optimal solution and software.

• Research in Mathematical Education
• /
• v.18 no.1
• /
• pp.31-40
• /
• 2014

Working with dynamic visual representations can help students-with-computer discover new mathematical ideas. Students translate among multiple representations as a strategy to investigate non-routine problems to explore possible solutions in mathematics classrooms. In this paper, we use the area models as new representations for our secondary students to investigate three problems related to the average speed of a particle. Students show their ideas in the process of investigating arithmetic mean, harmonic mean, and average speed through their created dynamic figures. These figures really utilize dynamic geometry software.

• The Mathematical Education
• /
• v.43 no.1
• /
• pp.87-96
• /
• 2004

For finding the optimal strategy in Blackout game which was introduced in the homepage of popular mono "Beautiful mind", we develope a mathematical proof and an algorithm with a software. We only use the concept of basis and knowledge of basic linear algebra. This process can be extended to the fullsize Go table problem and shows why we have to study mathematics at the college level.

• Education of Primary School Mathematics
• /
• v.5 no.2
• /
• pp.95-110
• /
• 2001

What characteristics of computer games encourage persistence, engagement, and learning for both girls and boys\ulcorner The purpose in conducting this research was to identify characteristics of computer games that engage all children-girls and boys- in significant mathematical learning. A set of criteria for evaluating gender fair computer games was developed. Much of this research had involved observing children playing computer games in pairs and small groups. Two game softwares were analyzed by way of dialogues that occurred with the games.

• Communications of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.277-298
• /
• 2021

In this paper, we propose an extension of the classical Bessel function by means of our ℓ-hypergeometric function [2]. As the main results, the infinite order differential equation, the generating function relation, and contour integral representations including Schläfli's integral analogue are derived. With the aid of these, other results including some inequalities are also obtained. At the end, the graphs of these functions are plotted using the Maple software.

• Research in Mathematical Education
• /
• v.26 no.2
• /
• pp.105-120
• /
• 2023

With the rapid advancement of educational technology, recent studies have connected teachers' professional noticing with the use of digital resources in mathematical instructions. In this study, I examined elementary mathematics preservice teachers' attending and interpreting a mathematical software, ST Math, in the exploring and implementing phases. The findings indicate that preservice teachers paid attention to visual representations and manipulation prior to interactions with children and further took into consideration on task structures and situated context after interactions. They interpreted the events based on connected mathematical knowledge of prior interactions and further reflected on the progression of problem-solving strategies and sequence of tasks. In addition, four distinctive profiles of transitioning of evaluation on ST Math activities were identified with illustrations. Implications for noticing and teacher education were discussed.

• Communications of Mathematical Education
• /
• v.37 no.2
• /
• pp.299-327
• /
• 2023

In this study, we tried to find out the level of inductive reasoning ability and the aspects of visualization components shown in students in the class using exploratory software for the 'congruence and symmetry' unit in the second semester of the 5th grade of elementary school. To this end, classes using GeoGebra, one of the exploratory software, were conducted for a total of 19 students in one class of fifth graders in elementary school, and the results of the students' activities were analyzed. As a result of this study, the level of inductive reasoning ability of students remained at a similar level or developed, and it was shown that students inferred new properties of shapes using various functions of software inductively. In addition, in terms of visualization, students were able to quickly and easily draw shapes that met the conditions, and unlike the paper-and-pencil environment, using the 'measurement' and 'symmetry' functions, they transformed and manipulated complex yet precisely congruent and symmetrical external representations. Based on these analysis results, implications for the use of exploratory software in the area of figures were derived.

• Genomics & Informatics
• /
• v.21 no.1
• /
• pp.15.1-15.4
• /
• 2023

Bioinformatics education can be defined as the teaching and learning of how to use software tools, along with mathematical and statistical analysis, to solve biological problems. Although many resources are available, most students still struggle to understand even the simplest sequence alignment algorithms. Applying visualizations to these topics benefits both lecturers and students. Unfortunately, educational software for visualizing step-by-step processes in the user experience of sequence alignment algorithms is rare. In this article, an educational visualization tool for biological sequence alignment is presented, and the source code is released in order to encourage the collaborative power of open-source software, with the expectation of further contributions from the community in the future. Two different modules are integrated to enable a student to investigate the characteristics of alignment algorithms.