• 한국수학교육학회:학술대회논문집
• /
• 한국수학교육학회 2010년도 제44회 전국수학교육연구대회
• /
• pp.83-97
• /
• 2010

The purposes of this study were to explore in depth about 5th graders' mathematical speaking and writing abilities and to investigate differences on those abilities. The study involved 3 5th graders and their speaking and writing abilities in geometry area were analyzed. According to the results of the study, the children had difficulties in selecting and using appropriate mathematical languages to explain mathematical concepts, mathematical ideas, and problem solving steps. The children who participated in the study showed higher ability in speaking than writing.

• 정보처리학회논문지A
• /
• 제12A권2호
• /
• pp.171-180
• /
• 2005

분산 시스템에서 가용성을 높이고 전체 시스템의 성능을 향상시키기 위해 데이터는 여러 노드에 중복하여 저장된다. 여기서는 전역적 접근제어를 위해서 읽기/쓰기 동작을 수행하는데 필요한 노드의 집합을 정의하는 Quorum 프로토콜이 존재한다. Quorum 프로토콜을 사용하는 대표적인 복제 프로토콜인 Tree Quorum 프로토콜은 트리의 높이가 증가할수록 노드의 수가 기하급수적으로 증가하고, Grid 프로토콜은 노드에 장애가 발생하지 않아도 언제나 같은 읽기/쓰기 비용을 갖는다는 단점을 갖고 있다. 따라서, 본 논문에서는 기존 프로토콜의 장점을 가지면서 단점을 해결할 수 있는 새로운 하이브리드 프로토콜을 제안한다. 제안된 하이브리드 프로토콜은 전체적으로는 트리 구조를 가지면서 각 레벨에서는 그리드의 열과 같은 구조를 가짐으로써 노드에 장애가 없을 때에는 Tree Quorum 프로토콜과 같이 적은 동작 비용을 요구하며, 노드에 장애가 존재할 경우에도 기존 프로토콜에 비해 상대적으로 적은 동자 비용과 높은 가용성을 보인다. 그러므로 높은 데이터 가용성이 요구되는 서바이벌 스토리지 시스템에 효율적으로 적용 가능하다. 본 논문에서는 수학적 모델링을 통하여 제안된 프로토콜의 비용과 가용성을 평가하고, 시뮬레이션을 통해 응답시간과 처리율을 기존의 Tree quorum프로토콜과 비교한다.

• 한국학교수학회논문집
• /
• 제8권4호
• /
• pp.481-494
• /
• 2005

본 연구는 대학에서 연구와 교육을 통하여 축적된 수학교육에 대한 노하우를 상대적으로 소외된 도서지역 고등학생들에게 제공함으로써 고급지식 및 이론의 확산에 힘쓰고자 한다. 연구는 삶의 지혜를 얻기 위한 수학, 실용능력을 배양하기 위한 실용수학, 자신의 품격을 높이기 위한 교양 수학으로 나누어 진행하며 수학 공부를 해야 하는 이유, 수학문제 해결력을 증진시키는 방안, 수학 기기를 이용한 수학학습, 암호이론 및 게임이론 소개, GSP를 이용한 도형학습, 수학과 스포츠, 수학과 예술 등을 포함하여 교재를 개발하고 개발된 교재를 통하여 대학원생을 훈련하고 수업계획안에 따라 수업을 하게 하는 도서지역 고등학생을 위한 흥미롭고 효과적인 수학지도 방안을 연구한다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제15권3호
• /
• pp.235-248
• /
• 2012

전통적 평가 관에 대한 그릇된 점을 올바르게 하기위한 관점에서의 새로운 대안적인 평가로서의 포트폴리오가 초등학교에 소개 된지도 벌써 상당한 시간이 흘렀다. 그러나 아직까지도 많은 현장교사들은 포트폴리오에 대한 충분한 이해가 이루어지지 않은 것으로 보인다. 이러한 점을 고려하여, 본 연구에서는 뉴질랜드 초등학교에서 실행되고 있는 포트폴리오의 구성과 실제사례들을 조망해 봄으로써 우리가 알고 있는 포트폴리오와 어떤 점에서 다르며 또한 우리에게 주는 시사점이 무엇인지를 알아보는데 그 목적이 있다.

