• 한국수학교육학회지시리즈A:수학교육
• /
• 제42권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.

• 한국학교수학회논문집
• /
• 제3권1호
• /
• pp.211-217
• /
• 2000

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

• 응용통계연구
• /
• 제3권1호
• /
• pp.79-87
• /
• 1990

표본의 크기가 동일하지 않으면서 등분산이 기지 또는 미지인 경우 k개의 정규모집단의 평균에 대한 부분집합선택절차론은 여러 사람들에 연구되었으나 제안된 부분집합선택절차들의 성질과 효율성을 비교한 결과가 미흡하다. 본 고에서는 제안된 특성을 조사하고 여러 가지 형태에서 효율성을 비교하였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제10권
• /
• pp.519-528
• /
• 2000

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

• 한국진공학회지
• /
• 제10권2호
• /
• pp.201-206
• /
• 2001

본 연구에서는 RF 마그네트론 스퍼터링 방법을 이용하여 저탄소강 기판에 증착시킨 Fe-Ni계 합금 박막의 집합조직 발달을 조사하였다. Fe-Ni 합금 조성은 산업적 응용을 고려하여 인바합금(Invar alloy, Fe-36.5 wt%Ni)과 퍼멀로이(Permalloy, Fe-81 wt%Ni) 두 종류로 선택하였고, 증착시간을 변수로 제작하였다. 이들 합금 박막의 집합조직은 박막에서 전형적으로 나타나는 섬유집합조직(fibre texture)의 형태로 발달하였다. 인바합금 박막에서는 증착 초기에 <110>//ND 섬유집합조직이 발달하지만 증착시간이 증가함에따라 <210>//ND 섬유집합조직으로 변화하였다. 퍼멀로이 박막은 증착초기에 <221>//ND+<311>//ND의 혼합 집합조직을 나타내며 증착시간의 증가와 함께 <210>//ND 섬유집합조직으로 변화하였다. 이러한 집합조직의 변화를 박막의 미세조직의 진화와의 연관성이란 측면에서 고찰하였다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 1999년도 추계학술대회-지능형 정보기술과 미래조직 Information Technology and Future Organization
• /
• pp.185-193
• /
• 1999

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.592-594
• /
• 2001

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

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권11호
• /
• pp.733-738
• /
• 2015

사용자의 인구통계학적 정보는 추천 시스템과 같은 개인화 서비스 발달에 도움이 되며, 모바일 사용 데이터는 사용자의 인구통계학적 정보 예측에 활용될 수 있다. 특히 텍스트 데이터는 성별 예측에 효과적인 것으로 알려져 있지만, 모바일 텍스트 데이터는 프라이버시 이슈가 존재하여 그 활용이 제한되고 있다. 본 연구에서는 디바이스 내 예측 방법론을 제안하여 모바일 텍스트 데이터를 사용하면서 프라이버시 이슈를 최소화는 동시에 사용자의 성별을 효과적으로 예측하고자 한다. 우선, 성별에 따른 특징이 반영된 웹문서를 수집하여 각 성별에 따른 특징적 단어 집합과 특징적 이모티콘 집합을 구성한다. 단어 집합과 이모티콘 집합을 디바이스 내에서 사용자의 모바일 데이터와 비교하여 성별을 각각 예측하고, 두 예측 결과를 앙상블하여 최종적인 성별 예측 결과를 도출한다. 피실험자들의 모바일 텍스트 데이터를 사용하여 성별 예측 실험을 수행하였으며 제안 방법론의 우수한 성능을 확인하였다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2004년도 춘계학술대회 학술발표 논문집 제14권 제1호
• /
• pp.303-306
• /
• 2004

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

• 한국수학사학회지
• /
• 제24권3호
• /
• pp.59-76
• /
• 2011

NBG의 공리들을 충족시키는 모델로서의 집합 V 를 도입하고 그것의 요소들을 sets라 부르고 그것의 부분집합들을 classes라 부른다. 일반연속체가설 (GCH) 와 선택공리 (AC) 가 ZF 집합론과 무모순이라는 것에 대한 괴델의 증명을 그 이후 나온 Mostowski-Shepherdson mapping 정리, Tarski-Vaught 정리 및 Montague-Levy 정리의 반사원리들, NBG가 ZF의 보존적 확장이라는 정리 등을 이용하여 재구성해 본다.