• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.623-625
• /
• 2000

인터넷 환경의 발달에 의해 네트워크상의 콘텐츠의 전송이 활발해 지고 있다. 그 대표적인 예가 대중적으로 일반화되어 있는 전자메일일 것이다. 하지만 전자메일이 보다 일반화되고 보안상의 위협을 제거하기 위해선 전송되는 메일에 대한 내용증명과 배달증명이 가능해야 한다. 따라서, 본 논문에서는 먼저 내용증명과 배달증명이 가능한 기존의 방법들을 분석하고, 양사용자 사이에 문서를 교활할 수 있는 새로운 방법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.751-752
• /
• 2008

현행 내용증명 서비스는 사용빈도수가 높은 우체국 부가서비스임에도 불구하고 여전히 전통적인 C2C(개인간 교환) 환경을 주요대상으로 하며, 인터넷 우체국을 통한 접수 기능을 통해 접수의 불편함을 다소 해소하였으나, 관련 접수/배달 우체국에서 인쇄/복사 문서에 대하여 전통적인 방법으로 처리/관리하기 때문에 내용증명 대상 문서의 불법 복사와 내용확인 등의 절차에서 시공간적 제약사항이 여전히 존재하는 문제점이 있다. 따라서 이 논문에서는 현행 내용증명 우편서비스의 개념을 정리하고 국내외 관련 기술 표준 활동을 파악하며, 향후 인터넷 기반의 내용증명 서비스의 발전방향을 포함하는 개념모델을 제시한다.

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

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

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2004.05b
• /
• pp.744-747
• /
• 2004

Internet, media connecting global, has increased fast at every year. Many people have been used email as method of exchanging data. But, email has many problem. Existing email may reveal privacy and sensitive information because it ran read and modify email by simple method. So, It required development of strong cryptographic email system. This paper available that email system provide delivery and content proof and seure key-exchange using lava Crypto API

• Review of KIISC
• /
• v.7 no.2
• /
• pp.73-84
• /
• 1997

인터넷의 보급으로 인한 전자 메일의 증가가 급증하고 있다. 컴퓨터 통신망을 통해 주고받는 전자 문서에 대해 문서의 내용과 그 문서가 배달되었음을 증명해주는 현행 우편제도하에서의 특수우편물 취급 서비스가 그대로 적용될 수 있다. 본 고에서는, 이러한 서비스를 고려한 기존의 전자우편 방식들을 조사 분석하여 정리하고자 한다. 분석된 자료들은 전자 우체국의 구현이나 실현을 위해 활용될 수 있으리라 생각된다.

• Korean Journal of Logic
• /
• v.5 no.2
• /
• pp.39-66
• /
• 2002

일반적으로 엄밀한 방법을 통하여 증명되었다고 말해지는 괴델의 불완전성 정리는 일련의 전제와 배경지식이 요구된다고 하겠다. 이들 중에서 무엇보다도 중요한 것은 정리의 증명에 사용되는 메타언어상의 수학적 참에 대한 개념이다. 일단 확인할 수 있는 것은 "증명도, 반증도 되지 않지만 참인 산수문장의 존재"라는 불완전성 정리의 내용에서 괴델이 가정하고 있는 수학적 참의 개념이 구문론적인 증명개념으로부터 완전히 독립되어야 한다는 점이다. 문제는 그가 가정하고 있는 수학적 참의 개념이 도대체 무엇이어야만 하겠는가라는 점이다. 이 논문은 이 질문과 관련하여 내용적으로 3부분으로 나누어 질 수 있다. I. 괴델의 정리의 증명에 필요한 전제들 및 표의 도움을 얻어 자세히 제시되는 증명과정의 개략도를 통해 문제의 지형도를 조감하였다. II, III. 비트겐슈타인의 괴델비판을 중심으로, "일련의 글자꼴이 산수문장이다"라는 주장의 의미에 대한 상식적 비판 및 해석에 바탕을 둔 모형이론에 대한 대안제시를 통하여 괴델의 정리를 증명하기 위해 필요한 산수적 참에 관한 전제가 결코 "확보된 것이 아니다"라는 점을 밝혔다. IV. 괴델의 정리에 대한 앞의 비판이 초수학적 전제에 대한 것이라면, 3번째 부분에서는 공리체계에서 생성 가능한 표현의 증명여부와 관련된 쌍조건문이 그 도입에 필수적인 괴델화가 갖는 임의성으로 인해 양쪽의 문장의 참, 거짓 여부가 서로 독립적으로 판단 가능하여야만 한다는 점에(외재적 관계!) 착안하여 궁극적으로 자기 자신의 증명여부를 판단하게 되는 한계상황에 도달할 경우(대각화와 관련된 표 참조) 그 독립성이 상실됨으로 인해 사실상 기능이 정지되어야만 한다는 점, 그럼에도 불구하고 이 한계상황을 간파할 경우(내재적 관계로 바뀜!)항상 순환논법을 피할 수 없다는 점을 밝혔다. 비유적으로 거울이 모든 것을 비출 수 있어도 자기 스스로를 비출 수 없다는 점과 같으며, 공리체계 내 표현의 증명여부를 그 체계내의 표현으로 판별하는 괴델의 거울 역시 스스로를 비출 수는 없다는 점을 밝혔다. 따라서 괴델문장이 산수문장에 속한다는 믿음은, 그 문장의 증명, 반증 여부도 아니고 또 그 문장의 사용에서 오는 것도 아니고, 플라톤적 수의 세계에 대한 그 어떤 직관에서 나오는 것도 아니다. 사실상 구문론적 측면을 제외하고는 그 어떤 것으로부터도 괴델문장이 산수문장이라는 근거는 없다. 그럼에도 불구하고 괴델문장을 산수문장으로 볼 경우(괴델의 정리의 증명과정이라는 마술을 통해!), 그것은 확보된 구성요소로부터 조합된 문장이 아니라 전체가 서로 분리불가능한 하나의 그림이라고 보아야한다. 이것은 비트겐슈타인이 공리를 그림이라고 본 것과 완전히 일치하는 맥락이다. 바론 그런 점에서 괴델문장은 새로운 공리로 도입된 것과 사실은 다름이 없다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.11a
• /
• pp.252-254
• /
• 2022