• 한국수학사학회지
• /
• 제17권4호
• /
• pp.45-64
• /
• 2004

${\lambda}$-연산은 ‘다시쓰기 규칙’으로 정의되는 계산을 위해 함수들이 형성되고, 결합되고, 활용되는 수학적 형식 체계이다. 컴퓨터과학의 발전과 더불어 많은 프로그래밍 언어들이 ${\lambda}$-연산을 원리로 삼고 있다. 나아가서, ‘커리-하워드 대응’ 덕분에 미제 연역에 의해 수행된 증명과 컴퓨터 프로그래밍 사이에 대응 관계를 설정할 수 있게 되었다. 이 글의 목적은 교육적인 차원에서 아직은 잘 알려져 있지 않은 주제를 대중화시키는 데에 있다. 논리학과 컴퓨터 과학에서 L-연산의 영향은 차후의 연구과제로 남아 있다.

• 한국학교수학회논문집
• /
• 제12권2호
• /
• pp.261-279
• /
• 2009

순열과 조합은 수학 I 교과서의 여러 단원 중에서 가장 가르치기 어렵다고 느끼는 단원중의 하나이다. 이에, 본고에서는 순열과 조합 단원의 불안요인과 평가문항에 대하여 살펴보고, 불안요인을 감소시키는 방안을 찾고자 하였다. 이 연구는 2006년 11월부터 2008년 2월까지 약 1년여에 걸쳐서 Y고등학교 학생 2명을 대상으로 진행되었으며, 평가문항의 분석과정에 동료교사 2명이 참여하였다. 그 결과, 비형식적 평가문항이 불안의 주요 요인이며 협동학습과 문제 읽기 및 쓰기가 수학불안을 감소시키는 데 도움이 된다는 것을 알 수 있었다. 또한 이러한 수학불안 요인을 고려한 적절한 교수 학습법이 요구된다고 결론지었다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제34권3호
• /
• pp.299-324
• /
• 2020

본 연구에서는 고등학생들의 수학 학습양식, 성격기질별 특징을 확인하고 각 성격기질별로 수학학습 전략을 제시하고자 하였다. 이를 위해, 375명의 고등학교 1학년 학생들을 대상으로 MBTI 성격유형 검사, 수학학습 선호도 조사를 실시하여 그 결과를 분석하였다. 이 연구의 결과는 다음과 같다. 첫째, 많은 학생들이 사교육의 효과를 높게 평가하고 교과서보다는 참고서를 활용한 수학학습을 더 선호하였다. 둘째, 학습 태도, 학습 습관(개념이해 집중도), 문제해결 전략(문제이해 노력, 다양한 전략 사용), 자기 관리(메타인지) 영역에서 성격기질에 따라 통계적으로 유의미한 차이가 확인되었다. 셋째, SJ형 학생들은 마인드맵 등의 학습 전략, SP형 학생들은 장,단기 학습목표를 꾸준히 실천하는 전략이 필요하다. NT형 학생들은 SRN(자기성찰노트)이나 수학일지를 활용한 학습 전략, NF형 학생들은 논리적 근거를 제시하는 수학학습 노트 쓰기 활동과 대수 학습에 더 많은 시간 투자가 필요하다.

• 정보처리학회논문지A
• /
• 제12A권5호
• /
• pp.385-390
• /
• 2005

