• 한국수학교육학회지시리즈A:수학교육
• /
• 제44권2호
• /
• pp.297-306
• /
• 2005

In this paper, we propose a computer environment class for student's mental representations about non-Euclidean geometry. Through the software Cinderella, students construct knowledge about non-Euclidean geometry and recognize differentness between Euclidean and non-Euclidean geometry. Also they recognize an existence of non-Euclidean geometry newly and its mental representations with images represented in Cinderella. In geometry class, we make students can use many representations systematically and can figure a visual internal image by emphasizing a transform process. And then students can reason about non-Euclidean geometry.

• 한국학교수학회논문집
• /
• 제6권2호
• /
• pp.39-53
• /
• 2003

본 연구에서는 인터넷 환경에 적합한 동적기하 소프트웨어에 대하여 논의하였다. 먼저 동적기하 소프트웨어의 필요성을 살펴보고, 상용되고 있는 소프트웨어인 GSP, Cabri, Cinderella의 기능 및 특징을 비교하였다. 그리고 본 연구진에 의하여 국내 최초로 개발된 DRC(Digital Ruler and Compass)의 개발과정과 구조에 대하여 알아보고, 인터넷 환경에서 DRC를 활용한 학습 방안에 대하여 알아보고 이후의 발전전망에 대하여 논의하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.217-219
• /
• 2003

최근 반도체 설계 및 생산 공정의 급속한 발달로 내장형 시스템이 대중화되는 추세이고 비용이나 제품 출시 기간에 있어서 내장형 소프트웨어는 중요한 하나의 요소로 대두되고 있다. 내장형 시스템은 일반 PC와는 다르게 메모리 크기. 전력 소비, 신뢰성, 사이즈. 비용 등과 같은 제약사항들을 내포하기 때문에 제한된 자원의 효율적인 이용과 소프트웨어의 최적화를 위해 소프트웨어의 성능을 분석하기 위한 필요성이 대두된다. 본 논문에서는 소프트웨어 성능분석 도구인 'Cinderella'를 확장하기 위하여 현재 가장 널리 사용되고 있는 이진 실행 파일인 ELF파일에서 성능을 측정하기 위한 기본 요소로서 Control flow graph를 추출하기 위한 알고리즘을 제안한다. 본 논문에서 제안한 알고리즘은 향후 ARM기반의 머신에서 ELF파일의 내장형 소프트웨어의 시간분석에 필요한 요소이다.