• Journal of Educational Research in Mathematics
• /
• v.23 no.4
• /
• pp.567-584
• /
• 2013

In school mathematics, the concept of continuous functions has been intuitively taught. Many researches reported that many students identified the continuity of function with the connectedness of the graphs. Several researchers proposed some ideas which are enhancing the formal aspects of the definition as alternative. We analysed the historical developments of the concept of continuous functions and drew pedagogical implications for the intuitive teaching of continuous functions from the result of analysis.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.46-48
• /
• 2001

웹 캐슁은 캐쉬 액새스턱 통해 웹 서버와 네트워크의 부하를 감소시켜 웹 응용을 가속화하는 중요한 기술이다. 전통적인 데이타 캐슁과 마찬가지로, 웹 캐슁은 캐쉬 일관성 유지라는 문제를 안고 있다. 그러나, 기존의 캐슁과는 달리 웹 캐슁에서는 웹 서버 데이타 갱신을 지연하여 반영하는 약 일관성이 허용된다. 이러한 조건은 TTL(time-to-live, 캐쉬 서버가 캐쉬된 데이타 아이템이 유효하다고 기대하는 시간)이 일관성 유지를 위해 사용되는 것을 허용한다. 이것은 효과적인 TTL 추정방법의 개발이 필요하도록 하였다. 그러나, 현재가지 소개된 두 가지 추정 방법(고정 TTL방법과 휴리스틱 방법)은 직관적 해석이 어렵고, 이론적인 추정근거가 빈약하다. 본 논문에서는 이러한 단점을 보완하기 위하여 확률적 분석에 기 반하여 정형적이고, 직관적인 의미를 갖는 위험도 기반 TTL 설정 방법을 제안한다. 이 방법에서는 위험도를 TTL 이내에 원본 데이타가 갱신될 확률로 정의하고, 갱신분포를 포아송 과정으로 가정한 후, 주어진 위험도를 TTL 식을 유도한다. 위험도 기반 TTL 설정 방법은 기존방법과 비교하여 위험도란 개념을 통하여 보다 직관적이고, 확률적 유도를 통하여 TTL 설정방법은 기존방법과 비교하여 위험도란 개념을 통하여 보다 직관적이고, 확률은 유도를 통하여 TTL 설정에 대한 이론적인 근거를 제공한다.

• Journal for History of Mathematics
• /
• v.18 no.2
• /
• pp.23-30
• /
• 2005

Intuition has played an important role in process of invention of mathematics and given understanding of mathematical truth and the direction of solution. So, I review about intuition in history of mathematical philosophy and mathematics because we need systematic research about intuition for search of the methods for enhancement of intuition in mathematics education. According to the research of scholars who emphasize intuitive education, intuition is common feature which everybody hold and is not special feature which particular person hold. In addition, intuition is universal ability that can enhance by proper instruction. So, we have to emphasize the importance of the development of intuition and education which emphasize creative thought via intuition.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2008.04a
• /
• pp.311-312
• /
• 2008

Fuzzy logic is introduced by Zadeh in 1965. It has been continuously developed by many mathematicians and knowledge engineers all over the world. A lot of papers concerning with the history of mathematics and the mathematical education related with fuzzy logic, but there is no paper concerning with Zadeh. In this article, we investigate his life and papers about fuzzy logic. We also compare two-valued logic, three-valued logic, fuzzy logic, intuisionistic logic and intuitionistic fuzzy sets. Finally we discuss about the expression of intuitionistic fuzzy sets.

• Communications of Mathematical Education
• /
• v.8
• /
• pp.91-105
• /
• 1999

직관력은 현대와 같이 급변하는 사회에서 어떤 문제의 상황을 전체적으로 파악하거나 그 본질을 인식하는데 매우 중요하다. 특히 공간 직관력은 매일을 공간 속에서 생활하고 있는 우리에게는 더욱 소중한 교육적 대상이 된다. 공간 직관력은 눈에 보이는 구체물이나 감각적으로 받아들여진 사물을 통하여 그 배후에 있는 공간으로서 추상적, 이상적인 것을 감지할 수 있는 힘이다. 수학교육학적 관점에서 보면 공간 직관력에는 시각화(도형을 인식하는 능력, 도형을 구성하는 능력 등), 공간적 관계(도형이나 공간의 확장을 이해하는 능력 등), 공간적 방향 파악(위치를 파악하는 능력 등)을 포함한다. 본 연구에서는 이들 공간 직관력을 육성하기 위하여 초등학교 교육과정과 연계하여 적절한 학습 내용 및 방법을 고찰하고자 한다.

