• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.45-64
• /
• 2004

The lambda calculus is a mathematical formalism in which functions can be formed, combined and used for computation that is defined as rewriting rules. With the development of the computer science, many programming languages have been based on the lambda calculus (LISP, CAML, MIRANDA) which provides simple and clear views of computation. Furthermore, thanks to the "Curry-Howard correspondence", it is possible to establish correspondence between proofs and computer programming. The purpose of this article is to make available, for didactic purposes, a subject matter that is not well-known to the general public. The impact of the lambda calculus in logic and computer science still remains as an area of further investigation.stigation.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2021.07a
• /
• pp.265-266
• /
• 2021

COVID-19로 인한 외부환경요인의 변화는 2020학년도 1학기부터 대학교육시스템에 큰 변화를 일으켰다. 초기에는 비대면으로 변화된 수업 환경에서 필요한 수업 방법으로 전환하는 데 급급하였다면 비대면 상황이 지속되면서 대면 학습의 실재감을 제공하고 학습효과를 높이는 구체적인 요인 파악과 수업 적용이 필요하게 되었다. 본 연구에서는 비대면으로 이루어지는 컴퓨터공학 분야의 대표적인 실습기반 교과목인 프로그래밍 수업에서 대면 수업의 실재감을 제공하기 위해 강의동영상 수업과 실시간 수업을 활용하여 수업주제 맞춤형 비대면 혼합형 수업 방법을 적용한 후 설문 조사를 통해 혼합형 수업에서 학습자의 참여수준(태도)가 대면수업 수준의 실재감에 미치는 영향을 조사·분석하였다. 이를 통해 비대면 수업에서는 비대면 환경에서 학습자의 상호작용을 위한 수업 참여 수준(태도)가 대면 수준으로 학습효과를 높이는데 가장 큰 영향을 미친 것으로 조사·분석하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2022.01a
• /
• pp.139-140
• /
• 2022

코로나 팬더믹의 장기화에 따른 비대면 환경에서 대면 수업의 실재감을 제공하는 다양한 교수·학습 방법에 대한 시도가 이루어지고 있다. 실제 수업 현장에서는 대면수업과 다른 환경에서 학습자의 수준과 특성에 맞는 수업 설계의 필요성 또한 대두되고 있다. 본 연구에서는 플립러닝을 기반으로 한 비대면 프로그래밍 수업에서 학업성취도에 따른 학습 참여 수준과 실재감의 차이를 분석하여, 맞춤형 학습역량 강화를 위한 교수 방안을 모색하는 데 그 목적이 있다. 강의 동영상 수업과 상호작용을 포함한 플립러닝 기반 실시간 수업을 혼합하여 수업한 후 설문을 통해 학업성취도에 따른 학습자들의 학습 참여 수준, 교수 실재감과 학습 실재감을 조사한 결과, 학업성취도 가장 높은 학습자일수록 학습 참여도 높고, 다음 수준의 학습자들이 교수 실재감과 학습 실재감은 가장 높은 것으로 조사·분석되었다. 이를 통해 학업성취도에 기반하여 학습자별 맞춤형 교수방안을 제시하였다.

• Journal of The Korean Association For Science Education
• /
• v.10 no.1
• /
• pp.1-8
• /
• 1990

Mechanical CAI Program was developed for university science student The program was mainly aimed for individual study. The program was written in BASIC and construct 130s flams. This project was supproted by Ministry of Education research fund. Summary of this study is as follows. 1. The program consisted of main, pretest, tutorial, final, and several other routines for program control. 2. This program written in BASIC. 3. 20 flames for pretest routine, 90 flames for tutorial routine, 20 flames for final test routine were developed. 4. The expected rate of achivement for final test was set 80%. 5. Average mark of final test was 70.2 point through the all course of program. This means that program was constructed of well.

• Journal of Digital Contents Society
• /
• v.14 no.4
• /
• pp.537-544
• /
• 2013

There has been many studies to explore what is the best multimedia tools for English learning by internet, but the students are still thirsty for the lack of practical and effective learning method which may lead them to stimulate their motivations to learn English with technological new media. The purpose of this study is to design Flash Animation as a new approach to learn language acquisition for those students who are learning English as a second language. This second is to show the validity for the introduction of Flash Animation into the English class. The third is to describe the effectiveness of the application of multimedia tools used in English communication such as java script programming and power point presentation.

