• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제24권3호
• /
• pp.255-278
• /
• 2021

Proof serves a critical role in mathematical practices as well as in fostering student's mathematical understanding. However, the research literature accumulates results that there are not many opportunities available for students to engage with proving-related activities and that students' understanding about proof is not promising. This unpromising state of instruction of proof calls for a novel approach to address the aforementioned issues. This study investigated an instruction of proof to explore a pedagogy to teach how to prove. The teacher utilized the way of problem posing to make proving a routine part of everyday lesson and changed the classroom culture to support student proving. The study identified the teacher's support for student proving, the key pedagogical changes that embraced proving as part of everyday lesson, and what changes the teacher made to cultivate the classroom culture to be better suited for establishing a supportive community for student proving. The results indicate that problem posing has a potential to embrace proof into everyday lesson.

• 대한수학교육학회지:학교수학
• /
• 제6권1호
• /
• pp.59-90
• /
• 2004

본 연구에서는 중학생들이 증명학습을 할 때 범하는 수학적 오류를 교수학적으로 처방할 뿐만 아니라 올바른 증명의 역할과 본질을 이해하여 증명과정을 스스로 구성할 수 있도록, '생성-수렴 모형에 의한 증명학습'이라는 증명 학습-지도 방법을 제시하였다. 이 수업모형을 8학년 학생 160명을 대상으로 10주 동안 40시간에 걸쳐 여러 가지 사각형의 성질과 관계를 학습할 때 적용하여 학생들의 증명능력 향상과 오류 교정에 미치는 효과 및 학생들의 정당화 유형 양상으로 세분화하여 그 결과를 살펴보았다. 첫째, 생성-수렴 모형에 의한 증명학습을 실시한 실험집단의 학생들은 통제집단의 학생들보다 증명능력 검사에서 평균점수는 높았다. 그러나 유의수준 .01에서 통계적 검정을 실시한 결과, 두 집단 간의 증명능력은 유의적인 차이가 없었다. 둘째, 학생들은 논증기하 영역에서 증명을 할 때 범하는 오류 교정율에 있어서 생성-수렴 모형에 의한 증명학습을 한 학생들의 오류 교정율이 통제집단보다 더 큰폭으로 감소하였다. 셋째, 학생들의 정당화 유형은 실험집단과 통제집단 모두 경험적 정당화에서 분석적 정당화로의 이행을 보였으나, 생성-수렴 모형에 의한 증명학습을 한 학생들이 통제집단의 학생들보다 분석적 정당화를 구성하는 학생들이 현저하게 증가하였다.

• 의료법학
• /
• 제14권2호
• /
• pp.143-172
• /
• 2013

In order to achieve the purpose of treatment for patients by a doctor, the instruction explanation obligation, which means that he should give patients the description in more details to prepare for postoperative sequelae or complications, is common with the advice explanation obligation as a doctor should ex-plain some information to patients. Since the advice explanation obligation is the benefit and protection of the law for self determination right, but the instruction explanation obligation is one for the integrity of body and life, one can be distinct from the other. Judgments giving the instruction on the concept of instruction explanation obligation, specific methods of implementation and a range of compensation for damage are recently being made by courts at all levels including the Supreme Court. It is the time to systematize them. The contents which have been mainly discussed so far include the essence of above mentioned instruction explanation obligation. However, when the tendency of practice is considered, the efforts are required to admit the organic relevance between instruction explanation obligation and advice explanation obligation and to explain the relationship without any contradiction. For whereabouts of li-ability of proof, patients theoretically demonstrate the failure to implement it. However, when the theoretical consistency is maintained, it is likely to fail the intent to recognize the instruction explanation obligation and it may ask patients to prove something impossible to be proven. Thus, these things should be considered. Moreover, as the instruction explanation obligation is associated with medicine instruction obligation of a pharmacist and the coverage is being extended, it is the time to require the systematic study on the theoretical limit.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제28권4호
• /
• pp.513-528
• /
• 2014

