• Journal of Educational Research in Mathematics
• /
• v.16 no.2
• /
• pp.95-113
• /
• 2006

The study tries to differentiate the levels of mathematical reasoning from inductive reasoning to formal reasoning for teaching gradually. Because the formal point of view without the relation to objects has limitations in the creation of a new knowledge, our mathematics education needs consider the such characteristics. We propose an intuitive level of proof related in concrete operations and perceptual experiences as an intermediating step between inductive and formal reasoning. The key activity of the intuitive level is having insight on the generality of reasoning. The details of the process should pursuit the direction for going away from objects and near to formal reasoning. We need teach the mathematical reasoning gradually according to the appropriate level of reasoning more differentiated.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.1542-1545
• /
• 2011

형식개념분석기법(FCA : Formal Concept Analysis)은 주어진 데이터로부터 공통속성을 갖는 객체들을 클러스터링하여 정보의 최소단위로써 개념(Concept)들을 추출하고 그들 사이의 관계를 토대로 계층화하여 데이터에 내재된 개념들의 구조를 가시화 해주는 Granular Computing의 한 종류이다. 형식 개념분석기법에서는 공통속성을 갖는 객체들을 추출한다는 전제조건을 토대로 개념을 추출하기 때문에 다양한 상황이나 조건에 적합한 새로운 개념들을 추출하기에는 한계가 있다. 이와 같은 문제를 해결하기 위한 한 가지 방법으로써, 본 논문에서는 입자화 정도(granularity level)를 기반으로 하는 형식 개념분석기법을 제안한다. 본 논문에서 제안하는 기법에서는 형식개념분석기법에 입자화 정도를 도입하여 다양한 조건과 추상화 수준을 토대로 하여, 개념들을 추출하고 개념계층구조를 구축할 수 있다.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.1
• /
• pp.19-30
• /
• 2012

Based on the internet-based infrastructures such as various information devices, social network systems and cloud computing environments, distributed and sharable data are growing explosively. Recently, as a data analysis and mining technique for extracting, analyzing and classifying the inherent and useful knowledge and information, Formal Concept Analysis on binary or many-valued data has been successfully applied in many diverse fields. However, in formal concept analysis, there has been little research conducted on analyzing interval data whose attributes have some interval values. In this paper, we propose a new approach for classification of interval data based on the formal concept analysis. We present the development of a supporting tool(iFCA) that provides the proposed approach for the binarization of interval data table, concept extraction and construction of concept hierarchies. Finally, with some experiments over real-world data sets, we demonstrate that our approach provides some useful and effective ways for analyzing and mining interval data.

• Trans-
• /
• v.1
• /
• pp.67-89
• /
• 2016

This study aims to examine the present (Western) modern dance by analyzing the works of three choreographers who are currently at the forefront of the dance scene to identify and understand the current choreographic trend. The three selected choreographers for this study are Justin Peck (USA), Sidi Larbi Cherkaoui (Belgium) and Zach Morris (USA). These choreographers were chosen on the basis of their significant identity within the current dance scene. For analysis, one noteworthy works of each choreographer were selected for video analysis. The result of the analysis illustrates that in the current era of promoting technology convergence in the performing arts industry, the three choreographers approach convergence differently by integrating dance and other mediums in their choreography. Peck converges between ballet and the ordinary, Cherkaoui converges between dance and other cultures and Morris converges between dance and venue.

• School Mathematics
• /
• v.11 no.3
• /
• pp.513-526
• /
• 2009

The purpose of this paper intuitively shows the exact and logical explanation of Independent Event and Dependent Event. In actual classrooms, teachers have difficulty in describing the connection between those events and real life. Some teachers have wrong perceptions on the definition of those events. For example, they may not realize exactly what P(B A)=P(B) means and may not explain intuitively the original meaning of why it is independent event. Also they believe that Independent Event and Dependent Event do not always match with real life. This paper, therefore, tries to prove intuitively the exact meanings of those events in the Verbal Form with some examples and it proves that those events exactly match with real life. It is expected that this paper will greatly contribute to the improvement of probability education.

• The Journal of the Korea Contents Association
• /
• v.11 no.1
• /
• pp.165-175
• /
• 2011

The purpose of this research is to investigate the possibility of creating new theatrical contents by performance anthropological approach. Today's traditional performing arts are historically descended and developed in the forms of Ahk, Hee, and Geuk. Among those, Dongrae-yaru is a traditional mask dance, handed down in Dongrae, Pusan and appointed as the 18th intangible cultural asset. Its performance is carried out in the juxtaposition of Ahk, Hee, and Geuk. Korean theatre in the 21st century seems going back to realism after going through post-modern cultural phenomenons. However, the quest for alternative theatre is raised higher than ever. As a part of this strive, this paper asserts the traditional performing arts should be investigated as an alternative and new theatrical form. Among those traditional performing arts, Dongrae-yaru is selected for its well balanced combination of Ahk, Hee, and Geuk. The study examines in depth how each element of Ahk, Hee, and Geuk, they are expressed in forms of folk music, refined dance, jest, satire, wit. Its investigation on the stage adaptation provides the possibility for the new style and codification as the new theatre contents.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.31 no.2A
• /
• pp.51-58
• /
• 2011

The objective of this research aims at improving the structural and economical efficiency of small and medium-span reinforced concrete bridge slab with the Inverted-T girders (hereinafter, called as IT). This IT method has an advantage over minimizing the construction process which could cause environmental pollution and traffic congestion. Especially it is thought that this new composite bridge slab with IT girders has better aesthetic view and visibility than existing old bridges, and is also a good methodology to solve labor shortage problems due to coming aging society. Therefore, this IT method should be one of very effective construction technologies to improve the constructibility and to reduce the construction cost.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.17 no.2
• /
• pp.98-105
• /
• 2005

A new type breakwater is developed for small scale harbors and fishing ports with low design wave and soft ground. The structure of the developed breakwater is similar to the soldier pile used in soil excavation. Structural performance of the new type breakwater can not be accurately evaluated by numerical analysis due to nonlinearity of joints between piles and honelasticity of soil support. Therefore, this paper investigates the structural performance of the breakwater with experimental method and compares the results with numerical analysis.

• The KIPS Transactions:PartB
• /
• v.18B no.5
• /
• pp.325-332
• /
• 2011

Social Network Services(SNS) such as Twitter, Facebook and Myspace have gained popularity worldwide. Especially, sentiment analysis of SNS users' sentence is very important since it is very useful in the opinion mining. In this paper, we propose a new sentiment classification method of sentences which contains formal and informal vocabulary such as emoticons, and newly coined words. Previous methods used only formal vocabulary to classify sentiments of sentences. However, these methods are not quite effective because internet users use sentences that contain informal vocabulary. In addition, we construct suggest to construct domain sentiment vocabulary because the same word may represent different sentiments in different domains. Feature vectors are extracted from the sentiment vocabulary information and classified by Support Vector Machine(SVM). Our proposed method shows good performance in classification accuracy.

• KOMUNHWA
• /
• no.61
• /
• pp.67-93
• /
• 2003

The bronze hand knife is classified into 10 types in Liao-Ning and Ji-Lin provinces in the Bronze Ages; Bronze hand knife with hanging knob in the handle(Type A), with handle similar to the kitchen knife handle(Type B), with spoon-shaped ornament on the e