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

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

• Journal of KIISE
• /
• v.43 no.10
• /
• pp.1165-1172
• /
• 2016

In cloud storage environment, deduplication enables efficient use of the storage. Also, in order to save network bandwidth, cloud storage service provider has introduced client-side deduplication. Cloud storage service users want to upload encrypted data to ensure confidentiality. However, common encryption method cannot be combined with deduplication, because each user uses a different private key. Also, client-side deduplication can be vulnerable to security threats because file tag replaces the entire file. Recently, proof of ownership schemes have suggested to remedy the vulnerabilities of client-side deduplication. Nevertheless, client-side deduplication over encrypted data still causes problems in efficiency and security. In this paper, we propose a secure and practical client-side encrypted data deduplication scheme that has resilience to brute force attack and performs proof of ownership over encrypted data.

• Communications of Mathematical Education
• /
• v.13 no.1
• /
• pp.245-263
• /
• 2002

인류 문명의 발달과 함께 폭넓게 활용된 수학적 내용 중의 하나가 피타고라스 정리이다. 특히, 이집트, 메소포타미아, 그리고 중국과 같은 고대 문명의 발생지에서 발굴되는 많은 역사적 기록 속에서 피타고라스 정리에 대한 내용을 찾아볼 수 있다. 피타고라스 정리는 중등학교 수학교육에서 매우 중요한 정리로써, 정리 내용 자체뿐만 아니라 다양한 증명 방법과 증명 과정에 내재된 수학적 아이디어는 수학교육적 측면에서 큰 의미를 가지고 있다. 본 연구에서는 중학교 수학 교과 내용과 관련된 피타고라스 정리의 증명 방법들을 소개하고, 각 증명에 내재된 수학적 아이디어를 기술할 것이다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.12
• /
• pp.3127-3137
• /
• 1998

COBRA 표준명세는 표준을 만족하는 구현에서 제공해야 할 기능뿐만 아니라 서비스 제공 모듈의 사용자 인터페이스도 IDL을 사용하여 엄격하게 정의하고 있다. CORBA 표준에 대한 확신과 신뢰성을 가지기 위해서는 IDL(Interface Definition Language)로 기술된 표준명세를 정형화하고 수학적으로 엄격히 증명할 필요가 있다. 본 논문에서는 CORBA 표준을 정형적으로 명세하고 검증할 방법을 제시한다. 먼저 표준모듈을 Larch/CORBA IDL(LCB)를 사용하여 정형적으로 명세하고, LCB의 의미론에 준하여 LCB 명세를 LSL(Larch Shared language)로 변환한다. 변환한 LCB 명세와 LSL 증명논리를 사용하여 특성을 수학적으로 증명한다. 변환기반의 LCB 의미론을 정립하여 제안한 방법의 이론적 바탕을 마련하고 CORBA 이름서비스명세에 실제 적용하여 그 효용성을 보인다.

• Honam Mathematical Journal
• /
• v.3 no.1
• /
• pp.167-173
• /
• 1981

본(本) 논문(論文)은 M. S. Robertson이 만든 함수족(函數族) G(0, 2)에 대(對)한 변분공식(變分公式)(1, 3)을 확장하여 함수족(函數族) $G(\alpha, k)$, $$(\mid\alpha\mid<\frac{\pi}{2},\;k{\geq_-}2)$$에 적용이 되는 새 변분공식(變分公式) (2.18)을 유도하고, 그것을 증명하였다. 그 증명과정(證明過程)은 Schiffer나 Hummel의 방법(方法)을 사용(使用)하지 않고, Poisson-Stieltijes 적분공식(積分公式)을 이용(利用)하여 새로운 방법(方法)으로 증명하는 데 성공(成功)하였다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.10 no.1
• /
• pp.13-22
• /
• 2000

본 논문에서는 Skipjack의 변환규칙 A와 같은 반복적인 구조에 대한 차분 특성 및 선형 근사식의 확률의 상한 값을 제시하고 이를 증명한다. 즉 라운드 함수에 대한 확률의 최대 값이 p이면 15라운드 후에 p4이 됨을 보인다. 따라서 본 논문에서 고려한 구조는 현재까지 DC 및 LC에 대한 안전성을 증명할 수 있는 구조인 Feistel 구조 및 MISTY 구조와 더불어 블록 암호의 설계 방법에 대한 다양성을 제공한다.

• Convergence Security Journal
• /
• v.21 no.2
• /
• pp.37-46
• /
• 2021

Decentralized Identifier (DID) technology is a technology that uses blockchain technology to prove an individual's identity through information owned by the individual rather than through a central system. In this paper, we would like to present an access control system using decentralized identifier technology. The access control system using decentralized identifier technology (DID access control system) is a system that allows users to verify their identity from the DID blockchain server through their smartphone (mobile employee ID) and access when they are confirmed to be registered in the access control system. Through this, access control can be managed only by verifying identification with smartphones (mobile employee ID) and DID blockchain servers without having to store information to prove an individual's identity in the access control system.

• Communications of Mathematical Education
• /
• v.24 no.2
• /
• pp.325-344
• /
• 2010

The purpose of this study is to investigate what influences students' preferences on empirical and deductive proofs and find their relations. Although empirical and deductive proofs have been seen as a significant aspect of school mathematics, literatures have indicated that students tend to have a preference for empirical proof when they are convinced a mathematical statement. Several studies highlighted students'views about empirical and deductive proof. However, there are few attempts to find the relations of their views about these two proofs. The study was conducted to 47 students in 7~9 grades in the transition from empirical proof to deductive proof according to their mathematics curriculum. The data was collected on the written questionnaire asking students to choose one between empirical and deductive proofs in verifying that the sum of angles in any triangles is $180^{\circ}$. Further, they were asked to provide explanations for their preferences. Students' responses were coded and these codes were categorized to find the relations. As a result, students' responses could be categorized by 3 factors; accuracy of measurement, representative of triangles, and mathematics principles. First, the preferences on empirical proof were derived from considering the measurement as an accurate method, while conceiving the possibility of errors in measurement derived the preferences on deductive proof. Second, a number of students thought that verifying the statement for three different types of triangles -acute, right, obtuse triangles - in empirical proof was enough to convince the statement, while other students regarded these different types of triangles merely as partial examples of triangles and so they preferred deductive proof. Finally, students preferring empirical proof thought that using mathematical principles such as the properties of alternate or corresponding angles made proof more difficult to understand. Students preferring deductive proof, on the other hand, explained roles of these mathematical principles as verification, explanation, and application to other problems. The results indicated that students' preferences were due to their different perceptions of these common factors.

• The Korea Beekeeping Bulletin
• /
• s.197
• /
• pp.1-1
• /
• 1997

• Journal of the Korean School Mathematics Society
• /
• v.14 no.2
• /
• pp.227-239
• /
• 2011

The circumcenter of a triangle is introduced in logic geometry part of 8th grade mathematics. To handle certain characteristics of a figure through mathematical proof may involve considerable difficulty, and many students have greater difficulties especially in learning textbook's methods of proving propositions about circumcenter of a triangle. This study compares the methods how the circumcenter of a triangle is explored among the Elements of Euclid, a classic of logic geometry, current textbooks of USA and those of Korea. As a result of it, this study tries to abstract some significant implications on teaching the circumcenter of a triangle.