• Journal of Educational Research in Mathematics
• /
• v.8 no.1
• /
• pp.291-298
• /
• 1998

This study deals with the problem of proof education in the middle school geometry bby examining van Hiele#s geometric thought level theory and Freudenthal#s mathematization teaching theory. The implications that have been revealed by examining the theory of van Hie이 and Freudenthal are as follows. First of all, the proof education at present that follows the order of #definition-theorem-proof#should be reconsidered. This order of proof-teaching may have the danger that fix the proof education poorly and formally by imposing the ready-made mathematics as the mere record of proof on students rather than suggesting the proof as the real thought activity. Hence we should encourage students in reinventing #proving#as the means of organization and mathematization. Second, proof-learning can not start by introducing the term of proof only. We should recognize proof-learning as a gradual process which forms with understanding the meaning of proof on the basic of the various activities, such as observation of geometric figures, analysis of the properties of geometric figures and construction of the relationship among those properties. Moreover students should be given this natural ground of proof.

• Proceedings of the Korean Society for Bioinformatics Conference
• /
• 2005.09a
• /
• pp.202-205
• /
• 2005

Cell phenotypes are determined by the concerted activity of thousands of genes and their products. This activity is coordinated by a complex network that regulates the expression of genes. Understanding this organization is crucial to elucidate cellular activities, and many researches have tried to construct gene regulatory networks from mRNA expression data which are nowadays the most available and have a lot of information for cellular processes. Several computational tools, such as Boolean network, Qualitative network, Bayesian network, and so on, have been applied to infer these networks. Among them, Bayesian networks that we chose as the inference tool have been often used in this field recently due to their well-established theoretical foundation and statistical robustness. However, the relative insufficiency of experiments with respect to the number of genes leads to many false positive inferences. To alleviate this problem, we had developed the algorithm of MONET(MOdularized NETwork learning), which is a new method for inferring modularized gene networks by utilizing two complementary sources of information: biological annotations and gene expression. Afterward, we have packaged and improved MONET by combining dispersed functional blocks, extending species which can be inputted in this system, reducing the time complexities by improving algorithms, and simplifying input/output formats and parameters so that it can be utilized in actual fields. In this paper, we present the architecture of MONET system that we have improved.

• Journal of Educational Research in Mathematics
• /
• v.9 no.2
• /
• pp.419-438
• /
• 1999

This paper explored the impact of dynamic geometry software such as CabriII, GSP on student's understanding deductive justification, on the assumption that proof in school mathematics should be used in the broader, psychological sense of justification rather than in the narrow sense of deductive, formal proof. The following results have been drawn: Dynamic geometry provided positive impact on interacting between empirical justification and deductive justification, especially on understanding the necessity of deductive justification. And teacher in the computer environment played crucial role in reducing on difficulties in connecting empirical justification to deductive justification. At the beginning of the research, however, it was not the case. However, once students got intocul-de-sac in empirical justification and understood the need of deductive justification, they tried to justify deductively. Compared with current paper-and-pencil environment that many students fail to learn the basic knowledge on proof, dynamic geometry software will give more positive ffect for learning. Dynamic geometry software may promote interaction between empirical justification and edeductive justification and give a feedback to students about results of their own actions. At present, there is some very helpful computer software. However the presence of good dynamic geometry software can not be the solution in itself. Since learning on proof is a function of various factors such as curriculum organization, evaluation method, the role of teacher and student. Most of all, the meaning of proof need to be reconceptualized in the future research.

• Korean Journal of Artificial Intelligence
• /
• v.8 no.1
• /
• pp.7-9
• /
• 2020

In this paper, a study was conducted to find a self-diagnosis method to prevent the spread of COVID-19 based on machine learning. COVID-19 is an infectious disease caused by a newly discovered coronavirus. According to WHO(World Health Organization)'s situation report published on May 18th, 2020, COVID-19 has already affected 4,600,000 cases and 310,000 deaths globally and still increasing. The most severe problem of COVID-19 virus is that it spreads primarily through droplets of saliva or discharge from the nose when an infected person coughs or sneezes, which occurs in everyday life. And also, at this time, there are no specific vaccines or treatments for COVID-19. Because of the secure diffusion method and the absence of a vaccine, it is essential to self-diagnose or do a self-diagnosis questionnaire whenever possible. But self-diagnosing has too many questions, and ambiguous standards also take time. Therefore, in this study, using SVM(Support Vector Machine), Decision Tree and correlation analysis found two vital factors to predict the infection of the COVID-19 virus with an accuracy of 80%. Applying the result proposed in this paper, people can self-diagnose quickly to prevent COVID-19 and further prevent the spread of COVID-19.

• Journal of Advanced Navigation Technology
• /
• v.15 no.6
• /
• pp.1126-1131
• /
• 2011

As the recent paradigm of education changes to become learner-centered, there is an increasing interest in project based class as one of new teaching models. Universities are accepting this change and aiming at fostering human resources of next generations, who are able to create creative changes, and studies are being actively conducted to that end. This study suggested a learner-centered teaching model which minimizes intervention of teachers in conducting projects of main text contents in designed subjects. This study suggested support system for the suggested model project-based class, team organization method, various interaction methods of learners, and team work monitoring method of teachers. And the suggestions were designed and realized through project management applications using smart phones which are being used by a rapidly growing number of people recently.

• Journal of Information Technology Applications and Management
• /
• v.23 no.3
• /
• pp.13-23
• /
• 2016