Hyperledger Indy는 탈중앙 신원증명을 위한 블록체인 기반 분산원장으로 디지털 신원증명을 위한 여러 기능을 제공한다. 디지털 신원증명은 디지털 생태계의 핵심 요소이기 때문에 디지털 신원증명 시스템의 가용성 확보는 끊김이 없는 서비스를 제공한다는 관점에서 중요하다. 본 논문에서는 Hyperledger Indy 기반 신원증명 시스템의 가용성을 높이는 핵심 아이디어의 검증 결과를 근거로 모니터링 시스템의 설계 내용을 기술한다.

• Communications of Mathematical Education
• /
• v.23 no.3
• /
• pp.887-921
• /
• 2009

Pythagorean theorem is one of mathematical contents which is widely used during human culture have developed. There are many historial records related to Pythagorean theorem made by Babylonian, Egyptian, and Mesopotamian. The theorem has the important meaning for mathematics education in secondary school education. Along with the importance of the proof itself, diverse proof methods and ideas included in their methods are also important since the methods improve students' ability to think mathematics. Hence, in this paper, we classify and analyze 390 proof methods published in the book "All that Pythagorean theorem" and other materials. Based on the results we derive educational meaning in mathematics with respect to main idea of the proof, the preliminaries of the study, and study skills used for proof.

• Communications of Mathematical Education
• /
• v.14
• /
• pp.197-215
• /
• 2001

최근 수학적 사고력 연구가 구체적 수학내용에 기반한 활동과 조작에 대한 연구보다는 활동이나 조작을 통한 결과로 수학적 사고력에 접근하는 일회성 연구로 이루어지는 경향이 있다. 본고에서는 교육 내용을 선정하기 위해 학교수학에서 아동들이 어떤 수학적 사고를 하는데 장애을 겪는지에 주목하여, 이러한 장애를 극복하는 것을 통해 수학적 사고력의 신장을 생각해보고자 하였다. 이에 대수에서는 문자도입에 따른 추상적 상징의 수용과 이용부분에서, 기하에서는 논증기하의 증명도입과정에서 형식적, 연역적 사고 시작으로 아동이 수학적 사고에 어려움을 겪는다는 사살에 주목하였다. 특히 논증 기하의 연역적, 형식적 증명은 논리와 추론이 바탕이 되어야 한다. 그런데 논리와 추론은 고등학교 1학년과정 집합과 명제부분에 들어있어 아동은 논리와 추론에 대한 어떤 경험도, 교육도 받지 않은 상태에서 증명을 하게 된다. 이에 교육 내용으로 수학적 사고력을 신장을 위해 가장 필요한 내용이 논증 기하가 도입되기 이전에 초등학교 5,6학년 아동을 대상으로한 논리와 추론교육이라고 본다. 또한 교육 방법으로는 컴퓨터를 이용한 교육공학적 접근을 하고자 하였다. 교육공학적 접근이 적극 권장되는 교육적 현실과 정규교육과정에서 이를 받아들일만한 시간적 여유가 없음을 감안하여, 교과 내용과 연계된 컴퓨터 교육을 제안하는 바이다. 이에 논리 및 추론 교육은 컴퓨터 교육으로 초등학교의 특기적성 시간이나 정규수업 시간에 이용할 것을 제안한다. 논리와 추론교육을 위해 무엇을 어떻게 가르칠 것인가에 대한 답으로 논리와 추론교육에 적합한 수학적 내용으로 크게 이산수학과 중등 기하의 초등화하여 탐구하도록 하는 내용을, 교육 방법 측면에서는 논리와 추론 교육을 위한 LOGO 기반 마이크로월드를 설계, 이용하여 수학적 사고력을 신장시키고자 한다. 여기까지가 수학적 사고력을 위한 가능성을 모색한 것이라면 후속연구로 이러한 가능성을 실험연구로 검증하고자 한다.