• Journal of Educational Research in Mathematics
• /
• v.14 no.1
• /
• pp.111-127
• /
• 2004

In this note we examined some terms, parallel lines and angles in elementary school mathematics and middle school mathematics respectively. Since some terms are represented early in elementary school mathematics and not repeated after, some students are not easy to apply the terms to their lesson. Also, since the relation between parallel lines and angles are treated intuitively in 7-th grade, applying the relation for a proof in 8-th grade would be meaningless. For the variety of mathematics education, it is desirable that the relation between parallel lines and angles are treated as postulate. Also, for out standing students, it is desirable that we use deductive reasoning to prove the relation between parallel lines and angles as a theorem. In particular, the treatments of vertical angles and the relation between parallel lines and angles in 7-th grade text books must be reconsidered. Proof is very important in mathematics, and the deductive reasoning is necessary for proof. It would be efficient if some properties such as congruence of vertical angles and the relation between parallel lines and angles are dealt in 8-th grade for proof.

• Proceedings of the Korea Society of Mathematical Education Conference
• /
• 2008.05a
• /
• pp.17-28
• /
• 2008

이 논문은 중학교 기하 영역의 수업에 대한 학생들의 성취도가 낮은 것을 관찰하고, 그에 대한 고민으로 교육과정을 분석하고, 수학교육의 질적 접근을 위한 교수 실험을 통해 실제 중학교 과정에서 운용되는 논증기하 교육의 문제점과 그 대안을 탐색하고자 하였다. 본 연구에서는 교사가 반드시 갖춰야 할 지식으로 Shulman(1986)이 제시한 교과 내용 지식과 교수학적 내용 지식, 그리고 교육과정 관련 지식을 받아들였으며, 중학교 기하 영역에서 이런 지식을 갖추기 위해 교사가 폭넓은 고민을 하여 수업의 개선점을 찾는 과정을 보여주고 있다. 연구를 통해서 학생들에게 명제를 지도할 때 주의할 점과 학습자에게 증명을 하도록 제시하는 방법상의 문제점, 그리고 이등변삼각형의 지도에서의 그 증명이 갖는 의미를 잘 이해하여 학생들에 증명 학습에 진정한 도움이 될 수 있는 방향을 탐색하였다. 그리고 절차만을 학습시키는 현행 작도 수업을 개선하기 위한 여러 시도와 등변사다리꼴의 학습에서와 같이 학생들이 수학 용어를 되돌아보는 수업이 필요성을 탐색하여, 많은 교수 실험을 통한 교육과정의 바람직한 개정을 제안하였다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2001.11a
• /
• pp.60-63
• /
• 2001

무선 이동통신의 발전으로 인해 많은 사용자가 발생하였다. 그러나 1세대나 2세대의 경우 이동통신서비스는 기본적으로 음성을 기반으로 서비스를 하였기 때문에 다른 멀티미디어 서비스와 같은 고속 무선 인터넷 통신 수요자의 요구를 충족시키지 못하고 있다. 향후 무선에서 음성위주의 서비스가 아닌 데이터와 이동 멀티미디어 서비스와 같은 서비스를 통해 얻을 수 있다. 하지만 무선망은 전송로가 노출되어 있어 정당하지 않는 사용자에 의한 불법적인 절취 사용과 도청등에 많은 문제점이 발생할 수 있다. 악의적인 제 3의 사용자가 공유되어 있는 문서에 대한 문제점뿐만 아니라 양자간의 계약 혹은 과금 정보에 있어 악의적인 목적을 막는 방법이 필요하다. 다음과 같은 방법에 대한 해결책으로써 문서에 대한 내용증명과 시점확인이 바로 그것이다. 본 논문에서는 앞에서 언급한 문제점을 해결하고자 유선에서 사용중에 있는 시점확인 서비스 혹은 내용 증명 서비스를 향후 발전할 IMT-2000에 적용하여 보았다. 제안한 방식은 IMT-2000에서의 개체를 그대로 이용하면서 효율적인 방식을 제안하였다.

• Journal of Educational Research in Mathematics
• /
• v.25 no.2
• /
• pp.225-240
• /
• 2015

