• Communications of Mathematical Education
• /
• 제12권
• /
• pp.185-200
• /
• 2001

증명은 수학에서 기초적이고도 중요한 주제이다. 추측을 만들어내고 자신에게는 물론 타인에게까지 그 추측을 정리로서 확신시키는 활동은 수학활동에서의 핵심이라고 할 수 있다. 그러나 현재의 증명 학습지도에서는 학생들의 수준보다는 높은 증명 발달단계를 제시하고 있다는 보고와 함께 기존의 지도방법의 개선책을 요구하고 있다. 따라서 본고에서는 몇 가지 증명의 발달 단계를 정리해 보고 Balacheff의 증명 4단계를 토대로 하여 증명활동을 점진적인 구성으로 제시한다.

• Annual Conference on Human and Language Technology
• /
• 한국정보과학회언어공학연구회 2022년도 제34회 한글 및 한국어 정보처리 학술대회
• /
• pp.473-476
• /
• 2022

문장 임베딩은 문장의 의미를 고려하여 모델이 적절하게 의미적인 벡터 공간에 표상하는 것이다. 문장 임베딩을 위해 다양한 방법들이 제안되었지만, 최근 가장 높은 성능을 보이는 방법은 대조적 학습 방법이다. 대조적 학습을 이용한 문장 임베딩은 문장의 의미가 의미적으로 유사하면 가까운 공간에 배치하고, 그렇지 않으면 멀게 배치하도록 학습하는 방법이다. 이러한 대조적 학습은 비지도와 지도 학습 방법이 존재하는데, 본 논문에서는 효과적인 비지도 학습방법을 제안한다. 기존의 비지도 학습 방법은 문장 표현을 학습하는 언어모델이 자체적인 정보를 활용하여 문장의 의미를 구별한다. 그러나, 하나의 모델이 판단하는 정보로만 문장 표현을 학습하는 것은 편향적으로 학습될 수 있기 때문에 한계가 존재한다. 따라서 본 논문에서는 Cross-Encoder의 Re-Ranker를 통한 의미 검색으로부터 추천된 문장 쌍을 학습하여 기존 모델의 성능을 개선한다. 결과적으로, STS 테스크에서 베이스라인보다 2% 정도 더 높은 성능을 보여준다.

• 한국정보교육학회:학술대회논문집
• /
• 한국정보교육학회 2007년도 동계학술대회
• /
• pp.209-216
• /
• 2007

고도의 지식정보사회 속에서 논리적 사고력과 창의력, 문제해결력을 길러주는 프로그래밍 교육의 필요성은 더욱 강조되고 있다. 이에 본 연구에서는 초등학생들에게 적합한 교육용 프로그래밍 언어인 JavaMAL을 활용하여, 프로그래밍의 함수개념 형성을 위한 학습모형을 구안 적용하고 일반화 가능성을 탐색하고자 하였다. 먼저 기초적인 프로그래밍 요소 중 함수개념과 관련된 학습요소를 추출하여 차시별 지도계획을 수립하였다. 또한, 프로그래밍의 함수가 수학적 함수의 모방이라는 것에 착안하여 수학의 '규칙성과 함수'지도 단계를 LOGO의 문제해결력 수업모형인 안내된 발견식 교수법(guided discovery teaching method)에 강화한 후, 인터넷을 활용한 문제해결 수업모형을 구안하였다. 기본명령어와 변수개념을 이미 익힌 계발활동 부서 6학년 아동들을 지도 대상으로 한 달간 웹 기반 JavaMAL 환경에서 학습할 수 있도록 하였으며, 게시판 활동 및 활동지를 통해 함수개념 형성 여부를 측정하였다.

• The KIPS Transactions:PartC
• /
• 제12C권5호
• /
• pp.649-658
• /
• 2005

Since the Network based attack Is extensive in the real state of damage, It is very important to detect intrusion quickly at the beginning. But the intrusion detection using supervised learning needs either the preprocessing enormous data or the manager's analysis. Also it has two difficulties to detect abnormal traffic that the manager's analysis might be incorrect and would miss the real time detection. In this paper, we propose a traffic attributes correlation analysis mechanism based on self-organizing maps(SOM) for the real-time intrusion detection. The proposed mechanism has three steps. First, with unsupervised learning build a map cluster composed of similar traffic. Second, label each map cluster to divide the map into normal traffic and abnormal traffic. In this step there is a rule which is created through the correlation analysis with SOM. At last, the mechanism would the process real-time detecting and updating gradually. During a lot of experiments the proposed mechanism has good performance in real-time intrusion to combine of unsupervised learning and supervised learning than that of supervised learning.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.694-696
• /
• 2001

