• Journal of Educational Research in Mathematics
• /
• v.18 no.4
• /
• pp.455-467
• /
• 2008

We need to reflect the establishment of meaning and level of 'proof and argumentation in middle school mathematics'. It should be considered as human activity through communication in community. Thus, we should design instruction from this standpoint. From this point of view, we had been operated 'Geometry Inquiry Class' aimed at middle school students in eighth grade for two years to improve current geometry class in middle school. In this study, we will observe how individual students' original proof schemes are developed and accepted to the class through the process of mutual negotiation between the teacher and students. The episode with four phases begins with the initial proof schemes students have offered. Through the negotiation of class participants, it gives birth to the proof scheme unique to the current geometry classroom. Why do we pay attention to the process? It is because we think that the value of this type of instruction lies in the process of communication and mutual understanding and mutual reference, not in the completeness of the final product. This is the very appropriate proof in the middle school mathematics classroom.

• Journal for History of Mathematics
• /
• v.19 no.4
• /
• pp.63-80
• /
• 2006

Along with natural and algebraic languages, schema is a fundamental component of mathematical language. The principal purpose of this present study is to focus on this point in detail. Schema was already in use during Pythagoras' lifetime for making geometrical inferences. It was no different in the case of Oriental mathematics, where traces have been found from time to time in ancient Chinese documents. In schma an idea is transformed into something conceptual through the use of perceptive images. It's heuristic value lies in that it facilitates problem solution by appealing directly to intuition. Furthermore, introducing schema is very effective from an educational point of view. However we should keep in mind that proof is not replaceable by it. In this study, various schemata will be presented from a diachronic point of view, We will show with emaples from the theory of categories, Feynman's diagram, and argand's plane, that schema is an indispensable tool for constructing new knowledge.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.7 no.3
• /
• pp.398-403
• /
• 2006

In this paper, we describe a fuzzy threshold selection technique for feature extraction in digital color images. this is achieved by the formulation a fuzzy inference system that evaluates threshold for feature configurations. The system uses two fuzzy measures. They capture desirable characteristics of features such as dependency of local intensity and continuity in an image. We give a graphical description of a nonlinear sketch feature extraction filter and design the fuzzy inference system in terms of the characteristics of the feature. Through the design, we provide selection method on the choice of a threshold to achieve certain characteristics of the extracted features. Experimental results show the usefulness of our fuzzy threshold inference approach which is able to extract features without human intervention.

• Journal of KIISE:Databases
• /
• v.31 no.5
• /
• pp.445-456
• /
• 2004

The database schema is assumed to be stable enough to remain valid even as the modeled environment changes. However, in practice. data models are not nearly as stable as commonly assumed by the database designers. Even though a rich set of schema change operations is provided in current database systems, the users suffer from the problem that schema change usually impacts existing application programs that have been written against the schema. In this paper, we are exploring the possible solutions to overcome this problem of impacts on the application programs. We believe that for continued support of the existing programs on the old schema, the old schema should continue to allow updates and queries, as before. Furthermore, its associated data has to be kept up-to-date. We call this the program independency property of schema change tools. For this property. we devise so-called program independency schema evolution (PISE) methodology. For each of the set of schema change operations in the relational schemas, the sketch of the additional algorithms due to the PISE compliance is presented in order to prove the comprehensiveness and soundness of our PISE methodology.

• The Journal of Korean Philosophical History
• /
• no.35
• /
• pp.131-164
• /
• 2012

This paper is to make a generalization of Keyongyegimunrok(經義記聞錄) by Namdang Han Wonjin(1682~1751) whose historical positions of philosophy were contained, and to examine its established periods and the summaries of Ligi-Simseong Doseol(理氣心性圖說, illustrated Account of principle, Vital force, and Heart-mind) given in Appendix of Chap. 6. Total seventeen explanatory diagrams cover over the theory of principle and material force, theory of Heart-mind, theory of cultivation. These explanatory diagrams were produced systematically and easily to understand the pursuits of study, so-called Ho-hak(湖學), since Namdang becoming a member of the Yellow River(黃江) school. The philosophical argumentations of Namdang was usually succeeded by the orthodox stream of Ki-ho(畿湖) School transmitted from Ii, Song Si-yeol, Gwon Sang-ha. Ligi-wollyu-do(理氣源流圖), Ligi-dongjeong-do(理氣動靜圖), irwon-bunsu-do(一原分殊圖, 4 diagrams) are diagrams equivalent to Ki-ho School's ontology. As Ki-ho School's theory of Heart-mind, there are Seongjeong-hoenggan-do(性情橫看圖), Seongjeong-sugan-do(性情竪看圖), Seongjeong-chonghwoi-do(性情總會圖), Oseonghoju-do (五性互主圖), Oseongchubon-do(五性推本圖), Simseongmyohap-do (心性妙合圖), Simseongiji-do(心性二岐圖), Jungyongcheonmyeong-do(中庸天命圖), Insim dosim-do(人心道心圖), focusing on Simtongseongjeong-do(心統性情圖), and last diagram is Wihakjibang-do(爲學之方圖), which adapted from the diagram established by Ii and Song Si-yeol. The significance of Keyongyegimunrok(經義記聞錄) is comprehensive of the pursuits of the Yellow River school's studies, and provides evidence of a leading figure in Ho-hak.