`집합 제한 논리 언어`는 `집합 이론`을 프로그래밍에 도입한 언어이다. 본 논문은 A. Dovier 연구팀이 제안한 집합 제한 문제 풀이(solver) 절차를 소개하고, 이 절차가 논리 언어 Prolog 상에서 어떻게 구현 가능한 지를 보인다. 이 절차는 `다시쓰기 규칙(rewrite rule)`으로 표현되어 있는데 이 표현의 특징은 일반 프로그래밍 언어가 표현하기 힘든 비결정적 규칙 적용(nondeterministic rule application)과 수학적 변수 (mathematical variable)를 사용한다는 점이다. 본 연구에서는 이들 특징이 Prolog 언어에서 제공되는 비결정적 제어 (nondeterministic control), 논리적 변수(logical variable) 및 리스트(list) 자료구조의 사용으로 쉽게 구현 가능함을 보인다. 본 연구의 구현은 다음과 같은 의의를 가지고 있다. 첫째 본연구는 이 언어의 모든 기능을 완전하게 구현하였다는 점이다. 둘째 본 연구에서는 이 언어의 구현 방법을 누구나 알기 쉽게 기술하였다는 점이다. 셋째 기존의 구현이 상업적 Prolog인 SICStus Prolog를 사용하여 구현한 것과는 달리 본 구현은GNU GPL(General Public License)을 가지는CIAO Prolog를 사용하여 구현하였기 때문에 누구나 자유롭게 사용할 수 있는 점이다. 넷째 본 연구에서 개발된 소스 코드는 공개 소프트웨어이기 때문에 누구나 자유롭게 사용, 수정 및 배포할 수 있다는 점이다.

• 영재교육연구
• /
• 제25권1호
• /
• pp.119-138
• /
• 2015

본 연구는 과학고 신입생들을 대상으로 수학, 물리, 화학, 영어 교과에서의 상급 학년 성취 수준을 평가하였다. 상급 학년 수준 시험은 천장효과를 배제한 성취수준을 평가할 수 있는 도구로 대학수학능력시험의 동형검사지를 개발 활용하였다. 연구결과는 다음과 같다. 첫째, 과학고 신입생들의 수학, 과학 교과 학업성취도는 응시생의 50%이상이 수능 5등급이내에 위치하고 영어교과는 19.3%미만의 학생들이 5등급이내의 성적을 나타내어 수학이나 과학보다는 상대적으로 낮았다. 둘째, 과목 내 단원별 학업성취도가 높고 낮은 단원을 보면, 수학은 '행렬' 단원이 높고 '수열' 단원이 낮았다. 미적분과 통계 과목은 '함수의 극한과 연속성' 단원이 높고, '통계' 단원이 가장 낮았다. 물리 과목에서는 '전기와 자기' 단원이 중간 수준, '파동과 입자' 단원이 하위수준이었다. 화학 과목에서는 '생활 속의 화합물' 단원이 높고, '공기' 단원이 낮았다. 영어 교과에서는 읽기 영역의 '실용문'이 매우 높았으며, 쓰기 영역의 '문장'이 낮았다. 결론적으로 상급 학년 수준 시험은 학생들의 수준에 맞는 개별화된 프로그램을 적용하는데 좋은 방안이라 할 수 있다.

• 한국콘텐츠학회논문지
• /
• 제17권12호
• /
• pp.378-385
• /
• 2017

본 연구는 대학수학능력시험 영어영역 읽기지문의 문항 유형별 응집력과 어휘정보를 파악하기 위해 코퍼스 기반 분석을 실시하였다. 본 연구에서는 한국교육과정평가원에서 제시하는 여섯 가지의 문항유형을 세가지의 범주, 즉 맥락읽기, 세부읽기, 간접쓰기로 나누어 분석하였다. 이를 위해 처음 수능이 실시된 1994학년도부터 2017학년도까지의 수능 영어영역의 읽기지문의 코퍼스를 구축한 후, 코메트릭스 3.0을 활용하여 해당 코퍼스를 분석하여 각 문항들의 응집력과 어휘정보의 차이를 살펴보았다. 연구 결과 표층응집성 지표에서는 명사중복 측정치와 어간중복 측정치에서 통계적으로 유의미한 차이를 보였다. 연결사 지표에서는 역접의 연결사와 추가의 연결사에서 통계적으로 유의미한 차이를 보였다. 어휘정보 지표의 결과에서는 대명사의 발생정도, 습득나이 측정치, 내용어의 구체성 측정치, 심상성 측정치, 유의미성 측정치에서 통계적으로 유의미한 차이를 보였다. 이러한 문항유형간 응집력과 어휘정보 분석에 대한 정보는 교과서 집필 및 수능시험 출제에 활용될 수 있을 것이며, 학생들이 직접적으로 활용할 수 있는 읽기전략으로 활용 될 것으로 기대된다.