• Journal of Elementary Mathematics Education in Korea
• /
• v.16 no.2
• /
• pp.185-202
• /
• 2012

This study is focused on the gifted education program, "EEE" of Columbia Public Schools in Missouri. This program is recommended to follow NAGC Pre-K-Grade 12 Gifted programming standards(NAGC, 2010) and Missouri school laws(MDESE, 2012b), but is allowed to run autonomically without any support in a federal or state level. The characteristics of EEE are as follows: ${\cdot}$ emphasizing not only on the cognitive development but also on the social and affective/emotional development of the gifted students ${\cdot}$ encouraging each student's own interest by allowing him/her to select his/her major and minor ${\cdot}$ the variety of classes ${\cdot}$ the call-up class - discriminating from regular classes ${\cdot}$ the interdisciplinary approach - connecting many subjects around the main idea ${\cdot}$ the activity-based learning such as hands-on activities, projects, and simple experiments ${\cdot}$ using the individual activity as well as pair or group activity In special, this paper also contains an example of program about mathematics and suggests some implications for gifted education programs in Korea.

• Journal for History of Mathematics
• /
• v.25 no.3
• /
• pp.29-39
• /
• 2012

As a product of modern proof theory, linear logic is a new form of logic developed for the purpose of enhancing programming language by Professor Jean-Yves Girard of Marseille University (France) in 1987 by supplementing intuitionist logic in a sophisticated manner. Thus, linear logic' s connectives can be explained using information processing terms such as sequentiality and parallel computation. For instance, A${\otimes}$B shows two processes, A and B, carried out one after another. A&B is linked to an internal indeterminate, allowing an observer to select either A or B. A${\oplus}$B is an external indeterminate, and as such, an observer knows that either A or B holds true, but does not know which process will be true. A ${\wp}$ B signifies parallel computation of process A and process B; linear negative exhibits synchronization, that is, in order for the process A to be carried out, both A and $A^{\bot}$ have to be accomplished simultaneously. Since the field of linear logic is not very active in Korea at present, this paper deals only with syntax aspect of linear logic in order to arouse interest in the subject, leaving semantics and proof nets for future studies.

• The Journal of the Convergence on Culture Technology
• /
• v.6 no.2
• /
• pp.561-566
• /
• 2020

We propose to design and to implement a recreational and end - of - play robot for symptom relief in patients with depression. The main symptom of depression is the loss of interest and interest in life. The depression diagnosis patient confirms the emotional analysis revealed by his / her robot through the robot, and performs the greeting or ending play. After analyzing the emotions in the expressions after the play, the function of the embodying robot is confirmed by receiving the report. A simple play can not completely cure a patient with a diagnosis of depression, but it can contribute to symptom relief through gradual use. The design of the play-by-play robot is using Q.bo One, an open-source robot that can interact with Thecorpora. Q.bo One's system captures a user's face, takes a picture, passes the value to the Azure server, and checks the emotional analysis before and after the play with the accumulated data.Play is implemented in Rasubian, the OS of Q.bo One, using the programming language Python and interacting with external sensors. The purpose of this paper is to help the symptom relief of depressive patients in a relatively short time with a play robot.

• Journal of the Korea Convergence Society
• /
• v.11 no.8
• /
• pp.33-38
• /
• 2020

Modern society needs to think in new directions and solve problems by grafting problems from diverse fields with computers. Abstraction and automation of various problems using computing technology with your own ideas is called computational thinking. In this paper, we analyze how to diagnose and improve knowledge information based on computational thinking through the process of presenting a variety of problems in programming education situations and finding several problem-solving methods to solve them. To pretest the learners, they were diagnosed using a measurement sheet and a LightBot. By determining the correlation between the evaluation results and LightBot results, the learners' current knowledge statuses were checked, and the correlation between the evaluation results and the LightBot results, based on what was taught according to the problem-solving learning technique, was analyzed according to the proposed technique. The analysis of the group average score of the learners showed that the learning effect was significant. If the method of deriving and improving knowledge based on computational thinking ability for solving the problem proposed in this paper is applied to software education, it will induce student interest, thereby increasing the learning effect.

• Korean Journal of Construction Engineering and Management
• /
• v.21 no.1
• /
• pp.21-31
• /
• 2020

