• Journal for History of Mathematics
• /
• v.12 no.2
• /
• pp.119-133
• /
• 1999

In this paper, we consider the abstraction of mathematics and arts. In particular, we compare cave arts of Palaeolith stone ages with those of Neolith stone ages and analyze paintings of a child. After the Middle ages, in Renaissance period the new technique, perspective was introduced by painters for the sake of realistic description. We consider the social background of perspective. In 19th century, European society became familiar with the abstraction of mathematics and arts. And we also study the mathematical concepts and the abstract paintings on the basis of the social backgrounds.

• The Journal of the Korea Contents Association
• /
• v.22 no.10
• /
• pp.225-238
• /
• 2022

The purpose of this study is to explore the performance characteristics and laws of the symbol mark design of representative regional history museums in China, as well as the preferences of Chinese audiences for the symbol marks of different types of Chinese regional history museums. First, the performance theme, performance type, and type performance tendency of symbol mark modeling of the regional history museums among the top 100 museums in China are analyzed. Second, design laws based on the interrelationship of performance theme types and design performance types are explored. Finally, the questionnaire survey is carried out to explore preference from the aspects of attention, readability, closeness, originality, aesthetics and comprehensiveness. According to the results, the theme of regional history is the most in terms of themes. As for the modeling performance types, the concrete type and the visualization of Chinese character are the most. According to the content characteristics of different performance types, the following model characteristics are formed: expressing the theme of regional history, architecture, and regional natural ecological environment through the concrete type, expressing the concept through the abstract type, and expressing the concept and implying some building features through the geometric abstract figure. The three forms of the literal type, the concrete type expressing architecture, regional history, and regional natural ecological environment theme content, and the abstract type expressing concept are combined with each other, and expressed through the visualization of character, the mixture of abstract and literal type, the mixture of concrete and abstract type, and the mixture of concrete and abstract literal type in the mixture type. According to the survey results, Chinese audiences have higher preference for the concrete type in the symbol mark performance type and the regional historical theme in the performance content.

• The KIPS Transactions:PartA
• /
• v.11A no.1
• /
• pp.89-96
• /
• 2004

Abstraction is an important concept applied widely to variables, functions, complex data, abstract data types, classes and polymorphism in programming languages. However, the concept of abstraction has been considered as ambiguous and explained differently because it is not defined clearly and uniformly. In this paper, we analyse many aspects of abstraction in programming languages, and propose the taxonomy of abstraction. We classify abstraction according to the mechanism of formation into 4 categories such as napping abstraction, bundling abstraction. integrating abstraction and extending abstraction. We also consider many concepts related closely to abstraction such as functions, abstract data types, objects, encapsulation and classes in the view of abstraction. These analysis and consideration will make it possible to explain uniformly various aspects of abstraction which have been treated individually and differently, and to understand the meanings, necessity and importance of abstraction more intensively.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.601-603
• /
• 2002

공유메모리 병렬프로그램에서 경합은 프로그램의 비결정적인 수행을 초래하므로 디버깅을 위해서 반드시 탐지되어져야 한다. 경합을 수행 중에 디버깅하기 위한 기존의 도구들은 경합탐지 엔진과 시각화 엔진으로 구성된 경합디버깅 엔진을 특정 프로그램 모델에 의존적으로 적용하여 경합디버깅 환경을 구성한다. 이러한 도구들은 프로그램 모델의 변경 시에 경합디버깅 환경이 최적의 경합 디버깅 엔진으로 구성되지 못한다는 문제점이 있다. 본 논문에서는 OpenMP 병렬프로그랭에서 각 프로그램 모델에 따라 효과성, 효율성, 확장성 등을 고려한 경합탐지 엔진과 추상성을 고려한 시각화 엔진으로 경합디버깅 환경을 자동으로 생성하는 도구를 제안한다. 이 도구는 디버깅 대상이 되는 프로그램의 모델에 최적인 경합디버깅 엔진을 적용하므로 경합탐지 목적에 부합하는 최적의 성능과 효과적인 시각화를 제공한다. 따라서, 본 도구는 디버깅 환경을 생성하기 위한 부담을 줄여서 효과적인 디버깅을 할 수 있게 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2031-2034
• /
• 2002

소프트웨어가 대형화되고 복잡해짐에 따라 개발 과정에서 많은 요구사항이 발생되고 변화가 일어난다. 이러한 상황에서 소프트웨어는 유연성을 지니고 요구사항을 충족시켜야 한다. 그러나 추후에 발생할 요구사항을 모두 예견하고 충족시키는 것은 불가능하다. 이를 위해 기존 소프트웨어를 재사용하고 유연성을 높일 수 있도록 소프트웨어의 리펙토링(refactoring)을 해주어야 한다. 리펙토링은 행동(behavior) 변화가 없이 보호하고 소프트웨어를 효율적이고 유지보수가 쉽도록 전환하는 과정이다. 리펙토링에서 추상 슈퍼클래스 (abstract superclass)의 생성과 디자인 패턴을 이용함으로써 소프트웨어의 재사용성을 높여주고 유연성을 제공해 줄 수 있다. 본 논문에서는 사례 연구로써 표준프로파일 제공시스템의 통합검색부분에 추상 슈퍼클래스의 추출 및 생성, 디자인 패턴, 기존 프로그램의 합성 등의 방법을 적용하여 리팩토링을 하도록 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.1009-1012
• /
• 2001

