• 컴퓨터교육학회논문지
• /
• 제23권4호
• /
• pp.23-33
• /
• 2020

온라인 저지는 학습자가 제출한 소스의 컴파일과 실행, 문제 해결 여부에 대한 즉각적인 교정적 피드백을 제공하며 평가의 정확성과 신뢰성을 확보할 수 있지만, 대부분의 온라인 저지가 텍스트형 언어 만을 제공하고 있어 학습자의 수준에 따른 언어 선택이 어렵다. 본 연구에서는 온라인 저지용 블록형 언어를 개발하여 고등학교 수업에 적용하고, 블록형 언어 집단과 텍스트형 언어 집단 간 자기효능감의 차이를 확인하였다. 검정 결과, 블록형 언어 집단은 텍스트형 언어 집단 보다 '혐오경험극복 능력기대'가 더 높았고, 텍스트형 언어 집단은 사전-사후 검사에서 '활동시작 능력기대'와 '활동지속 능력기대'가 유의하게 감소된 것을 확인하였다. 이는 블록형 언어의 경우 차후 프로그래밍 활동에 대한 효능감에 효과가 있으며, 텍스트형 언어는 활동의 시작 단계와 진행 단계에서 학생의 자기효능감이 저하되지 않도록 하는 교수·학습 및 평가 방법을 강구해야 한다는 점을 함의한다. 본 연구는 고교 프로그래밍 수업에서 블록형 언어와 텍스트형 언어의 적용과 관련하여 자기 효능감 증진을 위한 교수·학습 설계의 기초를 제공한다는 점에서 의미가 있다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권8호
• /
• pp.317-322
• /
• 2019

프로그래밍 훈련 지원을 위한 프로그래밍 채점시스템은 일반적으로 웹 상에 구축되어 출제자는 프로그래밍 문제를 업로드하고 이를 학습자가 열람하고 문제에 대한 답안을 제출한다. 프로그래밍 채점시스템은 제출된 답안 소스코드를 실행하여 통과, 실패, 에러 메시지 등의 피드백을 제공한다. 통과를 제외한 피드백을 받은 학습자는 통과 판정받을 때까지 계속해서 소스코드를 디버깅한다. 본교에서 프로그래밍 훈련 지원을 위해 온라인 채점시스템을 자체 개발하였고 학생들이 제출한 답안을 분석한 결과 통과 판정을 받지 못한 학생들 중 다수가 자신이 틀린 부분을 정확하게 모른 채 계속해서 문제를 푼다는 사실을 확인하였다. 현재 프로그래밍 채점시스템은 주로 런타임 에러 메시지 위주로 피드백을 수행한다. 하지만 이러한 정보만으로는 프로그래밍 훈련을 하는 학습자들은 제출한 답안의 틀린 부분을 찾아내기가 어렵다. 따라서 본 논문에서는 학습자가 제출한 소스코드에 사용된 테스트케이스의 제어흐름을 분석한 결과를 프로그래밍 실패에 대한 피드백으로 제공하는 시스템을 제안한다. 제안한 시스템은 제어흐름 상의 결함이 존재할 수 있는 경로를 피드백하여 학습자들이 틀린 부분을 보다 빠르게 찾을 수 있게 도와준다. 또한 실제 학습자가 제출한 답안 소스코드를 예로 들어 본 시스템이 적용 가능함을 보인다.

• 정보보호학회논문지
• /
• 제9권4호
• /
• pp.23-36
• /
• 1999

은닉 서명(10)은 서명장의 신분과 메시지 내용에 대한 정보유출 방지와 함께 익명 성 보장을 위 해 전자 화폐 시스템에 사용되고 있다. 그러나 완전한 익명성은 전자 화폐에 대한 불법적 인 사용 등에 악용될수 있다. 따라서 필요로 하는 경우 특정 신뢰 센터가 전자 화폐에 대한 공정성을 검 증할 수 있어 야 한다. 본 연구에서는 Hoster가 제시한 Meta-ElGamal 기법 (12)을 분석하여 메시지 복 원 기능을 제 공하는 공정 은닉 서명 모델에 대해 고찰하고 메시지 복원 기능을 제공하는 개선된 공정 은 닉 다중서명 기법을 제시한다. 본 연구에서는 제시하는 기법은 불확정 전송 방식의 특성을 사용하여 신 뢰 센터에 의 한 공정 검증 및 확인 기능을 제공하는 다중 서명 방식으로 다양한 전자 화폐 시스템에 적 용 가능하다. As the blind signature(10) does not reveal any information about the message or its signature it has been used for preventing the information leakage and for providing the anonymity in secure electronic payment systems. Unfortunately this perfect anonymity could be misused by criminals as blind signatures prevent linking the withdrawal of money nd the payment made 표 the same customer. Therefore we should provide publicly verifiable mechanism if it is required for the judge to trace the blackmailed messages. In this paper we propose a modified blind signature scheme which additionally provides the role of message recovery after analyzing the existing meta-ELGamal scheme(12) suggested by Horster. And we suggest a new fair blind multi-signature scheme based on the oblivious transfer protocol with which a judge can publicly verify its fairness and correctness if needed. Proposed scheme can also applicable to the diverse electronic payment applications.

