• The Mathematical Education
• /
• v.42 no.4
• /
• pp.481-501
• /
• 2003

The main purpose of this work is to propose programs of algebra courses for the department of mathematics education of teacher training universities. Set Theory, Linear Algebra, Number Theory, Abstract Algebra I, Abstract Algebra II, and Philosophy of Mathematics for School Teachers are discussed in this article.

• Journal of the Korean School Mathematics Society
• /
• v.3 no.1
• /
• pp.211-217
• /
• 2000

본 논문의 목적은 G. Cantor 에 의하여 출발된 집합론을 보통집합 이론이라고 구별하여 부를 때, 보통 집합 이론이 그 바탕에 깔고 있는 논리적 제한 점들 곧, 배중률이라든지 모순의 법칙 등을 어떻게 보완할 수 있을 것인가\ulcorner 하는 점과 그러한 점을 보완하여야 할 필요성에 대하여도 생각하고자 한다. 그런 관점에서 보통집합 이론과 퍼지집합 이론의 기본개념을 상호 비교함으로써 앞서 제기한 문제의 보완 요소를 찾아보려고 한다. 실제에 있어 인간의 사고 가운데에서는 중간을 배제하는 일이 없음에도 불구하고 이를 수학적으로 접근하고 표현하는 수단이 부족함으로 인하여 부자연스러운 논리의 법칙을 받아들일 수밖에 없었던 것도 사실이다. 특히, 논리적 응용력이 부족한 중등과정의 학생들에게 있어서 수학이 전적으로 2가 논리에 의하여 지배되고 있다는 방식으로만 지도하는 것은 여러 가지 측면에서 그 내용의 보완이 요구된다. 보다 다양한 수학적 표현의 여지를 열어주는 지도법은 쉼없이 연구되어야 할 것이다. 무엇보다도 배우는 학생들이 보다 폭 넓은 사고의 영역을 소유하고, 그를 바탕으로 창의적이고 자유로운 발상이 이어 질 수 있도록 하기 위하여는 교사의 수학적 시야가 보다 넓고 유연해져야 한다함은 재론할 필요가 없을 것이다. 그런 의미에서 본 논문이 작은 역할을 할 수 있기를 바란다.

• The Korean Journal of Applied Statistics
• /
• v.3 no.1
• /
• pp.79-87
• /
• 1990

The problem of selecting a nonempty subset of K(>2) normal means with unknown variances has been studies by many authors. But the comparisions of the properties and the efficiencies of the proposed subset selection procedures have not been carried out. Thus we investigate properties of the proposed procedures and compare their performances for various cases.

• Communications of Mathematical Education
• /
• v.10
• /
• pp.519-528
• /
• 2000

최근 10 여년 동안 교육 현장의 각 부분에 여러 가지 종류의 테크놀로지가 도입되면서, 교육의 내용과 방법에 있어서 점진적인 변화가 나타나고 있다. 예를들어, 수학 과목에 있어서는 그래픽 계산기, 도형 및 기하 학습 프로그램, 스프레드 시트, 함수 그래픽 프로그램 등의 도입으로 교과 과정 전반에 걸친 변화가 일고 있는데, 처음에는 이들 테크놀로지가 단순히 기존의 수업에서 수많은 반복을 요하거나, 지필식 방식으로는 정확하게 나타내기 어려운 도형이나 그래프를 빠르고 정확하게 그려내주는 보조수단으로 사용되었지만, 시간이 지나면서 이들 테크놀로지에 대한 활용도가 높아지게 되고, 이들 테크놀로지에 대한 교사들의 활용능력이 증대됨에 다라서, 이러한 테크놀로지가 단순한 보조수단에 머무르지 않고 주지에 기술이나 개념을 설명하는 방법 자체를 변화시키고 있다. 예를들어, 함수 교육에 있어서 그래픽 프로그램이 사용될 때에도, 초기 단계에서는 이들 함수의 개념을 설명할 때에는 거의 집합론이나 대수학적인 방법을 이용하였고, 최종 단계로 이들 함수를 좌표계 위에 표현하기 위한 보조수단으로 잠깐씩 사용되는 경우가 대부분이었으나, 최근들어서는 함수 학습의 초기과정부터 곧바로 이들 그래프 프로그램을 적극적으로 도입하여 학습자로 하여금 다양한 그래프 조작을 하게 함으로써, 어려운 집합론이나 대수학적인 개념을 도입하지 않고서도 함수에 대한 개념을 시각적으로 직관적으로 파악하도록 하는 학습 방안들이 제시되고 있는 것이다. 본 고에서는 현행 중고등학교 함수 교육 과정에서 그래프에 대한 다양한 조작 기능을 제공함으로써 학습자로 하여금, 제시되는 함수에 대한 시각적이고 직관적인 이미지를 가질 수 있도록 하기 위해서 개발된 ‘그래프 마법사’라는 프로그램을 소개하고자 한다.

• Journal of the Korean Vacuum Society
• /
• v.10 no.2
• /
• pp.201-206
• /
• 2001