일반적으로 크고 복잡한 소프트웨어 시스템은 커다란 다이아그램의 집합으로 구성되지만 이들 각각의 다이아그램들이 일관성이 있고 완전한가를 알기는 매우 어렵다. 이러한 문제를 해결하기 위하여 [1]에서는 최근 객체지향 개발에서 많이 사용되고 있는 UML 다이아그램들에 대한 일관성과 완전성을 검사하기 위하여 각 다이아그램들을 ER 모델로 표현하고, 각 다이아그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하였다. 이렇게 통합된 다이아그램은 일편의 집합과 함수들을 사용하여 정형적으로 명세되며, 이러한 정형 명세를 기반으로하여 일관성과 완전성 검사를 수행하기 위한 규칙을 제공하였다. 그러나 [1]에서 정형적으로 명세된 집합과 함수를 실제로 사용하기 위해서는 우리가 알고있는 정형 명세 언어로 변환할 필요성이 있다. 따라서 본 논문에서는 이러한 집합을 추상자료형으로 명세하여 정의하고, 추상자료형으로 표현된 명세를 우리가 잘 알고 있는 Z 명세로 변환하여 검증 도구를 설계하는 기초로 사용하고자 한다. Z 명세는 쉽게 실행가능한 형태로 변환되어 검증 시스템을 구축할 수 있게 된다.

• Communications of Mathematical Education
• /
• v.16
• /
• pp.165-173
• /
• 2003

수학은 추상적인 학문이다. '추상'은 몇 개 또는 무한히 많은 사물의 공통성이나 본질을 추출하여 파악하는 사고작용이다. 그리고 이 추상들이 모여 분류(유사성을 기초로 해서 우리의 경험을 함께 묶는 것)가 되고 그 다음에 이름이 붙여진다. 이것이 바로 개념(concept)이 형성되는 과정이고 수학자가 수학을 하는 과정이다. 그리고 이 개념들은 여러 가지 모양으로 결합하여 스키마(Schema)라고 부르는 개념 구조를 형성하게 되는데, 이 스키마(Schema)는 수학적 사고를 하는데 매우 중요한 역할을 한다. 본 논문에서는 기존의 초등학교 교과서의 소수의 관한 내용에서 교차연결고리가 부족한 부분을 보충한 스키마식 수업 모델을 제시하여 수학의 연계성과 위계성을 강조함으로써 학생들로 하여금 수학의 구조를 파악하게 하여 수학에 대한 흥미와 필요성을 알게 하는데 그 목적을 두고 있다.

• The Korean Publising Journal, Monthly
• /
• s.344
• /
• pp.24-25
• /
• 2004

• Korean Journal of Child Studies
• /
• v.28 no.5
• /
• pp.19-36
• /
• 2007

This study explored proverb comprehension and use in elementary school children by familarity and concreteness of proverbs and children's age, sex, experience of living with grandparents. The 529 fourth and sixth grade participants completed a questionnaire probing knowledge of 16 proverbs; 4 each in four categories(familiar-concrete, familiar-abstract, unfamiliar-concrete, and unfamiliar-abstract). Results showed highest comprehension scores for familiar-concrete proverbs. Sixth graders obtained higher comprehension score than fourth graders in all four proverb categories. There was no difference between grades in frequency of proverb usage. An interaction effect between grade and sex showed that female sixth graders had the highest comprehension score. These results suggest a possibility of relationship between figurative language and cognitive development related to abstract thinking in late school-age children.

• Communications of Mathematical Education
• /
• v.14
• /
• pp.61-70
• /
• 2001

수학은 추상적인 학문이다. '추상'은 몇 개 또는 무한히 많은 사물의 공통성이나 본질을 추출하여 파악하는 사고작용이다. 이렇게 추상된 것들을 모아 분류를 하고 그 다음에 이름을 붙이는 것이 바로 개념이 형성되는 과정이고 수학자가 수학을 하는 과정이다. 이 개념들은 여러 가지 모양으로 결합하여 스키마라고 부르는 개념 구조를 형성하게 되는데, 이 스키마는 수학적 사고를 하는데 매우 중요한 역할을 하여 수학을 개념적으로 이해하는데 도움을 주며, 새로운 지식을 얻는데 필요한 필수적인 도구가 된다. 본 논문에서는 연속적인 수열의 합의 공식에 대하여 학생들이 Skemp가 말한 '관계적 이해'를 할 수 있도록 스키마를 이용하여 문제를 해결할 수 있는 모델과 원주의 스키마를 이용한 생활 속의 문제를 제시하여 학생들이 공식을 암기하기보다는 수학의 구조를 파악하고 연계성을 이해함으로서 능동적인 구성활동을 유발하여 수학에 대한 흥미를 느낄 수 있도록 도움을 주고자 한다.