• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (중)
• /
• pp.1221-1224
• /
• 2003

비즈니스 룰은 이윤을 획득하기 위한 상용 시스템에서는 반드시 명확하게 기술되어야만 하며 시스템에서 비즈니스 룰의 충돌은 시스템에 대한 신뢰도를 떨어뜨리는 요인이 될 뿐만 아니라, 시스템의 계획 당시에는 예측하지 못했던 크고 작은 경제적인 손실을 발생하게 한다. 일반적으로 비즈니스 룰은 애매모호함을 가지고 있는 비정형 언어로 기술되는 경우가 많아서, 설정된 비즈니스 룰간의 충돌을 예측하기가 매우 어려울 뿐만 아니라, 개발 중에 룰이 추가되는 경우에 기존의 룰과의 충돌을 예측하기란 매우 어려운 일이다. 본 논문에서는 이 문제를 해결하기 정형 명세를 이용한 모델링을 사용하였다. 수학, 논리학에 기반을 둔 정형 모델링 방법으로 비즈니스 룰을 명확하게 표현하고, 해당 룰을 내포한 시스템 모델링을 구현하였다. 그 결과 작성된 비즈니스 룰의 충돌 여부를 판단할 수 있게 되었다. 시스템 개발 초기에 구현 후에 발생할 수 있는 문제를 미연에 발견하여 시스템 모델 혹은 비즈니스 룰의 수정하여 신뢰할 수 있는 시스템을 개발할 수 있도록 도움을 주고자 한다 본 논문에서는 명확한 표현을 위해서 비즈니스 룰을 일차 논리로 기술하고 룰과 모델링을 위해서 일차논리 기반의 정형 명세 언어인 Z 를 사용하였다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제8권1호
• /
• pp.14-17
• /
• 1969

• 정보관리학회지
• /
• 제15권1호
• /
• pp.129-148
• /
• 1998

본 연구의 목적은 기존의 불논리 검색 시스템에서 사용할 수 있는 실용적인 피드백 검색 기법을 찾아내는 것으로서, 이용자의 적합성 평가 부담을 덜어줄 수 있도록 사전에 이용자 모형을 구축하여 놓고 피드백 검색시 시스템이 자동으로 적합성 평가를 하는 이용자 모형 기반 피드백 검색 기법을 제안하고 이의 유용성을 실험적으로 입증하였다. 이를 위하여 먼저 증진된 불논리 검색 모형인 DNF 검색 모형과 P-norm 검색 모형을 사용한 피드백 검색 실험을 실시한 후, 검색효율이 높게 나온 DNF 모형을 채택하여 이용자 모형 기반 피드백 검색을 실시하였다. 실험 결과 모든 피드백 검색은 초기검색에 비해 검색효율이 크게 향상되었으며, 이용자 모형 기반 피드백 검색은 DNF 피드백 검색 결과에는 못미치지만 P-norm 피드백 검색 결과와는 거의 같은 수준의 검색효율을 보였다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제31권1호
• /
• pp.11-22
• /
• 1992

• 한국수학사학회지
• /
• 제22권3호
• /
• pp.1-30
• /
• 2009