• 대한치과의사협회지
• /
• 제39권4호통권383호
• /
• pp.316-323
• /
• 2001

• 응용통계연구
• /
• 제12권1호
• /
• pp.191-202
• /
• 1999

본 논문에서는 n명의 judge들이 k개의 object들에 대해 순위를 부여하는 경우 얻어질수 있는 불완전 순위자료에서 object효과들이 같은지에 대한 검정법을 제안하고 컴퓨터 프로그램없이 쉽게 구현할수 있는 효과적인 알고리즘을 개발하였다. 그리고 기존의 평균순위법과 Monte Carlo 연구를 통하여 검정력을 비교하였다.

• 대한치과의사협회지
• /
• 제39권3호통권382호
• /
• pp.215-228
• /
• 2001

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2000년도 제 25회 정기총회 및 추계학술발표회
• /
• pp.129-134
• /
• 2000

In this paper, we proposed a simulator for reconstructing and analyzing vessel collision accidents happened at sea and we verified validity of the system by applying it to some collision accidents. This system will offer us to advantage of time and human power by contributing to automation of judge's decision.

• 한국인터넷방송통신학회논문지
• /
• 제12권2호
• /
• pp.233-241
• /
• 2012

프로젝트 관리의 목표는 프로젝트를 성공하기 위함이다. 그러나 프로젝트 수행 결과가 성공이라고 명확히 판단할 수 있는가? 또한 판단 결과에 고객과 개발자 모두 동의하는가? 성공과 실패에 대한 정의와 판단 척도들에 대해 다양하게 제시되고 있으나 명확한 분류 기준이 없다. 본 논문은 개발 성공을 결정하기 위한 판단척도들을 살펴보고, 프로젝트의 성공과 실패에 대해 재정의한다. 이러한 정의에 의해 프로젝트 수행 결과를 판단하는 척도와 기준을 제시한다. 제시된 판단 척도와 기준을 적용할 경우, 성공과 실패를 분류하는데 고객과 개발자간의 불협화음을 줄일 수 있을 것이다.

• 의료법학
• /
• 제9권1호
• /
• pp.57-127
• /
• 2008

In medical malpractice lawsuits, negligence is generally defined as conduct that is culpable because it falls short of what a reasonable person would do to protect another individual from a foreseeable risks of harm. Thus, the essence of negligence is a breach of obligations to be attentive, and the breach of obligations to be is negligence. However, whether negligence is or not depends on time, place, litigation forms and the judge since the meaning of negligence is wavering on the basis of abstract and normative judgment. In this thesis, what is medical negligence, a breach of obligations of attention for a doctor in medical malpractice lawsuits, would be it further enacted that doctors have the responsibility to protect the patients as a subordinate duty due to a principle of faith and sincerity besides the main duty for medical contract-performance since the suit is a litigation form to be based on responsibilities of experts, especially doctors, though having factors that are non-contractual as a trait for medical treatment. Further on the concept, when the plaintiff asserts and proves a specific fact from the recent moderation of the burden of proof about medical malpractices, whether the court should find a true bill in medical malpractice actually or not has been discussed.

• 논리연구
• /
• 제13권2호
• /
• pp.61-82
• /
• 2010

X가 참(거짓)이라는 사실이 알려지지 않았다는 무지전제로부터 X는 거짓(참)이라는 지식결론을 추론하는 논증을 일반적으로 무지로부터의 논증이라고 하는데, 코피 등을 비롯한 많은 논리학자들은 이를 오류 논증의 하나라고 설명하고 있다. 그들의 주장에 따르면, 무지로부터의 논증처럼 보이지만 오류논증이 아니고 설득력 있는 받아들일 만한 논증은 사실은 무지로부터의 논증이 아니고, 조건적 지식전제가 암암리에 포함된 논증이다. 이 논문은 그러한 주장에 반대해서 모든 무지로부터의 논증은 암암리에 조건적 지식전제가 포함된 것으로 해석될 수 있고, 또 모든 무지로부터의 논증이 다 오류는 아니라는 점을 논증한다. 무지로부터의 논증 형식을 지닌 논증 중에서 오류논증과 그렇지 않은 논증의 기준을 제시하고, 특히 실천논증의 경우, 사회적 맥락이 오류논증과 설득력 있는 논증을 가르는 중요한 기준임을 논증한다.