• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.135-158
• /
• 2003

베이즈주의는 믿음의 정도라는 확률의 의미해석과 수학적 확률론에 의한 계산체계를 기초로 하여 가설과 증거간의 입증(confirmation) 관계를 명료하게 분석한다. 베이즈주의는 증거 E가 가설 H를 입증한다는 것을 PR(HIE&K)-PR(HIK)>0으로 정의한다. 그러나 이러한 분석이 과연 과학자들의 입증개념을 올바로 반영하고 있는가 하는 비판이 오래된 증거(old evidence)의 문제로부터 제기되었다 오래된 증거는 이미 알려진 정보이기 때문에 완전한 확률 값 1을 부여받는다. 이 때 오래된 증거가 가설을 입증할 수 있는가 하는 질문은 베이즈주의자와 실제 과학자 사이에 서로 다른 답변을 도출한다. 먼저 베이즈주의에 따르면 오래된 증거가 가설을 입증할 수 없다. 그것은 PR(EIK)=1일 때 PR(HIK)=PR(HIE&K)의 결과가 도출되기 때문이다. 하지만 과학사의 여러 예들로부터 제시되는 실제 과학자들의 입증개념에 따르면 오래된 증거가 가설을 입증하고 있다. 필자는 이와 같은 입증개념의 이질성 문제가 다만 어떤 증거가 입증 가능한 것인지를 구분해야 하는 질적인(qualitative) 문제일 뿐만 아니라 증거가 가설을 어느 정도 입증하는지 하는 입증도를 정확하게 측정해야 하는 양적인(quantitative) 문제라는 점을 밝힌다. 특히 필자는 양적인 문제를 해결하면 질적인 문제가 자연히 해결된다는 점을 밝히고, 반 프라센이나 가버가 제안한 전략이 모두 질적인 문제만을 다루기 때문에 부분적인 해결책에 지나지 않는다는 점을 밝힘으로써 오래된 증거의 문제의 본질은 양적인 문제에 있다는 점을 주장한다.

• Journal of Korean Home Economics Education Association
• /
• v.27 no.1
• /
• pp.51-65
• /
• 2015

The purpose of the study was to describe the operating status of "Logic and Writing in Home Economics Education(HEE)" course and the students' perception about the course. For this study, the syllabuses of "Logic and Writing" course in HE education department were reviewed. The survey method was used in this descriptive study. Respondents in this study were 116 students taking the "Logic and Writing in Home Economics Education" course. Questionnaires from the students were collected through on-line and off-line mail. The results of the study were as the follows: First, goals of the "Logic and Writing in HE Education" course were as the follows in order: to enhance writing skill about various subjects related to Home Economics; to foster HE teachers' professionalism through persuasive power logically; to foster writing skill logically; to prepare HE teacher recruitment exam; and to foster teaching skills to enhance students' writing. The student evaluation methods in the course were mainly attendance, examination, tasks, discussion and presentation, and class participation. Second, degree of satisfaction of students taking the course was higher than average. The student respondents perceived that the course was helpful to improve their logical thinking and critical analytical skill, writing skill related to HE education and education, ability to express one's opinion clearly and exactly, understanding of the fundamental concept of logic and the structure and method of the essay, comprehensive understanding of HE education, and ability to solve the problems specifically. However, they responded that it was difficult to practice writing, to discuss and debate frequently, to follow uncertain assessment criteria, and to present frequently. They wanted the instructor to give the feedback more frequently.

• Annual Conference of KIPS
• /
• 2002.11c
• /
• pp.1713-1716
• /
• 2002

HyREX는 연구용 프로토타입 XML 하이퍼미디어 문서 검색시스템으로 다국어를 지원하고 있다. HyREX는 검색을 위한 효율적인 접근 경로들을 처리하는 물리적 계층 HyPath와 질의어를 처리하는 논리적 계층 XIRQL 그리고 사용자 인터페이스인 HyGate 계층으로 이루어져 있다. 이 연구에서는 영어와 독일어 등의 검색을 지원하는 기존의 HyREX 시스템을 한글 XML 문서 검색시스템으로 확장하기 위해 먼저 한글 데이터타입을 위한 클래스를 구현하였다. 앞으로 한글 XML 문서 검색에서 정확율과 재현율을 향상하기 위해 각 문서의 인덱스에 대해 $tf{\cdot}idf$ 공식을 이용하여 가중치를 부여하고 이를 개발하고자 한다.

• Proceedings of the Korea Society of Mathematical Education Conference
• /
• 2010.04a
• /
• pp.219-219
• /
• 2010

교육학의 질적 연구는 문헌 연구, 면담 연구, 비참여 관찰 연구, 참여 관찰 연구로 분류한다. 문헌연구에는 내용분석, 철학적 연구, 역사학적 연구, 문학적 비평이 들어가고, 면담연구에는 구술사, 전기, 탐문(探問) 저널리즘 등이 포함되고, 비참여 관찰연구에는 전문적 감정(鑑定), 인간의 종적 특성 연구, 관찰자 연구, 비개입적 행동 연구 등이 포함된다. 마지막으로 참여 관찰연구는 일반적 현장연구, 문화 기술적 연구가 포함된다. 질적 연구는 사람, 사물, 현상의 범주화나 수량화가 가해지기 이전의 상태, 즉 '있는 그대로'의 상태에 최대한 접근하는 방법으로써, 고정관념을 깨고 기존의 이론을 최대한 유보한 채 연구에 임하는 것으로 최근에 발달한 인문사회과학적 연구방법이다. 질적 인식이 자연언어에 주로 의존하는 데 비해 양적 인식은 인공언어에 많이 의존한다. 수식과 도형, 부호등은 대표적인 인공언어이다. 모든 사물이 질과 양의 속성을 다 가지고 있듯이 모든 연구는 질적 과정과 양적 과정을 다 포함하고 있다. 질적이냐, 양적이냐 하는 구분은 연구방법론의 문제인데 연구방법론은 연구논리와 연구기법을 포함한다. 본 연구는 인공언어인 수와 식에만 익숙한 수학교육에서, 질적 연구가 왜 필요한지, 어떤 특성이 있는지 논의함으로써 수학교육의 새로운 방법론을 제시하고자 한다.