프레게의 논리주의는 흔히 19 세기 후반의 산수화 운동을 잇는 수론 내의 발전사례로 간주된다. 그러나 실수 해석학 내의 그의 실제 작업을 고려해 볼 때 이런 견해를 받아들이기란 쉽지 않다. 그래서 그의 논리주의는 당대의 수학적 실천과는 유리된 철학적 프로그램에 불과했다고 간혹 주장되곤 했다. 이 논문에서 나는 이두 견해가 근거 없는 편견에 의존하고 있고, 그런 편견은 당대의 수학적 실천의 맥락 내에서 프레게 논리주의가 갖는 이론적 지위를 오해한 데서 비롯한 것임을 보일것이다. 첫째로 나는 칸토르의 실수 정의와 이에 대한 프레게의 비판을 검토할 것이다. 이에 근거해서 나는 프레게의 목표는 양의 비율을 순수 논리적으로 정의하는 것이었음을 보일 것이다. 둘째로 나는 프레게 논리주의의 수학적 배경을 고찰할 것이다. 이를 기초로 나는 실수 해석학에 대한 그의 견해는 예상외로 정교하다는 것을 보일 것이다. 프레게는 바이어슈트라스나 칸토르와는 달리 보편적 적용 가능성을 갖는 실수 해석학에 도달하려 하는 반면, 전통적 견해를 고수하는 대부분의 수학자들과 달리 실수 해석학을 확립할 때 기하학적 고찰에 결코 의지하지 않으려 한다. 셋째로 나는 프레게가 이 두 측면 - 기하학으로부터 독립성 및 보편적 적용가능성 - 을 논리학 자체의 특징으로 간주하였고, 논리주의에 따라 그것을 산수학 자체의 특징으로 간주하였다고 주장한다. 그리고 나는 실수가 양의 비율이라는 그의 견해는 수들의 본성이 다양한 맥락에서 수들이 하는 공통된 역할 내에서 이해되어야 한다는 그의 방법론적 원칙으로부터 유래하였다는 것, 그리고 그는 그런 식의 정의 없이는 수의 보편적 적용 가능성도 적합하게 설명될 수 없다고 생각했다는 것을 보일 것이다.

• 한국과학교육학회지
• /
• 제22권3호
• /
• pp.604-616
• /
• 2002

이 연구에서는 '생각하는 과학' 프로그램의 보상 논리 활동에 의한 문제 해결 전략 및 사고 수준의 변화를 알아보고자 하였다. 초등학교 6학년 학생들을 대상으로하여 사전 인지 수준 및 보상적 사고 수준에 따른 집단의 동질성을 확인하고, 보상 논리 문제 해결 전략 및 사고 수준을 분석하였으며, 보상 논리 활동 처치 후의 문제 해결 전략 및 사고 수준의 변화를 성별, 인지 수준별, 문제 상황별로 알아보았다. 연구 결과 보상 논리 문제 해결 전략으로 비논리적 설명, 기계적 수리 계산, 비례 논리, 정성적 설명, 가감산 논리, 반비례 논리로 나타났으며, 보상적 사고 수준을 분석한 결과 정성적 설명(1수준), 가감산 논리(2수준), 반비례 논리(정수비-3수준, 비정수비-4수준)로 나타났다. 또한 같은 논리적 사고를 요구하는 문제의 상황에 따라 익숙한 문제 해결 전략을 적용하는 Einstellung 현상을 볼 수 있었다. 사후 보상적 사고 수준의 변화를 살펴본 결과 실험 집단이 통계적으로 유의미하게 향상되었으며, 성별, 인지 수준별 상호 작용 효과는 나타나지 않았다.

• 철학연구
• /
• 제129권
• /
• pp.83-109
• /
• 2014

본 연구는 국내의 교육학 분야에서 '현상학적 방법'을 활용하여 질적연구를 수행할 경우에 나타나는 연구자들의 한계와 문제를 구체적인 사례를 통해 제시해 보는 데 그 목적이 있다. 주지하다시피 '교육학적 현상학' 은 교육학 분야에서 현상학이나 현상학적 방법을 활용하여 연구를 수행하는 것으로서, 인간의 삶과 밀접한 교육의 문제를 과학주의나 실증주의의 접근방법이 아니라 그 문제 현상(사태) 자체에서 해명을 시도해보고자 하는 것이다. 그런데 국내 질적 연구자들에 의해 순수현상학(철학적 현상학)이 이러한 응용현상학(교육학적 현상학) 분야에 활용되면서 다양한 문제들이 나타나고 있다. 그 중에서 가장 대표적인 것이 바로 질적 연구의 논리를 구성하고 있는 현상학에 대한 연구자의 충분한 이해가 부족하다든가 아니면 지오르기(A. Giorgi)나 반 매넌(M. van Manen) 등 외국학자들의 연구절차나 기법들을 무조건적으로 수용하는 문제라고 할 수 있다. 따라서 '현상학적 방법'을 활용하여 질적 연구를 수행할 경우에, 연구자는 연구논리에 대한 충분한 이해를 전제로 하여 단순히 고정된 연구절차나 방법을 사용하는 것이 아니라 연구대상자에게서 나타나는 다양한 현상들을 연구자 자신의 삶과 결부시켜 그것의 본질을 분석하고 해석하는 통찰력이 필요하다고 할 수 있다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제42권5호
• /
• pp.595-606
• /
• 2003

