• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제24권4호
• /
• pp.949-974
• /
• 2010

본 연구의 목적은 고등학생 6명을 대상으로 교수실험을 통해 컴퓨터 대수 환경에서 매개변수 개념에 대한 학생들의 이해 과정에서 나타난 특정들을 알아보는 것이다. 본 연구에서는 Drijvers(2003)의 매개변수 개념의 구분에 따라 매개변수 개념을 "자리지기로서의 매개변수", "변하는 양으로서의 매개변수", "미지수로서의 매개변수", "일반화로서의 매개변수"로 세분화하여 컴퓨터 대수 환경에서 각 매개변수 개념에 대한 학생들의 이해의 특징을 조사하고, 컴퓨터 대수 환경이 각 매개변수의 개념 이해에 어떠한 역할을 하는지에 대해 알아보았다.

• 대한수학교육학회지:학교수학
• /
• 제2권1호
• /
• pp.183-202
• /
• 2000

The purpose of this study is to restructure the 10th grade mathematics curriculum for teaching the function area under the computer environment using ‘Mathview’, which is a computer algebra system designed for exploring algebra dynamically. The instructional sequence of the function area was redesigned to highlight the functions and properties of the computer software. And, based on the newly designed sequence, this study develops the sample ‘teaching unit’ using Mathview. The basic principle of the materials is to encourage students to investigate mathematics by manipulate various experimental tasks by themselves or through group study. And, the draft of the sequence and teaching unit was reviewed by some mathematics teachers and revised through the feedback.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권3호
• /
• pp.337-344
• /
• 2000

본 논문에서는 다중자원(multiple resource)을 사용하는 시스템의 명세와 검증을 위한 프로세스 대수 ACSMR(Algebra of Communicating Shared Multiple Resources)을 정의한다. ACSMR은 프로세스 대수 기반의 정형기법(formal methods)인 ACSR에 다중자원의 개념을 확장한 것이다. 명세와 검증의 예로 실시간 시스템의 스케줄링 기법의 하나인 Earliest-Deadline-First(EDF)를 멀티프로세서하에서의 시스템의 행동 명세와 다중 포트를 가진 레지스터를 이용한 수퍼스칼라 프로세서의 타이밍 특성과 자원 제한을 묘사하기 위한 명세방법을 제시한다.

• 정보처리학회논문지A
• /
• 제14A권6호
• /
• pp.383-390
• /
• 2007

본 논문에서는 컴퓨터 대수 시스템과 베이지언 추론망 기반 학습자 모델을 이용하여 개발한 이공계 수학용 이러닝 시스템을 소개하였다. 이 시스템은 컴퓨터 대수 시스템 기반 수학용 콘텐츠 저작모델의 최근 모델인 동적 클라이언트 비의존형 모델을 따른다는 점과 개별 진단평가를 위한 추론 엔진으로 베이지언 추론망을 활용한 학습자 모델을 구성한다는 점에서 기존의 이러닝 시스템과 차별화된다. 이 시스템의 컴퓨터 대수 시스템 기반 저작모듈은 웹 수식표현에 관한 선지식이 없는 교수자에게 일체의 소프트웨어 지원 없이 수치계산, 기호연산, 그래픽처리가 가능한 수학 콘텐츠를 손쉽게 저작할 수 있는 환경을 제공해 주며, 베이지언 추론망을 웹과 연동되도록 구성한 평가모듈은 각 학습자의 학습영역별 학업성취도를 확률로 제시하는 것이 가능하도록 해주어, 학습자의 수준을 이원분류표와 같은 기존의 평가 방법보다 타당하고 과학적으로 진단해 준다. 이는 궁극적으로 학습자에게 보다 정확한 보충학습 내용을 제시하고, 사용자 개개인에게 가장 적합한 심화학습 내용을 적응적으로 제공해 주는 것이 가능하게 해 준다.

• 한국콘텐츠학회논문지
• /
• 제8권5호
• /
• pp.276-286
• /
• 2008

