• Journal of The Korean Association of Information Education
• /
• v.17 no.3
• /
• pp.233-242
• /
• 2013

"Problem-solving methods and procedures" sections in the 2009 revised informatics curriculum emphasized active use of algorithmic thinking to solve problems. And it is proposed to solve the various problems of real life using programming language for the implementation of the algorithm. Recently, various Educational Programming Language has been developed for elementary programming activity and many researches showed that students' cognitive burden was reduced in learning programming language with Educational Programming Languages. However implementation of the algorithm is difficult for novice programmer. For the reason, effective way is required for elementary students to connect design of the algorithm and implementation of the algorithm. Therefore, in this study propose the algorithm design worksheets that it is possible to create an algorithm to describe the content needed to implementation in programming education. And this study proved the effect of the algorithm design learning tools through experiment.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2498-2500
• /
• 2000

차세대 신형원전에서는 디지털 기술의 적용을 기본 설계 요건으로 제시하고 있다. 차세대 원전의 노심보호계통 (Core Protection Calculator Systems; CPCS)은 원전의 안전성을 보장하기 위한 부분으로 이 부분이 올바르게 작성되고, 검증되어야 함은 분명하다. 현재 이부분은 소프트웨어로 개발 중에 있으며 개발 단계에 있어서 시작단계인 요구명세 단계에 있다. 요구 명세 단계의 오류는 소프트웨어 개발 단계 중 소프트웨어의 품질에 가장 영향을 많이 미치는 단계로 알려져 있으므로 이 단계를 정확하게 수행하여야 한다. 안전성이 중요한 소프트웨어를 명세하는 데 있어서 우선 정의되어야 하는 것은 어떤 절차를 통해서 어떤 방법으로 할지를 결정하여 그 절차를 정하여야 한다. 기존에 소프트웨어 요구 명세에 대한 표준안이 존재하기는 하지만, 이러한 표준안들은 개념적인 언어들로 쓰여져 있기 때문에 실제 소프트웨어의 개발 과정에 사용하기 위해서는 구체적인 언어들로 다시 작성하여야 한다. 따라서, 소프트웨어 명세를 작성하기 위해서 절차와 방법에 대해서 정의하여야 한다. 본 논문에서는 개략적인 명세 절차와 명세 방법등을 기술하였다.

• Annual Conference on Human and Language Technology
• /
• 2022.10a
• /
• pp.545-550
• /
• 2022

본 연구의 목적은 2021년 메신저 언어 200만 어절을 대상으로 수행된 맞춤법 교정 병렬 말뭉치의 설계와 구축의 쟁점을 소개하고, 교정 말뭉치의 주요 교정 및 주석 내용을 기술함으로써 맞춤법 교정 병렬 말뭉치의 특성을 분석하는 것이다. 2021년 맞춤법 교정 병렬 말뭉치의 주요 목표는 메신저 언어의 특수성을 살림과 동시에 형태소 분석이나 기계 번역 등 한국어 처리 도구가 분석할 수 있는 수준으로 교정하는 다소 상충되는 목적을 구현하는 것이었는데, 이는 교정의 수준과 병렬의 단위 설정 등 상당한 쟁점을 내포한다. 본 연구에서는 말뭉치 구축 시점에서 미처 논의하지 못한 교정 수준의 쟁점과 교정 전후의 통계적 특성을 함께 논의하고자 하며, 다음과 같은 몇 가지 하위 내용을 중심으로 논의하고자 한다.첫째, 맞춤법 교정 병렬 말뭉치의 구조 설계와 구축 절차에 대한 논의로, 2022년 초 국내 최초로 공개된 한국어 맞춤법 교정 병렬 말뭉치('모두의 말뭉치'의 일부)의 구축 과정에서 논의되어 온 말뭉치 구조 설계와 구축 절차를 논의한다. 둘째, 문장 단위로 정렬된 맞춤법 교정 말뭉치에서 관찰 가능한 띄어쓰기, 미등재어, 부호형 이모티콘 등의 메신저 언어의 몇 가지 특성을 살펴본다. 마지막으로, 2021년 메신저 맞춤법 교정 말뭉치의 구축 단계에서 미처 논의되지 못한 남은 문제들을 각각 데이터 구조 설계와 구축 차원의 주요 쟁점을 중심으로 논의한다. 특히 메신저 맞춤법 병렬 말뭉치의 주요 목표인 사전학습 언어모델의 학습데이터로서의 가치와 메신저 언어 연구의 기반 자료 구축의 관점에서 맞춤법 교정 병렬 말뭉치 구축의 의의와 향후 과제를 논의하고자 한다.

• The KIPS Transactions:PartA
• /
• v.10A no.1
• /
• pp.75-81
• /
• 2003

Many abstraction techniques are introduced in programming languages in order to facilitate the development, maintenance and extension of softwares. But several concepts and terms related to abstraction have not been uniformly defined and have been explained differently. Expecially in object-oriented paradigm strongly based on abstraction common consensus was not derived. In this paper, we analyse procedural abstraction, propose the taxonomy of procedural abstraction and show that procedural abstraction contains the concept of abstraction on abstraction in addition to the transformation of procedures into abstraction. We also explain polymorphism in the view of abstraction. These analysis and consideration will make it possible to understand procedural abstraction more intensively.