본 연구에서는 대학원에 재학 중인 중 고등학교 수학 교사 36명을 대상으로 증명 및 증명 지도에 대한 인식을 조사하였다. 본 연구의 결과, 대부분의 교사들이 증명의 정당화 역할은 잘 인식하지만, 설명(확인), 이해, 발견, 의사소통, 체계화, 수학적 표현의 사용 등으로서의 역할은 미흡하게 인식하며, 많은 교사들이 증명의 조건에 대해 혼란스러운 개념을 가지고 있는 것으로 나타났다. 증명 지도의 이유에 대해서는 논리적 사고력 함양, 수학적 사고력 신장, 명제의 이해, 참인 명제의 확인, 수학의 본질 이해, 수학 지식 증가, 수학적 표현 증진, 수학의 즐거움 경험, 의사소통, 엄밀성 추구, 연계성 추구 등의 다양한 의견을 제시하였다. 증명 지도의 수행과 관련하여, 상당수의 교사들이 실제 증명 지도가 미흡하게 이루어지고 있다고 응답했으며, 학생들의 두려움과 흥미 부족, 증명 지도 시간 부족, 학생 사고수준 미흡, 지도 방식 미흡 등을 증명 지도의 제약 조건으로 언급하였다. 한편, 본 연구에서는 '증명'이라는 수학적 용어가 누락된 2009 개정 수학과 교육과정의 성취기준을 살펴보았다. '${\cdots}$를 이해하고 설명할 수 있다'는 성취기준은 증명 교수-학습과 관련하여 적절하지 않으며, 특히 논리적 추론이나 정당화 과정을 증명과 동일시하는 미흡한 개념을 가지고 있는 교사들에게 더욱 큰 혼란을 줄 위험이 있음을 확인하였다.

• 한국심리학회지 : 문화 및 사회문제
• /
• 제21권3호
• /
• pp.497-510
• /
• 2015

국민참여재판에서 판사가 배심원에게 제시하는 법설시에는 범죄사실에 대해서 합리적인 의심이 없는 정도의 증명에 이르렀을 때 유죄를 인정해야 한다는 "합리적 의심의 초월 기준"에 대한 설명이 포함된다. 합리적 의심의 초월 기준은 일반적으로 배심원들이 평의를 시작하기 직전에 설명되는데, 본 연구에서는 설시절차(증거 이전, 증거 이후)에 따라 피고인에 대한 유죄/무죄 인정에 차이가 생긴다는 선행연구를 기반으로 그 인지과정을 알아보고자 하였다. 배심원 자격을 가진 만 20세 이상 성인남녀 189명을 대상으로 합리적 의심의 초월 기준에 대한 설명을 증거 전과 후에 받은 집단이 증거 후에만 설시를 받은 집단과 설시를 받지 않은 집단보다 피고인에 대한 유죄인정비율이 낮은지 분석한 후, 설시 제시절차와 유죄인정비율 사이의 두 가지 인지과정을 확인하였다: 1) 유죄판단 역치 생성, 2) 증거의 증명력 평가. 분석 결과, 설시를 증거 전후에 받은 집단은 다른 집단에 비해 피고인의 유죄를 판단하기 위한 역치가 높게 형성된 것을 확인하였으나, 증거의 증명력은 설시 제시절차 간에 유의한 차이가 없었다. 이러한 결과는 배심원이 재판에서 설시를 증거 전에 받았을 때, 각 증거의 증명력을 합리적 의심의 초월 기준으로 평가하기보다는 유죄결정을 위한 역치수준을 조정하여 그것을 기반으로 피고인에 대한 최종판단을 한다고 해석되었다.

• Journal of Multimedia Information System
• /
• 제8권4호
• /
• pp.243-250
• /
• 2021

Instructional contents are used to demonstrate a technical process to teach and walkthrough certain procedures to carry out a task. This type of informational content is widely used for teaching and lectures in form of tutorial videos and training videos. Since there are questions and uncertainties for what could be the killer application for the novel wearables, we propose a self-instruction training application on a smart glass to utilize already-available instruction videos as well as public open data in creative ways. We design and implement a prototype application to help users train by wearing smart glasses specifically designed for two concrete and hand-constrained use cases where the user's hands need to be free to operate. To increase the efficiency and feasibility of the self-instruction training, we contribute to the development of a wearable killer application by integrating a voice-based user interface using speech recognizer, public open data APIs, and timestamp-based procedural content navigation structure into our proof-of-concept application.

• 대한수학교육학회지:수학교육학연구
• /
• 제18권4호
• /
• pp.455-467
• /
• 2008

