• 한국중재학회지:중재연구
• /
• 제23권1호
• /
• pp.133-152
• /
• 2013

Recently, the United Nations Commission on International Trade Law (UNCITRAL) has made progress toward resolving low value, high volume disputes in international e-commerce. At the Working Group's 26th session, two draft procedural rules were addressed. The first discussed the draft of Article 9, entitled "Decision by a neutral party." This is based on the suggestion in 26th session to have a "two track" system of ODR, one including negotiation, facilitated settlement, and arbitration phrases, and the other not including an arbitration phase. The second draft procedural rule, draft Article 10, regards the language of proceedings. In most cases of international e-commerce, the decision of language of an ODR proceeding is a matter of importance, for the language parties could differ from each other. This paper examines several implications of UNCITRAL for Korea, which has unstable ODR system.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제5권1호
• /
• pp.13-24
• /
• 2001

Using computer technology in teaching school mathematics creates new instructional environments. The emphases on the use of computer technology in the classrooms and in particular the use of computer-based exploration as a context of mathematics instruction have been reflected in the recommendation of the NCTM (Curriculum and Evaluation Standards for School Mathematics, 1989). Although the power of using computer technology in the exploration of mathematical problems has been recognized and stressed by many educators, we do not have many research studies on mathematics in computer-based explorations. Especially research has failed to clarify how computer technology can contribute to the construction of procedural and conceptual knowledge of mathematics. Up to now most researches on procedural and conceptual knowledge in computer environments have only focused on classifying programming languages which program language has more random access and rich interrelationship characteristic in relation to conceptual knowledge in humans, and which computer language has more characteristic flavor of procedural knowledge. How computer-based explorations affect the knowledge construction of mathematics, therefore, emerges as an issue of research on teacher education program for theoretical framework. This situation leads to do research on the effectiveness of using computer explorations in pre-service teacher education in terms of procedural and conceptual knowledge construction.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권10호
• /
• pp.603-609
• /
• 2004

절차적(procedural) 텍스쳐는 다양한 해상도로 텍스쳐 공간을 표현할 수 있으며, 매우 적은 저장 공간을 사용하는 장점을 가지고 있다. 그러나 절차적 표현을 위한 암시적(implicit) 방법을 이해하기 어렵고 프로그래밍에 익숙하지 않은 일반 사용자가 다루기 힘들다. 본 논문에서는 사용자의 직관적인 디자인작업을 통해 절차적 패턴을 자동으로 생성하는 인터랙티브 시스템이 제안된다. 전체 디자인 과정은 다중레이어(layer)를 기반으로 하며 데이타, 연산 및 출력 노드 등으로 구성된 그래프 구조로 표현된다. 제안된 시스템은 일반 사용자에게 유연한 인터페이스를 제공하여 프로그래밍 작업 없이 절차적 텍스쳐 쉐이더를 자동으로 생성하도록 한다. 시뮬레이션 결과로부터 제안된 방법이 다양한 패턴을 효과적으로 제작할 수 있음을 확인하였다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(2)
• /
• pp.97-100
• /
• 2002

A procedural interface libary for IEEE Verilog 1364-2001 is developed. The lexer and scanner are developed to handle “Verilog-2001” which is the first major update to the Verilog language since its inception in 1984. Also the newly developed XML intermediate format for Verilog-2001 is Presented in the paper. By using the XML intermediate, it allows the portable and scalable development of various kinds of applications. The XML DTD(Document Type Definition) of Verilog is defined and the corresponding XML intermediate format is developed. The paper describes example application of code rule checker which is built using the language interface library.

• 한국어교육
• /
• 제28권1호
• /
• pp.23-47
• /
• 2017

This research analyzed procedural problems presented in academic writing faced by international students. The result of this research will serve as a basis for suggesting methods of developing a curriculum in Korean writing as a liberal arts education designed for international students. To analyze problems presented in academic writing by international students, the standard of assessment was divided into interaction, knowledge construction, and material quotation. Then, knowledge construction was divided into contents, structure, and expression, and the items were subdivided in each category. These categories of assessment correspond to the genre of academic writing and are different from the existing standard of assessment for academic writing. Applying these standards, this research analyzed 43 texts of academic writing in process for a final paper by international students in an class and presented problems in them. Furthermore, this paper aims to give detailed feedback that can help solve those problems.

• Journal of Information Processing Systems
• /
• 제17권3호
• /
• pp.537-555
• /
• 2021

Many researchers have carried out studies related to programming languages since the beginning of computer science. Besides programming with traditional programming languages (i.e., procedural, object-oriented, functional programming language, etc.), a new paradigm of programming is being carried out. It is programming with natural language. By programming with natural language, we expect that it will free our expressiveness in contrast to programming languages which have strong constraints in syntax. This paper surveys the approaches that generate source code automatically from a natural language description. We also categorize the approaches by their forms of input and output. Finally, we analyze the current trend of approaches and suggest the future direction of this research domain to improve automatic code generation with natural language. From the analysis, we state that researchers should work on customizing language models in the domain of source code and explore better representations of source code such as embedding techniques and pre-trained models which have been proved to work well on natural language processing tasks.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 춘계학술대회 논문집
• /
• pp.170-176
• /
• 2002

