• 정보처리학회논문지A
• /
• 제10A권1호
• /
• pp.75-81
• /
• 2003

소프트웨어의 개발, 유지보수 및 확장을 용이하기 하기 위하여 프로그래밍 언어에 여러 추상화 기법이 도입되었다. 그러나 추상화와 연관된 여러 개념과 용어가 통일성이 있게 정의되지 못하므로 인하여 관점에 따라 다르게 설명되기도 한다. 특히 추상화를 가장 강력한 기반으로 하여 태동된 객체 지향 패러다임에서 이러한 혼란은 아직도 계속되고 있는 실정이다. 본 논문에서는 프로그래밍 언어에서 가장 중요한 추상화의 하나인 절차적 추상화를 분석하고 이에 대한 유형을 살펴본다. 이를 통하여 절차적 추상화가 지금까지 일반적으로 인식되어온 '처리과정을 기능으로 바꾸는 추상화'라는 기본적인 추상화의 개념 외에도 '추상화에 대한 추상화'의 개념이 내포된 고수준의 추상화도 포함되어 있음을 밝힌다. 또한 절차적 추상화와 관련된 다형성을 추상화의 관점에서 설명한다. 이러한 분석과 고찰을 통하여 절차적 추상화에 대한 수준 높은 이해가 이루어질 수 있을 것이다.

• 정보처리학회논문지A
• /
• 제11A권1호
• /
• pp.89-96
• /
• 2004

프로그래밍 언어에서의 추상화는 변수, 함수, 복합 데이터 등에서부터 추상 데이터 타입, 클래스, 다형성 등에 이르기까지 광범위하게 적용되는 중요한 개념이다. 그러나 추상화 개념의 명확성과 통일성 부족으로 인하여 추상화는 다소 애매 모호한 특성을 갖는 용어로 인식되어지고 있으며, 관점에 따라 다르게 설명되는 혼란스러움을 경험하고 있다. 본 논문에서는 여러 프로그래밍 언어에 나타난 추상화에 대한 체계적인 분석을 실시하여 추상화의 분류를 제안한다. 추상화는 추상물의 생성 방법에 따라 사상 추상화, 묶음 추상화, 통합 추상화, 확장 추상화 등 4가지 범주로 분류된다. 또한 함수, 추상 데이터 타입, 객체, 캡슐화, 클래스 등 추상화를 기반으로 하여 형성된 여러 개념들이 추상화의 관점에서 고찰된다. 이러한 체계적인 추상화의 분석과 분류를 통하여 지금까지 개별적이며 서로 다른 형태의 추상화로 취급된 여러 추상화 양상이 하나의 통일된 개념으로 설명될 수 있을 것이며, 추상화의 의미, 필요성, 중요성에 대하여 보다 깊은 이해가 가능할 것이다.

• 한국가구학회지
• /
• 제18권2호
• /
• pp.152-160
• /
• 2007

The purpose of this study was to suggest a new approach to geometric abstraction for furniture design. For this study, Geometric abstraction that was done during 1917 through 1939 was investigated. Geometric abstraction is one form of pure abstraction and is mainly concerned with geometric elements and primary colors. De stijl and Bauhaus, which were emphasized groups during this period were influenced by geometric abstract arts. The purpose of this body of work has been to create furniture pieces that would express and embody my exploration and interpretation of geometric abstraction. The various compositions of geometric shapes, pure proportion, and primary color have been a focal point.

• 정보교육학회논문지
• /
• 제22권3호
• /
• pp.375-383
• /
• 2018

Wing은 21세기를 살아가기 위한 역량으로 컴퓨팅 사고력의 중요성을 역설하였다. 본 연구에서는 컴퓨팅 사고력의 추상화를 관련 연구를 통해 객체 추상화, 데이터 추상화, 절차 추상화로 분류하였다. 또한 추상화 역량 평가를 위해 추상화 성취기준과 평가기준을 개발하였다. 학교 현장에 적용한 결과 학생들은 문제 해결을 위해 글과 그림으로 표현하는 객체 추상화, 데이터 추상화 역량은 우수하지만, 컴퓨터 프로그램으로 작성하는데 어려움을 겪고 있음을 알 수 있었다. 본 연구에서 개발된 추상화 역량 평가는 소프트웨어 교육을 위한 학생 지도에 많은 도움을 줄 것이다.