• The Korea Swine Journal
• /
• v.20 no.9 s.229
• /
• pp.88-90
• /
• 1998

"솔직하게 사는 것" 곧, 정직을 생활철학으로 삼고 있는 (주)동방의 이각모 사장은 회사를 운영함에 ㅇㅆ어서 항상 경영상태를 100% 완전 공개 하고 있다. 이런 경영의 투명화는 직원들이 아무런 거부감 없이 사장과 함께 회사의 기쁨과 고통을 나눌 수 있게 하며, 상하 직급에 관계없이 논리가 앞선 진정한 토의가 토론시간마다 가능하게끔 한다. '모든 것을 다보이게 하니까 숨길 필요도 없고 스트레스 또한 적게 받는다'는 이각모 사장은 회사에서는 회사일에 열중하고 집에 가서는 회사일은 완전히 잊고 쉴 수 있는 진정한 프로의 경영자의 모습을 보여준다. 돼지고기 김치찌개와 수제비를 가장 좋아한다는 그는 항상 잃지 않는 웃음과 미소로 그의 인품을 대신하며, 중고시절 유도를 한 적이 있으며 무슨 운동이든지 다 좋아한다는 그의 튼튼한 체력은 그동안 이뤄냈던 큰 일들을 수행할 수 있었던 그 거대한 추진력의 밑거름이 되었으리라 생각된다.

• Digital Contents
• /
• no.11 s.150
• /
• pp.60-65
• /
• 2005

한글’은지구상문자중에서가장과학적이고독창적인글자다. 이정의에대해누구도섣불리부인하지못할것이다. 지구상의문자들을보면낱자를일렬로나열해 사용하거나, 뜻을가진낱글자하나씩을사용하는방식의문자가대부분이다. 한글처럼자음과모음이논리적으로조합되고창의적으로생성돼하나의음절을이루 는글자는찾아볼수없다. 한글의원리를하나씩이해해나가다보면조상들의뛰어난창의력에저절로감탄이나온다. ‘ 생각’은‘ 언어’를통해서하게되며, 이언어 를기록하고전달하기위해서는‘ 문자’라는가시적인기호가필요하다. 이번호에서는민족의얼을담고있는우리말‘ 한글’이모바일환경에서어떤모습으로나타 나는지알아보고자한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1998.11a
• /
• pp.141-145
• /
• 1998

This paper CMOS full adder design method based on carry-propagation-free addition trees and a circuit technique, so called multiple-valued current-mode (MVCM) circuits. The carry-paopagation-free addition method uses a redundant digit sets called redundant positive-digit number representations. The carry-propagation-free addition is by three steps, and the adder can be designed directly and efficiently from the algorithm using MVCM circuit. We demonstrate the effectiveness of the proposed method through simulation(SPICE).

• Journal of the KSME
• /
• v.25 no.2
• /
• pp.117-121
• /
• 1985

SIMAN의 주요한 논리적 특성은 시뮬레이션프로그램이 시스템 모델부분과 실험부분의 두가지로 구성이 되어 있으며, 일반적인 시스템의 모델링과 분석뿐만 아니라, 자재운반시스템, 로봇 시스템, 제조 셀(manufacturing cell), 플렉시블 제조시스템(Flexible Manufacturing System, FMS)등의 모델링에 유용한 특성을 가지고 있어서 생산시스템의 시뮬레이션에 아주 적합한 시뮬레이션 언 어이다. 또 SIMAN은 대형. 중형 컴퓨터는 물론, 16비트 바이크로컵퓨터에서도 사용이 가능하 다(5). 이 글에서는 SIMAN 시뮬레이션 언어를 사용한 생산시스템의 시뮬레이션에 대한 개념과 방법을 고찰하고, 생산시스템의 시뮬레이션에 관한 간단한 사례를 고찰하고자 한다.

• Annual Conference of KIPS
• /
• 2003.05a
• /
• pp.509-512
• /
• 2003

본 논문은 다국어 번역기술의 일환으로 Nlip의 불어 형태소 분석기를 기반으로 한 불-한 번역 도우미 FK-Tranassis의 구성에 대하여 설명하고 불-한 번역 도우미 FK- Tranassis 에서 제공되는 FKT_DynaDic 사전의 논리적 구조에 대하여 설명하여 FKT_DynaDic 사전에서 번역가의 성향에 맞는 대역어를 제공해주는 방법에 대하여 설명하고자 한다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.2
• /
• pp.160-166
• /
• 2007

When a mail was given to users, each user's response could be different according to his or her preference. This paper presents a solution for this situation by constructing a user preferred ontology for anti-spam systems. To define an ontology for describing user behaviors, we applied associative classification mining to study preference information of users and their responses to emails. Generated classification rules can be represented in a formal ontology language. A user preferred ontology can explain why mail is decided to be spam or ron-spam in a meaningful way. We also suggest a new rule optimization procedure inspired from logic synthesis to improve comprehensibility and exclude redundant rules.