자바 언어는 다양한 플랫폼과 다양한 분야에서 사용되고 있는 대표적인 객체지향 언어이다. 자바 언어는 객체지향의 특징 때문에 전통적인 절차지향 언어 보다 프로그램의 구조가 단순하다. 그러나 복잡한 자바 프로그램을 디버깅하는 일은 쉽지 않다. 디버깅은 항상 소프트웨어 발전의 많은 비용이 드는 부분이다. 자바 프로그램의 구문 오류는 현재 디버깅 시스템에 의해서 쉽게 발견된다. 그러나 자바 프로그램에 포함된 논리적인 오류는 발견하기가 어렵다. 자바 프로그램을 위한 기존의 디버깅 기술은 절차지향언어에서 사용하는 순차적인 방법을 사용하고 있다. 불행히도, 이 전통적인 방법들은 종종 특별한 프로그램의 오류를 찾는데 적당하지 않다. 이는 프로그램의 크기가 커지고 복잡해짐에 따라 디버깅하는데 걸리는 시간이 프로그램을 개발하는 시간의 많은 부분을 차지하게 된다. 디버거 사용자가 자바 프로그램 내에 포함되어 있는 오류를 쉽게 찾아내는 일은 효율적인 소프트웨어 개발에서 매우 중요하다. 본 논문에서는 사용자가 자바프로그램을 좀 더 빠르게 디버깅을 할 수 있도록 알고리즈믹 디버깅 방법을 적용한다. 알고리즈믹 디버깅 방법은 함수의 호출관계를 실행 트리로 구성하고 이를 검사하여 에러가 포함 되어 있는 함수를 발견하는 방법이다. 따라서 기존의 순차적인 방법보다 디버깅하는 횟수를 줄일 수 있다.

• 한국콘텐츠학회논문지
• /
• 제11권12호
• /
• pp.597-610
• /
• 2011

데이터베이스 응용 프로그램 개발에서 데이터는 메모리 공간과 디스크 공간에 공존한다. 메모리 공간의 데이터를 조작하기 위하여 일반 프로그래밍 언어를 사용하고 디스크 공간의 데이터 조작을 위하여 SQL을 사용한다. 특히 메모리 데이터를 조작하기 위해 사용되는 절차적 언어는 SQL등의 선언적 언어보다 작성 및 유지보수가 어렵다. 이에 본 논문은 특수한 형태 즉, 트리 구조의 메모리 데이터는 선언적 언어인 SQL로 조작이 가능함을 보인다. 특히 UI (user interface)의 모델 데이터는 트리 구조로 표현 될 수 있기 때문에 예외적인 계산을 제외하고는 대부분의 메모리 데이터 조작은 SQL로 가능하다. 예외적인 계산은 도움 클래스 (helper class)로 처리하면 된다. 본 논문이 제시하는 SQL 메모리 데이터 조작은 예외적인 계산이 적은 데이터베이스 응용 프로그램 개발에 특히 적합하다.

• 공학교육연구
• /
• 제15권3호
• /
• pp.66-71
• /
• 2012

In this paper, we try to explore basic factors that defines easy-to-learn programming language and easy-to-learn development environments for novice students who have not been exposed to computer programming language education. For these purpose, we investigate and analyze computer programming languages that are widely used in industrial environments, and present the summary and analyzed results. From the experimental results, most novice programmers understand computer programming languages in terms of procedural programming languages rather than in terms of functional programming languages or object oriented programming languages. Furthermore, we have found that, for effective education of basic level programming languages, factors of development environments are much more important than factors of programming paradigms that the computer programming languages are based on.

• 한국멀티미디어학회논문지
• /
• 제10권4호
• /
• pp.537-547
• /
• 2007

컴퓨터 기술 발전에 따라 컴퓨터는 복잡하고 다양한 작업을 실행하고 있다. 또한 프로그램 복잡도 증가와 사용 언어의 한계 때문에 둘 이상의 프로그래밍 언어를 사용하여 응용 프로그램을 구현되고 있다. 그러나 현재 여러 언어를 동시에 사용하여 프로그램을 작성하거나 이를 구현하는 일반적인 방법론은 없는 상태이다. 본 논문에서는 위와 같은 문제점을 해결하기 위하여 여러 언어의 혼합 사용 형태와 구현 방식을 이종 언어 결합도(Heterogeneous Language Integration Degree)를 통해 분류하였다. 또한 이종 언어 결합도를 통해, 현재 구현된 객체지향 언어인 자바와 절차형 언어인 C 언어를 동시에 사용하는 방법인 JNI(Java Native Interface)를 이종 언어 결합도 측면에서 개선한 자바 전처리기를 설계하고 구현하였다.