인터넷의 이용이 생활화되면서 학생들의 인터넷 이용능력은 점차 향상되어가고 있으며 그 이용시간도 증가하는 추세다. 인터넷은 접근하기가 편리하고 시간적, 공간적 제약을 극복할 수 있고, 경제적 이점도 가져다주므로 인터넷의 교육적 활용에 대한 연구가 필요하다. 본 논문은 인터넷에 기반한 교육적 활용의 한 모델로서 WEB기반 학습지도.평가 시스템의 설계 및 구현에 관한 것이다. 즉 가상의 공간에서 교사와 학생이 상호 작용하면서 교수 학습할 수 있는 방법에 주목하여 교사는 WEB상에서 문제를 출제하고 학생 역시 WEB을 통해 손쉽게 문제를 풀고 결과를 확인할 수 있게 하는 것이다. 제안한 시스템의 설계를 위해 기존의 유사시스템을 비교.분석하여 필수 구성요소를 모두 포함하면서 미래의 학습평가방식에 적합한 효율적이고 유연성있는 모델을 만들었다. 설문조사를 통한 평가에서는 시스템의 학습효과성과 발전가능성이 높은 것으로 나타났다. 향후 평가를 통해 나타난 문제점을 보완하고 새로운 기능에 대한 연구가 따른다면 교사와 학생 모두에게 새로운 학습도구로서 흥미를 불러일으킬 수 있고, 학습 도구에 관한 새로운 인식전환의 기회가 될 것으로 생각된다.

• Journal of The Korean Association of Information Education
• /
• 제13권3호
• /
• pp.291-302
• /
• 2009

The Educational situation of studying the effect of maximizing through Student's Self-directed demand varying educational environment on a Learner-Centered understanding of existing ICT deficiencies. But schools recognize computer skill learning as all of computer education contents. This study is established in an 'e-PBL environment' in use with 'Ulsan Cyber Home Study' on a learner-centered and design teaching method for an effective computer course. This study presents effective learner-centered teaching methods. It does this using the web environment 'Ulsan Cyber Home Study' and reconstructing each unit of the ICT textbook 'Our Living and Information'.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 한국정보통신학회 2021년도 춘계학술대회
• /
• pp.38-40
• /
• 2021

Medical domain has a massive number of data records without the response value. Self-supervised learning is a suitable method for medical data since it learns pretext-task and supervision, which the model can understand the semantic representation of data without response values. However, since self-supervised learning performance depends on the expression learned by the pretext-task, it is necessary to define an appropriate Pretext-task with data feature consideration. In this paper, to actively exploit the unlabeled medical data into artificial intelligence research, experimentally find pretext-tasks that suitable for the medical data and analyze the result. We use the x-ray image dataset which is effectively utilizable for the medical domain.

• Journal of the Korean School Mathematics Society
• /
• 제20권4호
• /
• pp.521-536
• /
• 2017

One of difficulties with which teachers meet is to have underachievers with no willingness and motivation for study involved in class. Mathematics underachiever are average or above average in their intelligence but their actual achievement in mathematics did not coincide to their intellectual capabilities. The teaching strategy for them is to motivate them to try to study mathematics and to experience the improvement in their mathematics grade. In this paper, we choose flipped classroom as the strategy of teaching basic mathematics to math underachievers and applied it to them. Then we wanted to make sure the possibility for applying flipped classroom to teaching math underachievers through the analysis of change in the scholastic achievement of students in mathematics and mathematical disposition. The results of this study are as followings; First, when we taught basic math to underachievers using a flipped classroom, we confirm that math underachievers with active participation improved scholastic achievements significantly. Second, the flipped classroom was led to positive effects in an affective domain. In particular, it showed the most noticeable change in the area of willingness to math problem-solving and perception about the value of mathematics.

• Journal of the Korea Computer Graphics Society
• /
• 제27권1호
• /
• pp.9-17
• /
• 2021

In this paper, we present a simple and fast supervised learning framework based on model predictive control so as to learn motion controllers for a physic-based character to track given example motions. The proposed framework is composed of two components: training data generation and offline learning. Given an example motion, the former component stochastically controls the character motion with an optimal controller while repeatedly updating the controller for tracking the example motion through model predictive control over a time window from the current state of the character to a near future state. The repeated update of the optimal controller and the stochastic control make it possible to effectively explore various states that the character may have while mimicking the example motion and collect useful training data for supervised learning. Once all the training data is generated, the latter component normalizes the data to remove the disparity for magnitude and units inherent in the data and trains an artificial neural network with a simple architecture for a controller. The experimental results for walking and running motions demonstrate how effectively and fast the proposed framework produces physics-based motion controllers.

• Journal of Elementary Mathematics Education in Korea
• /
• 제15권3호
• /
• pp.641-654
• /
• 2011

In order to grow students' rational and creative problem-solving ability which is one of the primary goals in mathematics education. students' proper understanding of mathematical concepts, principles, and rules must be backed up as its foundational basis. For the relevant teaching strategies. National Mathematics Curriculum advises that students should be allowed to discover and justify the concepts, principles, and rules by themselves not only through the concrete hands-on activities but also through inquiry-based activities based on the learning topics experienced from the diverse phenomena in their surroundings. Hereby, this paper, firstly, looks into both the meaning and the inductive reasoning process of mathematical principles and rules, secondly, suggest "learning through discovery teaching method" for the proper teaching of the mathematical principles and rules recommended by the National Curriculum, and, thirdly, examines the possible discovery-led teaching strategies using inductive methods with the related matters to be attended to.