Recently, interest and financial investment in community infrastructure have been growing. Accordingly, Korean Ministry of Land, Infrastructure and Transport suggested a standard for community infrastructure planning. The standard was based on time distance which represents citizens' accessibility to infrastructure facilities. This paper presents a method to use the navigation application programming interface (API) to calculate travel time. Buffer analysis using Euclidean distance has been widely used so far to evaluate accessibility. However, this method has limitation in that it does not reflect situations in the real world such as crosswalks and slope ways. The infrastructure accessibility indices of local towns in Yeonsu-gu, Incheon were computed based on the time obtained by navigation API. Also, Yeonsu-gu was spatially analyzed to reveal the resident units that are marginalized from community infrastructure facilities. Using navigation API enables to compute realistic accessibility indices and to find unbenefitted residential areas. The method presented in this paper can help community infrastructure planners for their facility spatial plan and budget distribution.

• Journal of The Korean Association of Information Education
• /
• v.24 no.5
• /
• pp.443-451
• /
• 2020

In elementary school software education, a programming process is experienced through a simple problem solving process. And even this experience emphasizes that the problem-solving process is a CS Unplugged activity. However, CS Unplugged has a disadvantage in that it only learns the principles of computing, and the learner cannot experience real problem solving. In this study, a learning program using artificial intelligence robots was developed with the goal of cultivating the ability to solve problems encountered in the real life of elementary school students. Students could solve complex problems in real life from the point of view of artificial intelligence through the developed program, and increase their interest and understanding of artificial intelligence education through robot control.

• 한국정보교육학회:학술대회논문집
• /
• 2021.08a
• /
• pp.233-237
• /
• 2021

With the advent of the 4th industrial revolution, interest in artificial intelligence education is increasing in elementary schools. In order to nurture future talents with artificial intelligence capabilities, AI education should be actively conducted at school sites. Although basic software education is provided in the 2015 revised curriculum, there is a tendency to view the programming process that creates artificial intelligence only as a problem-solving process. However, when creating an artificial intelligence, the value of the developer who creates artificial intelligence is projected. Therefore, it is necessary to deal with the contents of artificial intelligence value judgment during SW education. This study has limitations due to the fact that Delphi research was conducted with a group of experts. In the future, it is judged that quantitative research should be conducted to supplement these limitations.

• Journal of the Korean Society for Railway
• /
• v.17 no.6
• /
• pp.466-473
• /
• 2014

Recently, there is has been significant interest in the allocation systems of rail track capacities with considerations of the multiple train operating companies. The system indicates both a well-defined procedure and an algorithmic method to allocate the rail track capacities. Among them, this study considers the algorithmic method to derive the optimal timetable for the trains, which the companies propose together with their arrival and departure times at each station. However, most studies have focused on the adjustment of the departure and arrival times without conflicts, which could result in incompatible allocations with the line plan, which would result in an insufficient number of trains on each line to satisfy the demands. Our study presents a new optimization model and algorithm for the allocation problem in order to reflect the predetermined line plan. Furthermore, we provide the experimental results that were applied to the Korean high-speed railway network including the Suseo lines.

• Journal of Practical Engineering Education
• /
• v.13 no.2
• /
• pp.233-242
• /
• 2021

In this paper, as a liberal arts course for non-majors, we proposed a supervised learning artificial neural network parameter optimization method and a basic education method for activation function to design a basic artificial neural network subject curriculum. For this, a method of finding a parameter optimization solution in a spreadsheet without programming was applied. Through this training method, you can focus on the basic principles of artificial neural network operation and implementation. And, it is possible to increase the interest and educational effect of non-majors through the visualized data of the spreadsheet. The proposed contents consisted of artificial neurons with sigmoid and ReLU activation functions, supervised learning data generation, supervised learning artificial neural network configuration and parameter optimization, supervised learning artificial neural network implementation and performance analysis using spreadsheets, and education satisfaction analysis. In this paper, considering the optimization of negative parameters for the sigmoid neural network and the ReLU neuron artificial neural network, we propose a training method for the four performance analysis results on the parameter optimization of the artificial neural network, and conduct a training satisfaction analysis.

• Communications of Mathematical Education
• /
• v.34 no.4
• /
• pp.563-585
• /
• 2020

This study developed teaching-learning materials for mathematics and coding convergence classes using Python, focusing on 'Prime Factorization' of seventh graders. After applying the teaching methods and contents to the students, they analyzed whether the learners achieved their learning goals. The results were used to modify and supplement teaching and learning materials. Affective domain of learners were also analyzed. The results are that the teaching methods and contents of the developed teaching-learning materials were generally appropriate for learners. The learners understood most of the lessons according to the set teaching methods of all classes. And learners have mostly reached their learning goals. In addition, as a result of analyzing the definition characteristics of learners through follow-up interviews, the interest in mathematics and programming has improved. The developed teaching and learning materials of this study are well consisted mostly of the teaching methods and the contents of the classes, and are organized so that learners can reach most of the learning goals. It also brought positive changes to the affective domain of mathematics and coding, demonstrating the potential for useful use in school.