본 논문에서는 컴퓨터 대수 시스템을 기반으로 하는 웹 저작 환경과 베이지언 추론망을 적용한 학습자 진단 환경이 포함된 이공계 수학용 적응적 이러닝 시스템 개발에 대하여 소개하였다. 본 시스템을 활용하면 교수자는 컴퓨터 대수 시스템을 수식처리 엔진으로 하며 웹을 인터페이스로 하는 이공계 수학용 웹 콘텐츠를 쉽게 생성할 수 있다. 구체적으로 선형대수, 미분방정식 및 이산수학의 영역에서 콘텐츠 개발의 예를 소개하였다. 또한 학습자의 지식 영역별 수준을 조건부 확률을 이용한 통계적 추론에 의해 진단하여 그 결과에 따라 피드백을 생성하는 적응적 이러닝 웹 콘텐츠를 만들 수 있다. 본 시스템을 사용하여 개발한 이공계 수학용 웹 콘텐츠를 평가하기 위하여 그 결과물을 대학 강의에 적용하였고, 설문지 조사를 통하여 콘텐츠 사용에 대한 학습자의 반응을 평가하였다.

• 한국정보처리학회논문지
• /
• 제3권6호
• /
• pp.1355-1364
• /
• 1996

복합 객체 모델은 복잡한 구조 데이타를 지원하기 위해 기존의 관계형 데이타 모 델을 자연스럽게 확장한 값 중심 데이타 모델이다. 본 논문은 복합 객체 모델의 검색 연산을 대상으로 대수적 최적화 기법의 적용이 용이한 대수 설계를 제안한다. 이를 위해 우선, 복합 객체 처리를 목적으로 제안된 기존의 대수들을 대수적 최적화 기법 의 적용성을 기준으로 비교 분석한다. 또한 단순 명료성, 데이타 구조에 대한 무제약 성, 단일 표현 체계의 설계 원칙을 기반으로 복합 객체 대수를 설계한다. 제안된 대 수의 특징은 다양한 구조의 복합 객체에 대한 대수의 안정성과 단순성을 유지하고 동 시에 대수적 최적화 기법의 적용이 용이한 점이다. 끝으로 본 연구에서 설계된 대수 가 기존 대수들과 동등하거나, 더 향상된 표현력을 갖음을 보인다.

• East Asian mathematical journal
• /
• 제19권1호
• /
• pp.17-26
• /
• 2003

This paper demonstrates the CAS technique of analyzing the nature and the structure of the numerical error for education and research purposes. This also illustrates the CAS approach in experimenting with the numerical operations in an arbitrary computer number system and also in doing error analysis in a visual manner.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제52권3호
• /
• pp.271-301
• /
• 2013

The purpose of the study was to investigate how students generalize and prove the factoring of $x^n-1$ using a Computer Algebra System application and the role of CAS in this process. The theoretical framework consists of the anthropological and the instrumental approach. In particular, the basis of the Task-Technique-Theorization(T-T-T) frame adapted form Chevallard's anthropological approach of Didactics is utilized. We found that Technique-Theorization emerges in mutual interaction between paper-and-pencil techniques and computer algebra techniques. And this interaction led to the students' theoretical reflection and conceptual understanding. In this process, we could identify three epistemic role of CAS : the role of checking the result, the role of cognitive stimulation and the role of extending thinking. Therefore CAS plays on a epistemic role of checking the result of a task, stimulating the student' cognition and extending their thinking as well as pragmatic role of producing the result of a input.

• 한국실천공학교육학회논문지
• /
• 제2권2호
• /
• pp.49-54
• /
• 2010

함수와 그 그래프는 수학교육에서 매우 중요한 개념이다. 그러나 함수의 개념에 대한 이해 없이 학습을 하거나 또는 함수에 대한 흥미 없이 함수를 학습을 하는 학생들이 많이 있다. 본 연구에서는 함수와 그 그래프의 개념을 일상에서 볼 수 있는 다양한 형상 속에서 찾아보고, 형상과 함수의 그래프를 매칭하는 학습방법을 제시한다. 즉, 형상의 윤곽을 함수의 그래프로 생각하고, 그 그래프를 생성하는 함수를 추정하여 그래픽 기능이 내장된 계산기의 스크린에 함수의 그래프를 그리는 학습방법을 제시한다.

• 대한조선학회지
• /
• 제32권6호
• /
• pp.39-45
• /
• 1995