• The Journal of Korean Association of Computer Education
• /
• v.10 no.3
• /
• pp.9-17
• /
• 2007

This study compared and analysed computer textbooks of the middle school from South Korea and North Korea for preparing the unification of the Korean Peninsula. According to the result of this study, the contents of South Korea textbook were equally selected from all scopes. By contrast, the contents of North Korea mostly consisted of the basic knowledge of computer, word-processing excluding the newest contents as Internet or Multimedia. But with the BASIC programming and algorithm for enhancement of the creative solving ability, prospective IT brains had been trained in North Korea. Moreover, due to differences of language policy and country that delivered IT technology, significant differences were found between South and North Korea in IT terminology. For preparing IT education after unification of the Korean Peninsula, both efforts of people who work in the fields of IT and school system in South and North Korea should be taken in order to relieve these differences.

• The Journal of Korean Association of Computer Education
• /
• v.13 no.3
• /
• pp.25-34
• /
• 2010

This study is done to compare and to analyze middle school Informatics textbooks developed according to 2007 revised national curriculum. In this paper, suggestions are made for improvement on Informatics textbooks. Textbooks were analyzed based on two criteria, in framework and content, and collected data were analyzed according to Content Analysis method. As a result of analysis, a framework of textbooks showed differences in the entire construction, discipline-specific weight, content developing structure, and types of assessment, and content of textbooks showed differences in the concepts and the kinds of programming language. Six improvements in developing Informatics textbook from the results of content analysis were suggested and this will be helpful in developing the Infomatics textbook in the future.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.07a
• /
• pp.53-54
• /
• 2019

코딩 교육이 초등학생부터 의무화 되어 프로그래밍의 중요성이 날이 갈수록 높아지고 있고, 현재 전 세계 공용어인 영어는 필수라 할 수 있게 된 사회이다. 본 논문에서는 유아에게 코딩과 영어를 지루하고 어려운 것일 거라는 틀을 깨고 쉽게 접할 수 있도록 하는 STEAM 코딩 교육을 적용한 유아용 영어 학습 콘텐츠를 제안한다. 유아가 직접 방향 코딩을 하여 길을 찾아가는 과정에서의 창의력 발달과 목적지에 도착했을 때 해당 과일의 영단어를 확인하고 발음을 듣게 하여 언어능력발달에 도움이 될 것 수 있을 것으로 기대한다.

• Journal of Digital Convergence
• /
• v.10 no.11
• /
• pp.627-633
• /
• 2012

This paper deals with the design and implementation of interactive e-learning contents for OpenCourseWare. OpenCourseWare, also known as OCW began at MIT in October 2002. OCW is a free and open digital contents of high quality college and university level educational materials. In this paper, we have designed and implemented interactive e-learning contents for a regular course of introduction to java programing language and OCW of D University. We have developed a variety of multimedia elements, such as screen videos of practical exercise and animations in order to improve the effectiveness of learning. These e-learning contents are consist of interactive learning components that users can interact directly with. The e-learning contents developed in this study has been effectively applied to OCW and a regular course opened in the first semester of 2012.

• Journal of The Korean Association of Information Education
• /
• v.24 no.4
• /
• pp.279-289
• /
• 2020

The purpose of this study is to apply the training program for teachers to strengthen the competence of artificial intelligence education in primary and secondary school teachers and to analyze its effectiveness and analyze teachers' demands for artificial intelligence education to provide basic research data. The referenced training program was designed based on the ADDIE model by selecting the educational contents based on the five core elements of AI, and teachers from the G Metropolitan Office of Education and the AI Education Research Association collaborated to develop the program. The effectiveness of the developed program and questionnaire of teacher needs analysis for AI teaching were examined for content validity. As a result of the training conducted by applying the developed program, satisfaction with each curriculum of the training and the possibility of application to the field were highly evaluated. It was found that teachers consider the need of teaching unplugged activities for AI education and basic AI experiences in elementary school level, and AI education contents including block programming languages and physical computing activities are needed to teach in middle school level.