• 제목/요약/키워드: 형식적 정의

검색결과 738건 처리시간 0.026초

수학의 가치 교육: 폴라니의 인식론을 중심으로 (Teaching of the value of mathematics: in the perspective of Michael Polanyi's philosophy)

  • 남진영
    • 한국초등수학교육학회지
    • /
    • 제18권1호
    • /
    • pp.63-81
    • /
    • 2014
  • 우리나라 학생들은 수학의 인지적 영역에서는 높은 성취를 보이지만 정의적 영역에서는 현저히 낮은 성취를 나타내고 있다. 본 논문에서는 수학의 정의적 영역 중 수학의 가치 교육 문제에 대하여 폴라니의 인식론을 바탕으로 논하였다. 폴라니의 인식론에서는 개인적 지식과 지식의 암묵적 차원을 강조한다. 그는 수학의 추상성, 일반성을 강조하였고, 수학의 발전은 공리적, 형식적 측면보다는 지적 아름다움과 열정에 의하여 안내된다고 하였다. 이러한 폴라니의 인식론의 관점에서 볼 때, 수학의 유용성, 실용성 등의 언어적 전달이나 표면적인 흥미 유발을 위한 활동은 본질적으로 가치 교육 및 수학 공부의 내재적 동기 부여에 한계가 있다. 수학 공부의 가치는 적절한 수학 문제에로의 몰입과 긴장, 그리고 문제가 해결되면서 따르는 기쁨, 환희를 맛보며 몸으로 체득하면서 배워야 하는 것이다.

  • PDF

화상인덱싱방법에 의한 효과적 Thumbnail 화상 (Effective Thumbnail Image by Image Indexing Methods)

  • 김지홍
    • 디자인학연구
    • /
    • 제16권4호
    • /
    • pp.481-488
    • /
    • 2003
  • 본 논문은 원화상으로부터 Thumbnail 화상을 효과적으로 제작하는 한 방법으로서 적합한 파일형식을 자동으로 선정하는 방법을 제안한다. 이를 위해, 우선 원화상과 JPEC, GIF 파일형식의 화상의 비교를 통해 화상의 특징에 따른 적합한 파일형식을 분석하고, 내용기반의 화상인덱싱방법에 사용되는 화상의 특징 추출 방법을 이용하여 화상에 포함된 4개의 특징을 추출하고, 추출된 특징의 포함 정도에 따라 적합한 파일형식을 결정하는 방법을 기술하였다. 4개의 특징은 미세한 부분의 포함 정도, 화상에 포함된 고 채도 색의 포함 정도, 화상의 사용된 색의 수, 색의 연속적인 변화 부분의 크기이며, 6개의 샘플화상을 대상으로 실험을 수행하였다. 제안된 방법에 의해 자동으로 생성된 Thumbnail 화상을 주관적 관능실험에 의해 평가한 결과, 시각적으로 선호하는 파일형식과 높은 일치 도를 보였으며, 따라서, 본 방법은 웹디자이너의 화상작업에서 체계적이고 효과인 Thumbnail 화상의 구현에 효과적으로 사용될 수 있음을 보였다.

  • PDF

형식주의 영화 <Dogville>이 구성하는 인간과 인간다움의 경계 (Boundary between Human and Humanism Constructed by Formalism Film <Dogville>)

  • 강승묵
    • 한국콘텐츠학회논문지
    • /
    • 제9권12호
    • /
    • pp.138-145
    • /
    • 2009
  • 인간다움은 인간적 또는 보다 인간다운이라는 의미와 함께 인간다움의 존엄과 존중을 동시에 함의한다. 본 논문은 영화의 영상이미지가 재현하는 인간과 인간다움의 문제에 천착하고자 했다. 이를 통해 영화가 인간과 사회에 대해 성찰적 태도를 견지하는 방식을 그 고유의 예술형식을 중심으로 살펴보았다. 특히 형식미학에 기반을 두는 형식주의와 작가주의의 이론적 논의를 배경으로, 라스 폰 트리에 감독의 영화 의 시공간 구조의 구성 방식을 분석했다. 연구결과에 의하면, 은 시각중심주의적 미학을 영화 형식으로 전유해 연극적 무대의 회화적 상상화를 통해 영화예술의 개념적 규정에 일정한 자율성을 부여하는 것으로 분석되었다. 이것은 영화적 시공간을 가상의 것으로 전환시켜 인간의 성선과 성악의 구분, 인간다움의 정의가 허구일 수도 있음을 즉물화함으로써 기존의 제도적 재현 형식을 전복시킨 것이라고 할 수 있다.

항공물류 이해관계자들의 표준 인터페이스 방안 연구 (2) (A Study on Interface for Agencies of Air Logistics (2))

  • 이두용;이태윤;송영근;권대우;이창호
    • 대한안전경영과학회:학술대회논문집
    • /
    • 대한안전경영과학회 2010년도 춘계학술대회
    • /
    • pp.161-166
    • /
    • 2010
  • 항공물류 분야의 개선을 위해 공항에서 연구와 투자를 통하여 공항 선진화를 이루고 있고, 우리나라도 지속적으로 증가하는 항공물류 분야의 개선이 필요하다고 인식하고 개선을 위한 방안을 연구하고 있지만, 항공물류 전반에 걸쳐 통합적인 개선이 이루어지지 않고 개별적이거나 부분적인 시스템 개선으로 중복 투자와 비효율성의 문제가 발생하고 있다. 본 논문에서는 이러한 문제점들을 해결하기 위해 현행 항공물류 프로세스를 수 출입으로 구분하여 분석하였고, 시스템 통합 사례들을 검토하여 프로세스 상에서 발생하는 문서들을 분석하였다. 이중 인터페이스 대상 문서를 선정하고 문서의 데이터 내용과 형식을 정의하였다. 정의한 데이터의 형식을 대상 문서에 코드로 적용시키고 시뮬레이션을 통하여 데이터 저장량을 비교 분석하였다. 이를 통해 항공물류 이해관계자간의 정보 교환이 용이해지고 동일한 정보를 재생성하거나 재가공하는 비효율성을 감소시킬 것으로 기대된다.

  • PDF

고등학생의 무한에 대한 개념정의와 개념이미지 (Concept Images and Definitions of Conepts of Infinity and Limits for High School Students)

  • 황우형;지영조
    • 한국학교수학회논문집
    • /
    • 제11권2호
    • /
    • pp.249-283
    • /
    • 2008
  • 본 연구의 목적은 고등학생들이 가지고 있는 극한에 대한 개념 정의와 개념 이미지를 조사해보고 어떤 부적절한 개념 이미지를 가지고 있는지 알아보는데 있다. 또한 관련 개념에 대한 문제를 해결하는 과정에서 어떤 오류를 범하는지도 알아보았다. 연구대상은 인문계 고등학교 이공계열 여학생 121명 이었으며 연구방법은 질문지 검사를 통하여 이루어졌다. 무한수열의 극한의 경우 11%, 무한급수의 경우에는 5%의 학생만이 교과서의 형식적 정의와 유사한 개념정의를 가지고 있었다. 학생들이 보여준 오류유형은 모두 6가지로 나타났으며 학생들은 문제를 푸는 과정에서 무한수열의 극한에 비하여 무한급수의 합에 대한 정의와 성질들을 이해하고 적용하는 것을 더 어려워했다.

  • PDF

객체지향 시소러스를 RDF Schema로 변환하기 위한 매핑 구조의 설계 및 구현 (Design of Mapping Structure and Implementation to transform Object-Oriented Thesaurus into RDF Schema)

  • 양경아;방선이;양재동
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
    • /
    • pp.289-291
    • /
    • 2002
  • 본 논문에서는 객체지향 패러다임의 구조적 특성을 적용하여 만든 시소러스를 이용하여 웹 자원의 의미적 연관성을 RDF 형식으로 표현할 수 있는 RDF 문서 자동 생성기를 소개한다. 객체지향 시소러스를 RDF 형식으로 나타내기 위해 시소러스에 사용된 객체와 관계의 내용을 명세한 네임 스페이스를 정의하여 시맨틱 웹에서 메타데이타를 기술하는 표준이 되는 RDF와 RDF Schema 형식으로 매핑할 수 있다. 이러한 연구를 통해 객체지향 시소러스의 내용을 RDF 형식으로 표현함으로써 지식베이스(KnowledgeBase)라 불리는 온톨로지를 생성할 수 있으며, 구축된 온톨로지는 시맨틱 웹 상의 에이전트나 다른 어플리케이션에 응용될 수 있다.

  • PDF

DB 자동 구축을 위한 필기 형식문서 인식 시스템의 개발 (Development of Handwritten Form Recognition System for Automated Database Construction)

  • 김동준;조성정;류성호;이택헌;김진형
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
    • /
    • pp.1047-1050
    • /
    • 2000
  • 형식문서는 현재 정보의 체계화된 표현 및 저장 수단으로서 널리 사용되어 왔다. 최근 이러한 형식문서들을 데이터베이스화해주는 시스템들이 보급되고 있다. 그러나 대부분 외국의 시스템을 기반으로 작성되어 한글, 영어, 숫자, 한자등 다양한 필기 문자들이 사용되는 국내 환경의 특수성을 적절히 반영하지 못하고 있다. 그 결과, 대부분의 경우 아직도 사람이 직접 자료를 입력해야만 한다. 본 논문에서는 이러한 국내 실정에 맞게 다양한 언어의 필기 문자 인식기를 결합하여 형식 문서의 정보를 자동으로 데이터베이스에 입력해 주는 시스템을 제안한다. 제안된 시스템은 영상을 인식한 뒤 그 결과를 검증하는 방법을 통하여 정보의 입력을 보다 효율적으로 수행할 수 있을 뿐 아니라, 전체 작업을 단계별로 분할하여 병렬적으로 수행할 수 있게 함으로써 처리율을 향상시킬 수 있게 하였다.

  • PDF

VOQL* : 귀납적으로 정의된 형식 시맨틱을 지닌 시각 객체 질의어 (VOQL* : A Visual Object Query Language with Inductively-Defined Formal Semantics)

  • 이석균
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제27권2호
    • /
    • pp.151-164
    • /
    • 2000
  • 객체 데이타베이스를 위해 최근에 제안된 VOQL(Visual Object Query Language)은 경로식과 집합 관련 조건을 시각화하고 형식 시맨틱을 제공하는데 성공적이었다. 그러나 기존의 VOQL은 몇가지 문제들이 있다. VOQL에서는 집합 관련 조건만이 허용되고, 변수 개념을 위한 명시적인 언어 구문이 없어서 질의문들은 종종 어색하고 직관적이지 못하다. 본 논문에서는 이러한 문제들을 극복하도록 VOQL을 확장한 VOQL*를 제안한다. 시각변수 개념을 도입하고 이에 기초하여 VOQL의 문법과 시맨틱을 수정하였다. VOQL*의 언어 구문들은 OOPC의 문법을 반영하도록 조심스럽게 정의되어서, 시각변수, 시각요소, VOQL* 단순 텀(term), VOQL* 구조 텀, VOQL* 기본 포뮬라(formula), VOQL* 포뮬라, VOQL* 질의문 등의 VOQL* 구문들이 OOPC 구문들처럼 계층적이고 귀납적으로 구성되어 있다. 가장 중요한 것은 VOQL*의 각 구문의 시맨틱이 OOPC를 사용하여 재귀적 방법을 통한 형식 정의가 이루어진다는 점이다. 잘 정의된 문법과 시맨틱으로 말미암아, VOQL*의 질의문들은 명확하고 간결하고 직관적이다. 또한 VOQL* 질의문을 OOPC 질의문으로 번역하는 효과적인 절차를 제공한다. VOQL*는 로직의 문법적 구조를 반영하는 잘 정의된 문법과 귀납적 방법으로 형식 시맨틱을 제공하는 첫번째 시각 질의어이다.

  • PDF

Graph Editor형식의 통합정보사전 개발 시스템 (A thesaurus development system with an embedded graphic editor)

  • 남동수;최용준;황도삼
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2000년도 추계학술발표논문집 (상)
    • /
    • pp.341-344
    • /
    • 2000
  • 통합정보사전은 고도의 언어처리 및 이해를 목적으로 한 것이며, 체계적이고 과학적인 방법론을 이용하여 형태소, 구문, 의미정보 등 각종 정보가 통합된 전자사전으로, 이를 개발하는데는 막대한 개발시간과 노력을 필요로 한다. 이러한 특성 때문에 통합정보사전을 구축하기 위해서는 정보를 통합하고 관리하는 사전개발 시스템의 개발이 선행되어야 한다. 현재까지의 사전개발 시스템은 사전 항목을 정의하고, 정의된 항목에 표제어별 정보를 입력하는 시스템으로, 단순한 정렬 및 검색에 의한 표제어 찾기 및 편집을 지원하고 있다. 본 논문에서는 사전의 계층화된 항목정보를 트리 형식으로 나타내어 사전의 개발 및 구축작업을 효율적으로 지원하기 위한 통합정보사전 개발 시스템인 YDK3를 설계하고 구현하였다. 구현한 YDK3는 기존의 각종 사전의 다양한 사전정보를 입력하는 기본적인 기능 외에, 항목정보를 기반으로 한 graph editor형식의 사용자 인터페이스가 제공되어, 사전의 개발, 자료입력 및 검색을 보다 쉽게 할 수 있다는 특징이 있다.

  • PDF

호환성 있는 인체 애니메이션을 위한 모션 데이터 정의 (A Motion Data Definition for Compatible Human Animation)

  • 정철희;이명원
    • 한국컴퓨터그래픽스학회논문지
    • /
    • 제14권2호
    • /
    • pp.35-41
    • /
    • 2008
  • H-Anim은 웹3D 컨소시엄의 휴머노이드 애니메이션 워킹 그룹 (Humanoid Animation Working Croup)에서 제정한 휴먼애니메이션에 필요한 인체 구조를 정의한 국제 표준안이다. 이 구조에 따라 인체를 움직이기 위한 다양한 라이브러리가 제작되고 있으나 인체의 사실적인 움직임을 표현하는 데에는 한계를 갖는다. 본 연구에서는 H-Anim 구조를 바탕으로 인체 애니메이션 생성에 필요한 모션 정의를 위해 모션 캡처 데이터를 활용하여 인체의 사실적인 움직임을 생성하는 방법을 제안한다. 이를 위해 기존의 H-Anim 명세와는 달리 모션 캡처 데이터를 입력 받을 수 있도록 휴머노이드 모션을 위한 데이터 형식을 정의하고 이를 입력 받아 모션을 디스플레이하는 브라우저를 개발하였다. 본 연구에서의 휴머노이드 모션 데이터 형식은 X3D 기반의 데이터 형식으로서 네트워크상 혹은 서로 다른 브라우저들 사이에서 호환성을 갖도록 하는 것을 목적으로 한다.

  • PDF