• Journal of the Korea Computer Graphics Society
• /
• v.12 no.2
• /
• pp.1-7
• /
• 2006

블렌드 쉐입 기반 얼굴 애니메이션을 위해 기저 모델(Expression basis)을 생성하는 방법을 크게 두 가지로 구분하면, 애니메이터가 직접 모델링을 하여 생성하는 방법과 통계적 방법에 기초하여 모델링하는 방법이 있다. 그 중 애니메이터에 의한 수동 모델링 방법으로 생성된 기저 모델은 직관적으로 표정을 인식할 수 있다는 장점으로 인해 전통적인 키프레임 제어가 가능하다. 하지만, 표정 공간(Expression Space)의 일부분만을 커버하기 때문에 모션데이터로부터의 재복원 과정에서 많은 오차를 가지게 된다. 반면, 통계적 방법을 기반으로 한 기저모델 생성 방법은 거의 모든 표정공간을 커버하는 고유 얼굴 모델(Eigen Faces)을 생성하므로 재복원 과정에서 최소의 오차를 가지지만, 시각적으로 직관적이지 않은 표정 모델을 만들어 낸다. 따라서 본 논문에서는 수동으로 생성한 기저모델을 유사 고유 얼굴 모델(Quasi-Eigen Faces)로 변형하는 방법을 제시하고자 한다. 결과로 생성되는 기저 모델은 시각적으로 직관적인 얼굴 표정을 유지하면서도 통계적 방법에 의한 얼굴표정 공간의 커버 영역과 유사하도록 확장할 수 있다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.5 no.4
• /
• pp.73-80
• /
• 2000

In this thesis we present the way of visually intuitive interface to the web site users through the comparison of NIN web site with clearly intuitive web site. Improving the web site which has NIN problem to visually intuitive we can achieve web site's visitors who want to buy something got a feeling of graphical excellence and understand web site navigational structure easily through the intuitive navigational design and complete purchasing easily therefore these are to be the basis of the internet business systems goal which is assumed as business success. In a experiment we examine web site's case study and to make an implementation we use flash to solve NIN problem which is improved in a visually intuitive.

• Korean Journal of Logic
• /
• v.14 no.2
• /
• pp.39-76
• /
• 2011

We explain some basic elements of Martin-L$\ddot{o}$f's type theory and examine the distinction between propositions and judgments. In section 1, we introduce the problem. In section 2, we explain the concept of proposition in the intuitionistic type theory as a development of the intuitionistic conception of proposition. In section 3, we explain the concept of judgment in the intuitionistic type theory. In section 4, we explain some basic inference rules and examine a particular derivation in the theory. In section 5, we examine one route from the Fregean distinction between propositions and judgments to the distinction between them in the intuitionistic type theory, paying attention to the alleged necessity for introducing different forms of judgments.

• Journal of Elementary Mathematics Education in Korea
• /
• v.14 no.2
• /
• pp.197-215
• /
• 2010

Intuition plays an important role in the mathematical education as well as the process of invention in mathematics. And many mathematics educators became interested in intuition in mathematics education. So we need to analyze the effect of the characters of intuition of elementary students. In this study, the questionnaire and the interview were used. The subjects were 6 grade-103 students in the questionnaire. They were asked to solve the problems in the questionnaire which was designed by the researcher and to describe the reasons why they answered like that. Students are effected directly by the characters of intuition, ie self-evidence, intrinsic certainty, implicitness, etc. And the effect come from intuitive and ordinary experiences and the results of previous learning. In conclusion, we have to be interested in teaching via intuition and to control the effect of the characters of intuition.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.458-460
• /
• 2003

이 논문에서는 게임에서 인공지능 구현에 많이 사용되는 FSM(Finite State Machine)을 이용하여 다양한 인격의 NPC(Non-Player Character)를 생성함에 있어서, 게임 디자이너의 NPC 패턴 설계에 도움을 주기위해, 직관적인 FSM 상태 모델링 에디터를 설계하고자 한다. 이 툴을 이용하여, FSM의 각 상태와 상태의 변이에 따른 여러 가지 반응을 게임 디자이너가 직관적으로 알 수 있도록 함으로써 보다 다양한 인격을 가진 NPC를 생성할 수 있을 것으로 기대된다.