우리는 '중학교 수학에서의 증명과 논증'의 의미와 수준의 설정을 검토할 필요가 있다. 중학생 수준에서의 증명과 논증은 모두 학습 집단 속에서의 의사소통을 통한 인간 활동으로 보아야 하며, 이에 부합하도록 수업의 방향을 잡아야 한다. 이런 노력의 일환으로, 우리는 중학교 기하수업 개선을 목적으로 중학교 2학년학생들을 대상으로 2년 동안 기하탐구교실 수업을 진행해 왔다. 우리는 이 수업 중 벌어진 상황 중하나를 선택하여, 최초 발현된 학생들의 증명 도식이 상호교섭의 과정을 통해 어떻게 교실에서 수용되는 증명 도식으로 형성되어 가는지 그 과정을 살펴볼 것이다. 네 단계에 걸친 활동을 통해 기하탐구교실에서의 증명은 학생들에 의해 발현된 초기 증명 도식에서 출발하여 상호교섭의 과정을 통한 결과물로서의 기하탐구교실만의 증명 도식의 생성으로 이어진다. 우리가 이 과정에 주목하는 이유는 교섭의 산출물이 갖는 수학적 완결성 때문이 아니라, 그것이 갖는 의사소통과 상호 이해, 상호참조라는 가치에 있으며, 이것이야말로 수학교실에서 수용될 수 있는 적법한 증명이라는 것을 말하기 위해서다. 이상과 같이 우리는 기하탐구교실이라는 학생들의 참여를 통해 공동체 내에서 수용되는 증명의 수준이 어디까지이며, 그것이 어떤 협상 과정을 거쳐 수립되는지 살펴보았다. 이 과정은 동시에 학생들 스스로 증명을 학습해 가는 과정이기도 하다.

• Journal of Computing Science and Engineering
• /
• 제6권4호
• /
• pp.267-278
• /
• 2012

The state-of-the-art techniques in multicore timing analysis are limited to analyze multicores with shared instruction caches only. This paper proposes a uniform framework to analyze the worst-case performance for both shared instruction caches and data caches in a multicore platform. Our approach is based on a new concept called address flow graph, which can be used to model both instruction and data accesses for timing analysis. Our experiments, as a proof-of-concept study, indicate that the proposed approach can accurately compute the worst-case performance for real-time threads running on a dual-core processor with a shared L2 cache (either to store instructions or data).

• 무역상무연구
• /
• 제53권
• /
• pp.101-133
• /
• 2012

The paper aims to analyse the obligations and Responsibilities of shipper in the Rotterdam Rules. The Rotterdam Rules, has underlying intention that it will provide uniform law for the international carriage of goods by sea. It is highly expected that the Rotterdam Rules will create the new international legal regime replacing Hague-Visby Rules and Hamburg Rules. Rotterdam Rules provide the obligations and responsibilities of shipper in express. The shippers obliged to provide, (a) duty as to the condition in which the cargo has to be delivered to the carrier, (b) cooperation of the shipper and the carrier in providing information and instruction, and (c) shipper's obligation to provide information, instructions and documents. The shipper is liable for loss or damage sustained by the carrier if the carrier proves that such loss or damages was caused by a breach of the shipper's obligations. However, the shipper is relieved of all or part of its liability if the cause or one of the causes of the loss or damage is not attributable to its fault or to the fault. But, the shipper shall indemnify the carrier against loss or damage resulting from the inaccuracy of such information. Rotterdam Rules is providing rather concrete as to the shipper's responsibilities and burden of proof in separate chapter. The question is whether such burden of proof of the fault should be imposed to the shipper.

• 영재교육연구
• /
• 제25권4호
• /
• pp.581-605
• /
• 2015

본 연구에서는 유아들을 대상으로 수학적 과정 중심 교수학습법을 통한 수학적 사고 변화에 대하여 관찰하고 그 내용을 분석하였다. 이를 위해 설문조사와 현장 관찰을 통한 상황분석을 실시하여 구성한 수학적 과정 중심 교수학습법을 서울에 위치한 유치원에 재원중인 만 5세, 12명을 대상으로 적용하여 질적 연구를 시행하였다. 연구 결과는 문제해결하기, 추론과 증명하기, 연계하기, 표상하기, 의사소통하기의 다섯 가지 수학적 과정이 교사-유아, 유아-유아의 상호작용을 통해 구체화되어 유아의 수학적 사고를 자극하고 변화를 창출하였다. 또한 수학적 지식이 내재되고 통합된 문제 상황을 교사가 제시하고 수학적 과정에 중점을 두어 유아들이 또래와 협력적으로 문제를 해결하면서 수학적 과정과 수학적 태도에 변화가 일어났다. 즉 유아의 수학적 사고는 수학적 지식이 내재된 수학적 과정을 통해 수학적 태도의 긍정적인 변화과정 안에서 통합되어 증진되었다.