• 컴퓨터교육학회논문지
• /
• 제21권5호
• /
• pp.1-10
• /
• 2018

2015 개정교육과정에 따라 개정된 정보 교과는 2018년부터 중학교 학생들에게 필수 교과로 도입되었다. 정보 교육과정에 나타난 추상화의 개념은 일반적인 추상화와 공통점과 차이점이 있는데, 현재 정보 교과서에는 이런 개념이 혼재되어 있다. 컴퓨팅 사고력의 추상화는 자동화와의 연결이 반드시 필요하며, 지금처럼 혼재된 사례로는 제대로 된 추상화 개념을 가르치기 어렵다. 따라서, 본 연구에서는 개정 교육과정에 따라 개발된 정보 교과서를 조사하여 추상화의 개념과 예시내용을 분석하였다. 분석결과 여러 정보 교과서의 추상화 내용이 자동화와 연결되지 않고 있으며, 일반적인 추상화의 개념과 혼재되어 사용되고 있었다. 이를 개선하기 위해 컴퓨팅 사고력 증진을 위한 명확한 추상화의 개념과 교육활동을 예시로 제시하였다. 본 연구의 결과는 컴퓨팅 사고력을 증진하기 위한 추상화 수업 재구성의 기초자료로 활용할 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권1_2호
• /
• pp.103-116
• /
• 2003

정형기법을 사용하여 실시간 시스템을 명세할 때. 상태 기반 정형 기법이 가지는 큰 문제 중의 하나는 시간 값. 자료 값, 위치 값을 통한 상대 표현으로 발생하는 상태 폭발이다. 본 논문에서는 상태 폭발 문제를 접근하기 위해, 시스템의 명세에 적용하는 추상화와, 명세된 시스템의 실행에 적용하는 추상화 기법을 정의하였다. 명세 구문에 정의한 추상화를 추문 추상화라 정의하고 명세 구문이 가진 패턴(연산 정보, 구조)을 정의하여 추상화한다. 실행에 적용되는 추상화는 의미 추상화라 정의하고 실행 시 생성되는 시간, 자료, 위치 상태 값이 파진 실행 의미의 패턴을 추상화한다. 추상화를 통하여 명세 모델과 실행 모델에 계층을 생성하여 상위 계층에서는 복잡도가 낮은 단계에서 시스템의 개략적인 정보를 분석할 수 있다. 하위 계층에서는 정확도가 높은 분석을 수행할 수 있는 반면에 많은 상태를 살펴야되기 때문에 높은 복잡도를 가진다. 본 논문에서는 추상화의 정의와 더불어, 적용 사례를 통하여 상태 감소와 계층성 생성, 복잡도 감소를 보인다.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제13권3호
• /
• pp.197-216
• /
• 2009

The purpose of this study was to investigate middle and high school mathematics teachers' levels and multiple approaches in United States practicing their abstraction levels and, different strategies and method of solutions towards given number theory problems. The mathematics teachers taking part in this study are consisted of 25 members of online graduate and undergraduate course (MAE 5641 and MAE 4813) delivered through Online Learning System called as the Blackboard (http://www.blackboard.com). Data collection methods include journal entries, written solutions to problems, the teachers' reflections on said problems, and post interviews. Data analysis was done based on [Hazzan, O. & Zazkis, R. (2005). Reducing abstraction: The case of school mathematics. Educ. Stud. Math. 58(1), 101-119]. Analysis of students' written solutions revealed that transitions among the solution methods have major effect on abstraction levels. Elevation and reducing abstraction is a dynamic process.

• 대한수학교육학회지:수학교육학연구
• /
• 제9권2호
• /
• pp.383-404
• /
• 1999

