• 한국어정보학회:학술대회논문집
• /
• 2017.10a
• /
• pp.288-293
• /
• 2017

교수-학습 발화는 발화 턴 간에 규칙화된 인과관계가 강하고 자연 발화에서의 출현율이 낮다. 일반적으로 어휘부, 표현 제시부, 대화부로 구성되며 커리큘럼과 화제에 따라 구축된 언어자원이 필요하다. 기존의 말뭉치는 이러한 교수-학습 발화의 특징을 반영하지 않았기 때문에 한국어 교육용 튜터링 챗봇을 개발하는 데에 활용도가 떨어진다. 이에 따라 이 논문에서는 자연스러운 언어 사용 수집, 도구 기반의 수집, 주제별 수집 및 분류, 점진적 구축 절차의 원칙에 따라 교수-학습의 실제 상황을 반영하는 준구어 말뭉치를 구축한다. 교실에서 발생하는 언어학습 상황을 시나리오로 구성하여 대화 흐름을 제어하고 채팅용 메신저와 유사한 형태의 도구를 통해 말뭉치를 구축한다. 이 연구는 한국어 튜터링 챗봇을 개발하기 위해 말뭉치 구축용 챗봇과 한국어 학습자, 한국어 교수자가 시나리오를 기반으로 발화문을 생성한 준구어 말뭉치를 최초로 구축한다는 데에 의의가 있다.

• 한국디지털정책학회:학술대회논문집
• /
• 2007.06a
• /
• pp.163-170
• /
• 2007

아직 국내에서는 표준 메타데이터를 기반으로 한 정보시스템 개발의 경험이 없으며 최신의 메타데이터 개발도구, 절차, 핵심기술 및 통합방법에 관한 가이드라인이 없다. 그러나 향후 3-4년 이후에 본격적인 메타데이터 시스템의 개발이 시작될 예정인데 각 기관에서는 미래의 시스템에 대하여 어떻게 준비를 하고 진행을 해야 할지를 모르고 있는 실정이다. 따라서 현재 외국에서 성공적으로 개발되어 운영되고 있는 메타데이터 기반 시스템을 벤치마킹하여 시스템 개발프로세스를 표준화하고, 이를 기반으로 한 시스템의 개발 방법론에 대한 연구가 시급한 상황이다. 본 연구는 이를 위한 사전연구에 해당하는 것으로 구체적인 연구의 목표는 메타데이터 언어와 저장체계 개발과 관련된 프레임워크를 제시하는 것이다.

• Annual Conference on Human and Language Technology
• /
• 2006.10e
• /
• pp.109-116
• /
• 2006

자연 언어의 각 어휘는 서로 관계를 가지고 계층적 입체적 모델로 존재한다. 이러한 전제에서 출발한 연구 가운데 대표적인 것이 의미 계층이다. 본고에서는 한국어 형용사의 의미 계층을 추출하는 것을 목표로 하여, 형식적 객관적 방법론을 정립하고, 결과를 비교적 신속하고 정확하게 이끌어 낼 수 있는 전산적 처리 도입하였다. 우선 전체 구축에 필요한 절차를 세우고 각 단계에서 필요한 방법과 휴리스틱을 정리하였다. 이를 바탕으로 사전 뜻풀이말을 이용하여 반자동으로 작업하였으며, 일부 코퍼스를 활용하였다 최종 알고리즘으로는 Top-Down 방식을 택하였다. 이렇게 추출된 한국어 형용사 의미 계층은 226개의 최상위어에서 시작하여 총 3,792개의 표제어를 망라한다. 또한 수직적 계열 관계만을 명시했을 경우 나타날 수 있는 한계를 보완하기 위해, 동의어 반의어와 같은 수평적 의미 관계와 공기 명사와 같은 결합 관계 등을 함께 기술하였다. 한편 표제항을 뜻풀이말의 공기 명사를 이용하여 의미별로 분류하고 각 분류마다 별도의 의미 계층을 수립하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.261-264
• /
• 2011

자바프로그램 검증은 안전하고 정확한 프로그램을 만들기 위한 필수적인 조건이지만 자바언어로 작성된 프로그램은 바이트코드로 작성되어 있는 클래스 파일로 배포되기 때문에 바이트코드에 대한 검증이 필요하다. 하지만 자바 바이트코드는 가독성이 떨어져 중간언어로 변환을 하고 그 중간코드에서 검증에 필요한 조건들을 작성 해야 한다. 이 논문에서는 새로 정의된 중간언어인 BIRS을 통해 컴파일시 검증이 되지 않는 배열 오버플로우에 대한 정적검증을 설명하고 검증 절차에 필요한 명제의 정의와 검증 시 사용되는 SMT-Solver 인 Z3 의 사용법에 대하여 서술하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.1 no.1
• /
• pp.114-128
• /
• 1994