In recent years, big data has usefully been deployed by organizations with the aim of getting a better prediction for the future. Moreover, knowledge management systems are being used by organizations to identify and create knowledge. Here, the output from analysis of big data and a knowledge management system are used to develop a new model with the goal of minimizing the cost of implementing new recognized processes including staff training, transferring and employment costs. Strategies are proposed from big data analysis and new processes are defined accordingly. The company requires various skills to execute the proposed processes. Organization's current experts and their skills are known through a pre-established knowledge management system. After a gap analysis, managers can make decisions about the expert arrangement, training programs and employment to bridge the gap and accomplish their goals. Finally, deduction graph is used to analyze the model.

• Research in Mathematical Education
• /
• v.5 no.2
• /
• pp.107-118
• /
• 2001

Mathematics subject of the seventh national curriculum in Korea, which has been effective since 2000, strongly encourages the use of calculators and computers to help children gain a better understanding of basic mathematical concepts and develop creative thinking and problem-solving skills without spending too much time and effort on making mechanical computations. Despite the recommendation by the national curriculum, however, only a small segment of elementary school teachers have been using calculators because of the fear that children\\`s dependence on calculators might bring about negative consequences. As a result, little research has been conducted in this area as well. This study has been conducted on the assumption that calculators have the potential for being a useful instructional tool in certain areas of elementary school mathematics education. To investigate the usefulness of calculators, a review was made of the scanty literature in the area. The literature review indicated that calculators are effective when they are used for the following purposes: understanding concepts and properties in numbers and operations, deducing mathematical rules, and solving problems. In view of the available research finding, we will give some concrete learning and teaching models of such uses of calculators. The teaching-learning models are organized around three categories: concept formation, discovery of principles and rules, and problem solving. Such organization is intended to help teachers use the models with ease.

• Journal of Educational Research in Mathematics
• /
• v.11 no.2
• /
• pp.239-256
• /
• 2001

The notion of metaphor has been increasingly popular in research of mathematics education. In particular, metaphor becomes a useful unit for analysis to provide a profound insight into mathematical reasoning and problem solving. In this context, this paper takes metaphor as an analytic unit to examine the relationship between objectivity and subjectivity in mathematical reasoning. Specifically, the discourse analysis focuses on the code switching between literal language and metaphor in mathematical discourse. It is shown that the linguistic code switching is parallel with the switching between two different kinds of mathematical knowledge, that is, factual knowledge and mathematical imagination, which constitute objectivity and subjectivity in mathematical reasoning. Furthermore, the pattern of the linguistic code switching reveals the dialectical relationship between the two poles of mathematical reasoning. Based on the understanding of the dialectical relationship, this paper provides some educational implications. First, the code-switching highlights diverse aspects of mathematics learning. Learning mathematics is concerned with developing not only technicality but also mathematical creativity. Second, the dialectical relationship between objectivity and subjectivity suggests that teaching and teaming mathematics is socioculturally constructed. Indeed, it is shown that not all metaphors are mathematically appropriated. They should be consistent with the cultural model of a mathematical concept under discussion. In general, this sociocultural perspective on mathematical metaphor highlights the sociocultural organization of teaching and loaming mathematics and provides a theoretical viewpoint to understand epistemological diversities in mathematics classroom.

• Journal of the Korean Institute of Educational Facilities
• /
• v.22 no.3
• /
• pp.3-11
• /
• 2015

Under the establishment and operating regulations of school presented only minimum standard for the founding of the school. Therefore, It is intended to suggest the reasonable space standard of the school facility, through comparison & analysis of facility standard in each city and provincial education office. Especially, The facilities standard of Chungcheongbuk-do Office Of Education has been exceeded standardization of architectural space which is proposed the Ministry of Education, and they has made the various learning space reflected creative ideas by designing all of the new school competition since 2000. In order to deal with reacting the changing method of studying like as the examples of Middle & High school in Chungcheongbuk-do, they need to set aside the enough required area for a head of students and the common space which is more than 40% in the total area according to the various learning space, securing the supporting facilities, and break & movement of the students. Moreover, Each of the city and provincial education offices are needed to establish the standardization of proper area for space organization of the planned school throughout upcoming competition.

• Journal of Korean Society for Quality Management
• /
• v.45 no.4
• /
• pp.903-916
• /
• 2017

Purpose: The paper analyzes empirically the causal relationship between customer-oriented Quality circle activities and Business Performance for Korean service firms. We compare the operational characteristic behavior of the service firms and business performance. Methods: In this study, we used 3 variables, QC activities, Employee commitment and business performance. Especially, Service SME's QC Circle activities were analyzed in related with growth of company on the basis activities such as Leadership(team), improvement activity, Organizational learning, customer-focus activity and employee suggestion. Results: The result of analysis showed that employee commitment affected significantly on financial performance and non-financial performance and in turn, improvement activities, Organizational learning and customer-focus activity affected significantly on business performance (financial and non-financial). Conclusion: In the summary of the characteristics of this study based on the research results, first, segmenting the QCC activities in the service business into 5 elements can be considered to be differentiated from the existing researches in the aspect of utilizing the organization's objective-oriented variables differently from the researches utilized the variables related personal characteristics. Second, this study suggested the recent research results that suggested the problems of the QCC clearly, through which what new QC story approach was suggested has working level value in the aspect of activating the service QCC.