This study began with an epistemological question about the nature of mathematical cognition in relation to the learner's activity. Therefore, by examining Piaget's 'reflective abstraction' theory which can be an answer to the question, we tried to get suggestions which can be given to the mathematical education in practice. 'Reflective abstraction' is formed through the coordination of the epistmmic subject's action while 'empirical abstraction' is formed by the characters of observable concrete object. The reason Piaget distinguished these two kinds of abstraction is that the foundation for the peculiar objectivity and inevitability can be taken from the coordination of the action which is shared by all the epistemic subjects. Moreover, because the mechanism of reflective abstraction, unlike empirical abstraction, does not construct a new operation by simply changing the result of the previous construction, but is forming re-construction which includes the structure previously constructed as a special case, the system which is developed by this mechanism is able to have reasonability constantly. The mechanism of the re-construction of the intellectual system through the reflective abstraction can be explained as continuous spiral alternance between the two complementary processes, 'reflechissement' and 'reflexion'; reflechissement is that the action moves to the higher level through the process of 'int riorisation' and 'thematisation'; reflexion is a process of 'equilibration'between the assimilation and the accomodation of the unbalance caused by the movement of the level. The operational learning principle of the theorists like Aebli who intended to embody Piaget's operational constructivism, attempts to explain the construction of the operation through 'internalization' of the action, but does not sufficiently emphasize the integration of the structure through the 'coordination' of the action and the ensuing discontinuous evolvement of learning level. Thus, based on the examination on the essential characteristic of the reflective abstraction and the mechanism, this study presents the principles of teaching and learning as following; $\circled1$ the principle of the operational interpretation of knowledge, $\circled2$ the principle of the structural interpretation of the operation, $\circled3$ the principle of int riorisation, $\circled4$ the principle of th matisation, $\circled5$ the principle of coordination, reflexion, and integration, $\circled6$ the principle of the discontinuous evolvement of learning level.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권7_8호
• /
• pp.599-609
• /
• 2003

자동으로 동영상을 요약하는 알고리즘은 다양한 방향으로 진행되어 왔다. 하지만 이러한 알고리즘들은 한가지 저금수준 내용정보만을 이용하여 동영상을 요약하였기 때문에 요약하는 사용자의 주관을 반영할 수 없다는 단점이 있다. 즉, 동영상 요약이라는 것은 내용에 대한 전반적인 이해에 바탕을 두고 중요한 샷을 선택하는 것이라고 정의할 수 있는데 이 경우에 중요한 샷이라고 결정하는 것은 요약자의 주관에 따라 달라질 수 있기 때문에 사용자의 주관을 반영한 수 없다는 것은 큰 단점으로 대두될 수 있다. 본 논문에서는 사용자의 요구를 반영하는 동영상 요약 알고리즘을 제시한다. 알고리즘에서는 일반적으로 많이 사용하는 동영상 요약에 대한 목적함수와 이들에 대한 가중치를 이용한다. 본 논문에서는 동영상 요약을 목적함수를 극대화 시킬 수 있는 샷들의 집합으로 정의하는데 이 경우 문제점으로 제시될 수 있는 것이 계산량이 많다는 것이다. 즉, n개의 샷을 가진 동영상에 대하여 2$^n$번의 계산량이 필요하기 때문에 전체 알고리즘의 수행 시간이 많아지는 것이다. 본 논문에서는 이러한 문제점을 해결하기 위하여 빠른 시간에 근사 샷들의 집합을 구할 수 있는 Simulated Annealing 알고리즘을 이용하였다. 실험 결과에 의하면 본 논문의 알고리즘은 요약자의 주관을 반영시킬 수 있고, Simulated Annealing 을 이용하여 빠른 시간에 원하는 요약을 할 수 있음을 확인하였다. 본 논문의 알고리즘은 동영상을 대상으로 하는 디지털 비디오 라이브러리와 같은 응용 분야에 이용할 수 있을 것이다.

• 정보교육학회논문지
• /
• 제20권6호
• /
• pp.585-596
• /
• 2016

2018학년도부터 초중고등학교에서 소프트웨어 교육이 시행될 예정이다. 소프트웨어 교육의 목표는 학생들에게 Computational Thinking 능력을 길러주는 데 있다고 할 수 있다. Computational Thinking은 크게 추상화와 자동화로 구성되는데 추상화와 관련된 개념을 국가마다 전공마다 다르게 정의하고 있어 학생들과 교사들한테 혼란을 주고 있다. 따라서 본 논문에서는 추상화에 대한 여러 정의들을 비교하여 합리적으로 정의하였다. 합리적인 정의를 바탕으로 초등학교에서에서의 추상화 교육 방법과 평가 기준에 대하여 제안하였다. 본 논문에서 제시한 추상화에 대한 정의는 앞으로 소프트웨어 교육을 진행하면서 만나게 되는 문제에 대한 해결 방법을 제시할 수 있을 것으로 기대된다.