In this study, we investigated the representativeness of proofs in school mathematics, based on the extension of the midpoint connector theorem for the quadrilateral. To this end, we considered a variety of quadrilateral and proved their extensions of the midpoint connector theorem, and identified the relationships between them, therefore seemed that the proof in school mathematics has a representativeness. On the other hand, in the survey based on this information, students were found only some types of quadrilateral and completed easily the proofs for each quadrilateral they found, but students tended to use other proof or mathematical concepts, if the target figures changes in despite of proving the same mathematical fact. Thus, students were more difficult to figure out the relationship between the proofs. From these facts, we know that students are poorly understood the representativeness of proofs to understand the relationship between concrete proofs and to generalize it, though they are able to proof to the specific figures. Therefore it can be seen that the proof activity needs to be done with organic and semantic.

• 전기의세계
• /
• v.35 no.6
• /
• pp.347-353
• /
• 1986

본고의 내용은 다음과 같다. 1. 자연어의 이해시스템 2. 문제해결 및 정리의 증명 3. 지각 및 패턴인식 4. 지능 Robot

• Proceedings of the IEEK Conference
• /
• 2003.07d
• /
• pp.1511-1514
• /
• 2003

본 논문에서는 지능형 방송에서 내용 기반 검색 서비스에 관해 연구하였다. 이를 통해 MPEG-7 오디오/비주얼 서술자들을 이용하여 TVAF 메타데이타와 메타데이타 전송 서비스 스키마를 확장하였다. 그리고 MPEG-7 오디오 서술자를 이용한 내용 기반 검색 시 나리에 제안된 스키마를 적용하여 효용성을 증명하였다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.11b
• /
• pp.707-710
• /
• 2003

인터넷은 전 세계를 연결하는 매체로서, 그 사용자가 매년 폭발적으로 증가하고 있다. 이러한 인터넷 사용자간의 자료 교환 수단으로서 전자우편은 표준이라 말할 수 있을 만큼 많이 사용되고 있다. 일반 편지에서부터 상업광고 목적의 전자우편에 이르기까지 다양한 분야에서 사용되고 있다. 하지만 이러한 전자우편에도 많은 문제가 존재한다. 기존의 전자우편은 간단한 방법으로 내용을 열람하거나 변조할 수 있어 중요한 정보나 사생활 노출의 위험에서 벗어날 수 없다. 이러한 데이터에 대한 보안이 기대에 미치지 못하고 있기 때문에 암호학적으로 강력한 전자우편 시스템의 개발이 시급하다 본 논문에서는 기본적인 정보보호 서비스 외에 기존의 전자우편 시스템에서는 제공되지 않는 배달 증명 및 내용 증명 기능을 제공하고 자바 암호 API를 사용하여 안전한 키 교환이 가능하도록 하였다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.40 no.7
• /
• pp.469-473
• /
• 2003

The effect of photoquenching on infrared image of the EL2 center in semi-insulating(S.I.) GaAs has been studied using near infrared transmission techniques. Particular interest is devoted to as-grown and annealed samples of undoped S.I. GaAs. It is found that the quenching mechanism is different in each sample and also the quenching rate is dependent on the materials and the quenching temperature which is somewhat inconsistent with other existing publications.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11b
• /
• pp.1111-1114
• /
• 2002

본 논문에서는 메시지 암 복호화는 물론 디지털 서명 및 배달 증명이 가능 가능한 보안 전자 메일 시스템의 설계 및 구현에 관하여 기술한다. 제안된 시스템은 이메일의 내용을 암호화하여 이메일 수신자만이 그 내용을 볼 수 있도록 하는 기밀성을 제공해 주며, 디지털서명 기능을 제공하여 송신자라고 주장하는 사용자와 이메일을 실제로 보낸 송신자가 동일인인가를 확인해준다. 또한, 메시지 무결성, 송신자 부인 봉쇄 그리고, 배달증명 서비스를 제공한다. 제안된 시스템의 구현은 자바 암호 API 클래스를 기반으로 하였고, GUI를 위해 J빌더 6을 사용하였다.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.105-112
• /
• 1997

전자상거래(Electronic Commerce)를 광범위하게 활용하기 위해서는 시큐리티 확 보 방안이 먼저 마련되어야 한다. 전자상거래와 관련된 시큐리티 문제에는 통상적인 정보보 안 이외에 메시지 발신자의 신원을 증명하는 신원 인증과, 메시지 내용의 완전성 및 정확성 을 보장하는 메시지의 완전성 보장, 그리고 메시지의 송·수신을 증명하는 부인방지 등이 있 다. 본 논문에서는 전자상거래의 시큐리티 문제를 해결하는데 필요한 메시지 인증과 디지털 서명에 대해 소개하고, 또한 메시지 인증과 디지털 서명의 핵심적인 요소인 해쉬함수를 분 석한다.