In this paper we analyze the Russian national curriculum for training of mathematics teachers at universities published by Russian Ministry of Education. From the document we are able to know the structure of the curriculum, compulsory subjects, and minimum mathematical contents for training mathematics teachers at universities.

• 산업진흥연구
• /
• 제5권3호
• /
• pp.61-71
• /
• 2020

본 논문의 목적은 고법 명리학의 명리 이론들을 연구 정리하여 고법의 사주 모형을 재현하고 고법의 사주해석법과 신법의 사주해석법의 논리구조를 정리한 후 비교하는 연구를 진행함으로써 그 간명법을 논리적 체계를 재확인해 보는 것이다. 명리이론이 처음 세상에 등장한 것은 귀곡자와 낙록자를 시원으로 삼아 그들이 활동했던 전국시대라고 보는 이도 있고, 조금 더 시간이 흘러 동진의 곽박에 의해 '옥조경'이 쓰여진 것이 시원이라고 보는 이도 있다. 그 이후 원천강과 이허중 등에 의해 체계화되어 가던 명리이론은 송대 서자평에 이르러 크게 변혁을 겪게 되는데 이 시점을 기준으로 앞 세대의 명리이론을 고법, 그 이후 서자평으로부터 시작되는 명리이론을 신법이라고 후대인들은 칭한다. 명리학 고법과 신법의 논리구조 변화는 둘 사이의 큰 차이점과 단절 현상을 남겨놓고 있지만 명리학 고법과 신법 모두 음양오행과 천간지지라는 자연의 상징체계, 천지인 삼원에 투영된 천인 감응 사상, 연월일시의 궁위가 가진 세대와 시간의 개념, 천기의 생왕사절 유행 등의 자연법에 기인한 철학과 논리구조는 크게 달라지지 않았다는 점을 비교연구를 통해 확인할 수 있었다.

• 정보관리학회지
• /
• 제19권2호
• /
• pp.69-92
• /
• 2002

본 연구는 다양한 유형의 정보자원에 대한 연속적이며 통합된 접근을 요하는 하이브리드 정보 서비스를 제공하기 위한 일반적인 하이브리드 도서관 모델과 설계 원칙에 따른 하이브리드 도서관 설계를 위한 하이브리드 도서관의 요구 분석과 논리적 구조를 살펴보았다. 하이브리드 도서관의 요구 분석은 해당 도서관의 특정한 요구사항을 명기함으로써 다양한 형태의 하이브리드 정보환경을 개발하는 기관과 서비스를 지원하는데 필요하며 서비스 개발을 계획하는 관리자들이 반드시 고려할 필요가 있는 과정이다. 이러한 요구 분석은 기본적인 요구사항, 기본적 시스템 요구사항, 탐색, 소재 확인, 신청, 배달, 지불 등의 7가지 항목으로 구성된다. 하이브리드 도서관의 논리적 구조는 기본적으로 하이브리드 도서관 설계에 필요한 요구 분석사항들을 수용할 수 있도록 조직되어야 하며, 이러한 구조는 하이브리드 도서관 관리시스템을 위한 논리적 구조와 하이브리드 도서관의 복잡한 기능성을 포괄적으로 지원하는 동시에 국지적 단순성을 획득하기 위한 5개의 계층별 논리 구조로 구분하여 생각 할 필요가 있다.