• Journal of the Korean School Mathematics Society
• /
• v.6 no.2
• /
• pp.71-85
• /
• 2003

In this paper we study the usefulness of Maple in school calculus education. The use of computer and calculator is debated in many aspect in mathematics education. By the computer visualization of mathematical image and proper use of computer we can teach inductively and intuitively the mathematical concept and give rise to the students' interest. Maple is very popular in college but is not in middle school because of language. Maple application which is made by Maplet is very useful multimedia teaching-learning tools. We introduce the use of Maplet and some application of the calculus course which we made.

• School Mathematics
• /
• v.12 no.2
• /
• pp.239-257
• /
• 2010

In school mathematics the derivative concept is intuitively taught with the tangents and the concept of instantaneous velocity. In this paper, I investigated the long historical developments of the derivative concepts and analysed the relationships between the definition of derivative and the related elements. Finally I proposed some educational implications based on the analysis.

• 한국HCI학회:학술대회논문집
• /
• 2007.02a
• /
• pp.131-136
• /
• 2007

본 논문에서는 모바일 증강현실에서 스마트 오브젝트 인식 및 트래킹을 위한 임베디드 마커 시스템을 제안한다. 기존의 증강 현실 연구에서 주로 사용하는 마커는 임의의 패턴을 포함하고 대상 오브젝트와는 분리되어 있다. 이는 부자연스러운 시각적 장애 요인으로 작용한다. 또한 특정한 마커를 사용하기 위해 학습 과정을 거친 후 그 결과를 인식 모듈에서 일일이 등록해야 하는 번거로움이 있다. 이러한 문제점을 해결하기 위해 제안하는 임베디드 마커는 디스플레이 장치의 유무에 따라 고정형 또는 가변 형으로 분류된 스마트 오브젝트의 특성을 고려하여 오브젝트와 마커를 결합한다. 또한 통합된 학습과 인식 모듈을 통해 오브젝트의 추가 및 시스템 확장을 용이하게 한다. 제안된 시스템은 스마트 홈 테스트베드인 ubiHome 에 적용되었다. 또한 사용 성 평가를 통해 그 효용성을 분석하였다. 이러한 임베디드 마커를 사용하면 사용자는 보다 직관적으로 마커의 용도를 예측할 수 있고 대상물과의 시선을 일치시켜 자연스러운 증강현실을 경험할 수 있을 것으로 기대된다.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2000.06a
• /
• pp.48-55
• /
• 2000

본 논문은 국소문맥을 사용하여 만들어진 Decision List를 통해 단어의 형태적 중의성을 제거하는 방법을 기술한다. 최초 종자 연어(Seed Collocation)로 1차 Decision List를 만들어 실험 말뭉치에 적용하고 태깅된 결과를 자가 학습하는 반복과정에 의해 Decision List의 수행능력을 향상시킨다. 이 방법은 단어의 형태적 중의성 제거에 일정 거리의 연어가 가장 큰 영향을 끼친다는 직관에 바탕을 두며 사람의 추가적인 교정을 필요로 하지 않는 비교사 방식(대량의 원시 말뭉치에 기반한)에 의해 수행한다. 학습을 통해 얻어진 Decision List는 연세대 형태소 분석기인 MORANY의 형태소 분석 결과에 적용되어 태깅시 성능을 향상시킨다. 실험 말뭉치에 있는 중의성을 가진 12개의 단어들에 본 알고리즘을 적용하여 긍정적인 결과(90.61%)를 얻었다. 은닉 마르코프 모델의 바이그램(bigram) 모델과 비교하기 위하여 '들었다' 동사만을 가지고 실험하였는데 바이그램 모델의 태깅결과(72.61%)보다 뛰어난 결과(94.25%)를 얻어서 본 모델이 형태적 중의성 해소에 유용함을 확인하였다.

• Annual Conference on Human and Language Technology
• /
• 2000.10d
• /
• pp.48-55
• /
• 2000

본 논문은 국소문맥을 사용하여 만들어진 Decision List를 통해 단어의 형태적 중의성을 제거하는 방법을 기술한다. 최초 종자 연어(Seed Collocation)로 1차 Decision List를 만들어 실험 말뭉치에 적용하고 태깅된 결과를 자가 학습하는 반복과정에 의해 Decision List의 수행능력을 향상시킨다. 이 방법은 단어의 형태적 중의성 제거에 일정 거리의 연어가 가장 큰 영향을 끼친다는 직관에 바탕을 두며 사람의 추가적인 교정을 필요로 하지 않는 비교사 방식(대량의 원시 말뭉치에 기반한)에 의해 수행한다. 학습을 통해 얻어진 Decision List는 연세대 형태소 분석기인 MORANY의 형태소 분석 결과에 적용되어 태깅시 성능을 향상시킨다. 실험 말뭉치에 있는 중의성을 가진 12개의 단어들에 본 알고리즘을 적용하여 긍정적인 결과(90.61%)를 얻었다. 은닉 마르코프 모델의 바이그램(bigram) 모델과 비교하기 위하여 '들었다' 동사만을 가지고 실험하였는데 바이그램 모델의 태깅결과(72.61%)보다 뛰어난 결과 (94.25%)를 얻어서 본 모델이 형태적 중의성 해소에 유용함을 확인하였다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• fall
• /
• pp.7-8
• /
• 2021