• The Journal of the Korea Contents Association
• /
• v.11 no.12
• /
• pp.597-610
• /
• 2011

In database application developments, data coexists in memory and disk spaces. To manipulate the memory data, the general programing languages are used and to manipulate the disk data, SQL is used. In particular, the procedural languages for the memory manipulation are difficult to create and manage than declarative languages such as SQL. Thus, this paper shows that a particular structure of memory data, tree structured, can be manipulated by SQL. Most of all, the model data of the user interfaces can be represented by a tree structure and thus, it can be processed by SQL except non set computations. The non set computations could be done by helper classes. The SQL memory data manipulation is more suited to the database application developments which have few complex computations.

• Proceedings of the Korea Contents Association Conference
• /
• 2006.11a
• /
• pp.772-775
• /
• 2006

The educational courses for the procedural-oriented and object-oriented programming languages have been prepared respectively in many universities. However, the comparison of two languages has not been shown in the same class. In this paper, we compared two distinctive languages, C and Java, and developed a new class material and the relating web contents, through which those who are interested may maximize their understanding and programming skills based on the different programming language.

• Annual Conference on Human and Language Technology
• /
• 2007.10a
• /
• pp.303-310
• /
• 2007

전문용어의 정비, 기초 데이터 구축 및 관리, 전문용어의 구축 과정의 표준화 방안, 전문용어 정비의 심의에 대해서 알아 보고자 한다. 전문용어의 정의에 대해서 간단하게 알아보고, 전문용어 정비를 위한 공정도를 소개하며, 전문용어 정비 순서와 절차에 대해서 설명하고자 한다. 기초 데이터 구축 및 관리 과정에서 어떤 방법으로 기초 데이터를 구축하게 되었으며, 어떠한 절차에 따라 DB화 및 심의를 위한 준비를 하게 되는지를 보고하고자 한다. 또한 전문용어의 정비를 하는 과정에서 발생하는 몇 가지 문제점에 대해서 알아 보고, 표준화 방안을 제시하며, 마지막으로 전문용어 정비를 위한 심의 지침을 제시하고자 한다. 심의 지침은 기존의 연구에서 제시된 권장안을 바탕으로 전문용어의 정비를 위한 기준에 맞게 만들어졌다. 이 논문에서는 전문용어의 정비를 위한 전반적인 절차와 내용 그리고 심의에 대해 기준을 제시하는데 목적을 두고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.475-478
• /
• 2016

많은 embedded 소프트웨어는 전통적 절차적 언어인 C로 작성되며 embedded 시스템에 특화된 역할을 수행한다. 한편 기존 절차적 언어인 C는 현대의 객체지향적 개발 패러다임과 비교하면 코드의 확장성, 유지 보수성, 재사용성에 있어서 많은 어려움이 있으며 아직도 많이 사용하고 있지만 이 C의 유지 보수성과 확장성, 유연성을 확보하여 보다 생산적이고 유지 보수가 쉬운 패러다임으로서 함수 pooling이라는 개념과 이를 이용한 framework를 구현한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.724-726
• /
• 2003

절차적 텍스쳐링(procedural texturing) 방법은 프로그래밍 가능하게 설계되어 생산성이 높고 유연(flexible)하다는 장점이 있다. 그러나 설계가 복잡하고 프로그래밍에 익숙하지 않은 일반 사용자들이 사용하기 어렵다는 단점이 있다. 본 논문에서는 사용자가 프로그래밍 과정 없이 대화형 인터페이스를 통해 디자인하고 이를 쉐이딩 언어(shading language)로 변환해 주는 시스템을 제안한다. 사용자의 디자인 과정으로 여러 개의 기본 노드(node)와 관련된 연산으로 표현되며, 시스템에서 이를 변환하여 텍스쳐를 기술하는 쉐이딩 언어를 생성한다. 제안된 시스템은 일반 사용자에게 절차적인 텍스쳐링에 대한 직관적이고 유연한 인터페이스를 제공하며. 기본적인 기하 및 텍스쳐 요소(element)를 조합하여 다양한 텍스쳐를 효과적으로 생성하도록 한다.

• Annual Conference on Human and Language Technology
• /
• 1993.10a
• /
• pp.79-89
• /
• 1993

본 논문에서는 대형 데이타베이스에서의 정보검색을 위한 자연언어 인터페이스 시스템을 구현하기 위한 방법을 제안한다. 질의문의 특성을 고찰하고 이를 일반적인 문장의 관점에서 수용하여 구문분석시에 반영한다. 구문분석 결과는 다음의 후처리 절차를 통해 정형 질의어인 SQL로 변환된다. 명사의 의미소성과 도메인의 어휘적 형태를 이용하여 질의문 내에 명시적으로 나타나지 않은 정보를 추출한다. 또한 질의문 내의 애트리뷰트, 릴레이션, 상수의 관련성을 규명한다. 이 두 절차를 통해 기존의 질의어 변환 시스템에서 지식베이스화하여 사용했던 자료들을 구축할 필요가 없어지므로 데이타베이스의 변경, 삽입, 삭제에 의한 영향을 받지 않으며, 자료구조 생성에 따른 부담을 없앨 수 있다.