The evolution of textures in Fe-Ni alloy thin films fabricated by PVD using a sputtering method was investigated with parameters such as deposition time and chemical composition. The textures of the as-deposited films were characterized by fibre-type. In Invar alloy(Fe-36.5 wt%Ni) thin film, the <110>//ND fibre texture as a starting component changed to the <210>//ND fibre texture with increasing deposition time. In Permalloy(Fe-81 wt%Ni) thin film, a mixture of the <221>//ND and <311>//ND fibres developed at the early stage of deposition, and then transformed to the <210>//ND fibre with increasing deposition time. These texture changes were discussed in terms of relationship with the microstructural evolution of the films.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 1999.10a
• /
• pp.185-193
• /
• 1999

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.592-594
• /
• 2001

본 논문은 절차지향 소프트웨어로부터 클래스와 상속성을 추출하기 위한 방법론을 제안한다. 본 논문에서 제안한 방법론은 모든 경우의 클래스 후보군과 그들의 상속성을 생성하여 클래스 후보군과 영역 모델 사이의 관계성과 유사 정도를 가지고 최고 또는 최적의 클래스 후보군을 선택하는데 초점을 둔다. 클래스와 상속성 추출 방법론은 다음과 같은 두드러진 특징을 가지고 있다: 정적(속성)과 동적(메소드)인 클러스터링 방법을 사용하고, 클래스 후보군의 경우는 추상화에 초점을 두며, m개의 클래스 후보와 n개의 클래스 후보 사이의 상속 관계의 유사도 측정 즉, 2차원적 유사도 측정은 m개의 클래스 후보와 n개의 클래스 후보 사이의 전체 그룹에 대한 유사도를 구하는 수평적 측정과 클래스 후보군들에서 상속성을 가진 클래스의 집합과 영역 모델에서 같은 클래스 상송성을 가진 클래스 집합사이의 유사도를 위한 수직적 측정방법이 있다. 이러한 방법론은 최고 또는 최적의 클래스 후보군을 선택하기 위해 제공학 전문가에게 광범위하고 통합적인 환경을 제시하고 있다.

• KIISE Transactions on Computing Practices
• /
• v.21 no.11
• /
• pp.733-738
• /
• 2015

User demographic information is necessary in order to improve the quality of personalized services such as recommendation systems. Mobile data, especially text data, is known to be effective for prediction of user demographic information. However, mobile text data has privacy issues so that its utilization is limited. In this regard, we introduce an on-device gender prediction framework utilizing mobile text data while minimizing the privacy issue. Discriminative word and emoticon sets of each gender are constructed from web documents written by authors of each gender. After gender prediction is performed by comparing discriminative word and emoticon sets with a user's mobile text data, an ensemble method that combines two prediction results draws a final result. From experiments conducted on real-world mobile text data, the proposed on-device framework shows promising results for gender prediction.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2004.04a
• /
• pp.303-306
• /
• 2004

기존의 퍼지 규칙에 기반을 둔 퍼지 다항식 뉴론(FPN)들로 구성된 SOFPNN은 데이터 수가 적고 비선형 요소가 많은 시스템에 대한 체계적이고 효율적인 최적 모델 을 구축할 수 있었으며 각 층 노드의 선택 입력을 변화시킴으로써 네트워크 구조 전체의 적응능력을 향상 시켰다. 유전자 알고리즘을 이용하여 자기구성 퍼지 다항식 뉴럴 네트워크의 입력변수의 수와 이에 해당되는 입력변수 그리고 규칙 후반부 다항식의 차수를 탐색하여 최적 의 자기구성 퍼지 다항식 뉴럴 네트워크를 구축한다. 그러나, SOFPNN의 기본 뉴론인 퍼지 규칙 기반 다항식 뉴론의 경우 입력변수가 많아질수록 규칙수가 기하급수적으로 증가한다는 단점을 가지고 있으나 본 노문에서 제안한 퍼지 집합 기반 다항식 뉴론(FSPN)의 규칙수는 입력 변수들이 서로 독립적이므로 규칙의 증가가 퍼지 규칙 기반 다항식 뉴런보다는 적다는 장점을 가지고 있다. 이러한 특성을 기반으로 기존의 SOFPNN의 노드에 퍼지 규칙 기반 다항식 뉴런 대신에 퍼지 집합 기반 다항식 뉴런을 적용한 SOFPNN을 제안하여 기존의 SOFPNN과 성능을 비교하였다. 최적의 자기 구성 퍼지 집합기반 다항식 뉴럴 네트워크를 구축하기 위하여 SOFPNN에서처럼 유전자 알고리즘을 이용하여 네트워크의 입력변수의 수와 이에 해당되는 입력변수 그리고 규칙 후반부 다항식의 차수를 탐색하였다.

• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.59-76
• /
• 2011

Starting from a collection V as a model which satisfies the axioms of NBG, we call the elements of V as sets and the subcollections of V as classes. We reconstruct the G$\ddot{o}$del's proof of the consistency of GCH and AC with the axioms of Zermelo-Fraenkel set theory by using Mostowski-Shepherdson mapping theorem, reflection principles in Tarski-Vaught theorem and Montague-Levy theorem and the fact that NBG is a conservative extension of ZF.