인공지능 기술과 서비스는 딥러닝을 중심으로 한 기계학습 기술의 급속한 발전에서 원인을 둔다. 딥러닝 발전 요인으로 GPU등 하드웨어 발전, 기술 공유, 대규모 학습데이터 구축 및 공개를 들 수 있다. 데이터 셋에 관련하여 센서를 이용한 데이터셋의 경우 단순히 많은 데이터셋의 확보뿐 아니라 적절한 위치 및 환경에 따른 고려가 필요하다. 본 논문에서는 UCI의 화학 가스의 데이터셋을 이용하여 위치별 시계열 데이터를 딥러닝을 이용하여 분석하고, 위치별 정확도와 손실을 계산한다. 또한 계산된 결과를 히트맵을 통하여 시각화하여 직관적인 이해를 높인다. 또한 위치별 정확도가 높은 상위 5개의 위치에서 앙상블 방법을 통한 성능의 향상을 확인 하였다.

• Annual Conference on Human and Language Technology
• /
• 2019.10a
• /
• pp.347-350
• /
• 2019

인공지능 관련 기술의 발달로 다양한 분야에서 인공지능 활용에 대한 관심이 고조되고 있으며 전문영역에서도 기계학습 기법을 활용한 연구들이 활발하게 이루어지고 있다. 특허청에서는 분야별 전문지식을 가진 분류담당자가 출원되는 모든 특허에 국제특허분류코드(이하 IPC) 부여 작업을 수행하고 있다. IPC 분류와 같은 전문적인 업무영역에서 딥러닝을 활용한 자동 IPC 분류 서비스를 제공하기 위해서는 기계학습을 이용하는 분류 모델에 분야별 전문지식을 직관적으로 반영하는 것이 필요하다. 이를 위해 본 연구에서는 딥러닝 기반의 IPC 분류 모델과 전문지식이 반영된 분류별 어휘사전을 활용한 규칙기반 분류 모델을 병행하여 특허문서의 IPC분류를 자동으로 추천하는 방법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.11a
• /
• pp.520-522
• /
• 2022

의료 인공지능은 특정 진단에서 높은 정확도를 보이지만 모델의 신뢰성 문제로 인해 활발하게 쓰이지 못하고 있다. 이에 따라 인공지능 모델의 진단에 대한 원인 설명의 필요성이 대두되었고 설명가능한 의료 인공지능에 관한 연구가 활발히 진행되고 있다. 하지만 MRI 등 의료 영상 인공지능 분야에서 주로 진행되고 있으며, 이미지 형태가 아닌 전자의무기록 데이터 (Electronic Health Record, EHR) 를 기반으로 한 모델의 설명가능성 연구는 EHR 데이터 자체의 복잡성 때문에 활발하게 진행 되지 않고 있다. 본 논문에서는 전자의무기록 데이터인 MIMIC-III (Medical Information Mart for Intensive Care) 를 전처리 및 그래프로 표현하고, GCT (Graph Convolutional Transformer) 모델을 학습시켰다. 학습 후, 어텐션 흐름 그래프를 시각화해서 모델의 예측에 대한 직관적인 설명을 제공한다.

• Journal of the Korean School Mathematics Society
• /
• v.14 no.3
• /
• pp.295-323
• /
• 2011

This study is based on the recognition that teacher educators have to focus their attention on developing pre-service teachers' statistical reasoning for statistics education of school mathematics. This paper investigated knowledge on pre-service teachers' statistical reasoning. Statistical Reasoning Assessment (SRA) is performed to find out pre-service teachers' statistical reasoning ability. The research findings are as follows. There was meaningful difference in the statistical area of statistical reasoning ability with significant level of 0.05. This proved that 4 grades pre-service teachers were more improve on statistical reasoning than 2 grades pre-service teachers. Even though most of the pre-service teachers ratiocinated properly on SRA, half of pre-service teachers appreciated that small size of sample is more likely to deviate from the population than the large size of sample. A few pre-service teachers have difficulties in understanding "Correctly interprets probabilities(be able to explain probability by using ratio" and "Understands the importance of large samples(A small sample is more likely to deviate from the population)".

• School Mathematics
• /
• v.5 no.4
• /
• pp.401-420
• /
• 2003

We have many problems in the teaching and learning of proof, especially in the demonstrative geometry of middle school mathematics introducing the proof for the first time. Above all, it is the serious problem that many students do not understand the meaning of proof. In this paper we intend to show that teaching the meaning of proof in terms of historic-genetic approach will be a method to improve the way of teaching proof. We investigate the development of proof which goes through three stages such as experimental, intuitional, and scientific stage as well as the development of geometry up to the completion of Euclid's Elements as Bran-ford set out, and analyze the teaching process for the purpose of looking for the way of improving the way of teaching proof through the historic-genetic approach. We conducted lessons about the angle-sum property of triangle in accordance with these three stages to the students of seventh grade. We show that the students will understand the meaning of proof meaningfully and properly through the historic-genetic approach.