It is very difficult for a nonprofessional programmer in Koera to write a program with very High Level Language such as, V,REFINE, GIST, and SETL, because the semantic primitives of these languages are based on predicate calculus, set, mapping, or testricted natural language. And it takes time to be familiar with these language. In this paper, we suggest a method to reduce such difficulties by programming with the declarative, procedural constructs, and aggregate constructs. And we design and implement an experimental knowledge-based automatic programming system. called HAPS(Hangul Automatic Program System). HAPS, whose input is specification such as Hangul abstract algorithm and datatype or Hangul procedural constructs, and whose output is C program. The method of operation is based on rule-based and program transformation technique, and the problem transformation technique. The problem area is general problem. The control structure of HAPS accepts the program specification, transforms this specification according to the proper rule in the rule-base, and stores the transformed program specification on the global data base. HAPS repeats these procedures until the target C program is fully constructed.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2012.10a
• /
• pp.178-182
• /
• 2012

PEAT(Procedure/airspace Efficiency Assessment Tool) evaluates the efficiency of the flight procedures designed by Procedure and Airspace Design Program, such as fuel consumption fight time, flyability, noise footprint and etc. For noise footprint analysis among the efficiency metrics, the input generation module for INM(Integrated Noise Model) was designed in this research. The INM input files shall contain the information about aircraft types, noise model, airport and runway configuration, number of flights, flight routes, and also should be satisfied with the exact file formats for input data, since INM is not originally executable with file inputs. Therefore, it has been designed to convert the input data given in XML file to DBF. In this paper, the design result of the module which has functionalities to generate appropriate input file for INM, and to convert and save the analysis results from INM, is presented.

• The KIPS Transactions:PartD
• /
• v.13D no.5 s.108
• /
• pp.671-682
• /
• 2006

Until now, a variety of the standard and research activities are progressed in the business process management. However, since the common standard of the collaboration process language has not been determined, the research activities could not be well-systemized. We would present the guide-line to select and use the collaboration process language straightly through comparing different collaboration process languages (BPEL4WS, BPML, WSCI, WS-CDL, BPSS, etc). In this regard, we define the implicit and the explicit collaboration as the collaboration method in advance and present the result acquired according to compare and analyze the features of the collaboration process languages. First, the necessary elements the collaboration process languages have are extracted through the framework of the inter-organizational workflow proposed by Bernauer and the collaboration process modeling procedure(CPMP). Second, we analyze the properties of the collaboration process language based the essential elements. Finally, we show the complete example that the collaboration business process really reflects the characteristics of the collaboration business process languages

• The Journal of Korean Association of Computer Education
• /
• v.18 no.1
• /
• pp.1-12
• /
• 2015

The purpose of this study is to develop verbal interaction analysis program for supporting teaching consultation. For this a class language analysis program was developed to manage analysis results systematically in various angles. The program has following characteristics. First, program users can create the frame of analysis tool freely, so he can analysis a class as a desired. Second, qualitative analysis results as well as quantitative analysis results can be acquired. Third, personalized analysis is available, as users can set program environments freely such as analysis unit time, video player environments, and input and output file type. Finally, it can record and manage activity results according to class consulting procedures systematically. It is expected that this program will allow class consulting to be in place in school fields in more professional way.

• Journal of Digital Contents Society
• /
• v.19 no.5
• /
• pp.891-898
• /
• 2018

Although programming language is a core education area of software that is becoming increasingly important in the age of the fourth industrial revolution, as it requires logical thinking skills, it is recognized as a difficult subject even for SW major students. This difficulty occasionally causes SW major students to lose interest and confidence in their major during the introductory course of a programming language; making them change their majors, or give up their studies. In this study, we designed an instructional model using Scratch for educating C language which is a typical programming introductory language. To do this, we analyzed the concepts that can be trained by Scratch among the programming concepts supported by C language, and developed the examples of Scratch for exercising the concepts. The instructional model supports the progress model of learning first the programming concepts through Scratch and then expand the learning content into C language. We also conducted an experiment on the SW major freshman students of a local private university to verify the effectiveness of the model.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.11
• /
• pp.2756-2768
• /
• 1997

The software Process can be defined as the set of activities, rules, procedures, techniques and tools used within the production of software. A software process model is a conceptual representation of a real world software Process and can be described by process programming languages. In this paper, we present the language constructs of SimFlex designed for object-based software process programming. The design of SimFlex is based on the object concept, so that it can model complex software processes concisely both in syntax and semantics. Since the language constructs of SimFlex are derived from the analysis of major PSEEs and their associated process programming languages, SimFlex includes the core characteristics required for a desirable object-based process programming language. In addition, SimFlex is designed to act as a template software process definition language which could be included in specific PSEEs through customization appropriate to those PSEEs.