• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제3권
• /
• pp.229-249
• /
• 1997

폴리아가 그의 저서 ‘How to Solve It.'에서 주창한 문제 해결의 모형은 이렇게 해석될 수 있다. 곧, 절대 다수의 수학 문제는 조건문 (p${\rightarrow}$q)의 명제 형식으로 분해된다는 것이다. 그리하여 순조롭게 발생되는 문제 해법의 전과정은 아래와 같이 마치 징검다리를 놓듯 추이율(transitivity)을 연거퍼 적용하는(이른바 연추적이라 함) 절차이다. (p: 주어진 정보) ${\rightarrow}$ ${\cdots}$ ${\rightarrow}$ ${\cdots}$ ${\rightarrow}$ (구하는 정보: q) 이것은, 일반적으로, 추이율이 성립하는 모든 관계(relation)의 연추적 확인 과정으로 확장될 수 있다. 요컨대 항진식 (p${\rightarrow}$r) ${\wedge}$ (r${\rightarrow}$q) ${\rightarrow}$ (p${\rightarrow}$q)의 보장 아래 관계의 추이율 xRz ${\wedge}$ zRy ${\rightarrow}$ xRy 로 연결되는 온갖 경로를 포괄한다. 이상과 같이 정식화되는 이 도식의 한계와 효용은 (1) 모든 문제가 조건문의 형태를 갖추고 있는 것은 아니며, (2) 조건문 형식의 문제라도 해법이 반드시 연추적으로 발생되는 법도 아니고, (3) 더구나 이것이 해법 발생의 만능 열쇠는 아닐뿐더러, (4) 발상을 촉진하는 데는 교육공학적으로 더 정교한 배려가 필요하므로, (5) 초보 단계에서 행동 수정을 위한 치유 목적으로 사용됨이 바람직하다.

• 철학연구
• /
• 제147권
• /
• pp.59-76
• /
• 2018

어떤 존재 x를 도덕적 행위자로 만들어주는 조건은 무엇인가? 인공물도 도덕적 행위자일 수 있는가? 도덕적 행위자는 옳고 그름을 판단할 수 있는 이성적 존재로 간주된다. 본 논문에서는 우선 이성적 존재에 대한 조건에 대한 데이빗슨의 입장을 비판적으로 분석하면서, 명제적 태도(propositional attitude)를 가지는 믿음과 그 배경으로서의 믿음들의 연결망은 이성적 존재의 필요조건이 될 수 없음이 논증된다. 그런 뒤에 도덕적 행위자의 조건에 대한 프로케소바(Eva $Proke{\check{s}}ov{\acute{a}}$)의 입장에 대한 분석을 통해서 프로케소바가 제시한 조건들은 단지 피상적인 요소들의 병렬적 나열에 불과함이 밝혀진다. 본 논문에서 도덕적 행위자는 이성적 행위자를 포함하며, 강한 일인칭 시점이 이성적 행위자와 도덕적 행위자의 필요충분조건임이 논증된다. 결론적으로 도덕적 행위자로서의 가능성을 완강하게 부정하는 강한 회의론 대신에 도덕적 행위자의 조건을 제시함으로써 인공물의 행위자 가능성에 잠정적 한계를 설정해주는 온건한 회의론의 밑그림이 제시될 것이다.

• 논리연구
• /
• 제8권2호
• /
• pp.59-84
• /
• 2005

조건문의 확률은 조건부 확률과 같을 수 없음을 보이는 루이스의 '사소함 결과'(the triviality results)는 널리 알려져 있다. 하지만 이 증명의 정확한 구조와 그 의미를 파악하기란 그다지 쉽지 않다. 이 논문에서는 먼저 루이스 증명의 한 형태가 제시되고 왜 조건문의 확률은 조건부 확률과 같을 수 없는지에 대해 한 가지 설명이 제공된다. 이와 아울러 이런 결과가 갖는 철학적 함축이 무엇인지가 논의된다. A일 경우 C일 조건부 확률은 A가 성립할 경우 C가 성립할 가능성이 어느 정도인지에 관한 것으로, 이 점은 조건부 확률의 정의인 등식 Pr(C|A)= Pr(A & C) / Pr(A)에 잘 반영되어 있다. 조건부 확률이 갖는 이런 독특한 성질과 조건부 확률과 언제나 같은 확률을 갖는 명제를 찾으려는 노력이 허사로 끝나게 마련이라는 점은 서로 밀접한 연관이 있어 보인다. 만약 이 점이 옳다면, 우리는 조건문은 그냥 주장과는 아주 다른 조건부 주장을 표현한다고 보아야 하며, 조건부 주장은 진리조건을 갖지 않는, 사이비 주장이라는 점을 받아들여야 할지도 모르겠다.

• 정보과학회 논문지
• /
• 제42권11호
• /
• pp.1410-1422
• /
• 2015

소프트웨어 개발자들은 시스템의 설계를 위해 UML의 클래스 다이어그램과 같은 객체 모델을 이용한다. 객체-관계 변환 방법론은 객체 모델에 표현된 관계성들을 관계형 데이터베이스 테이블로 변환하는 방법론으로, 설계된 시스템의 구현을 위해 적용된다. 기존 객체-관계 변환 방법론의 연구들은 하나의 관계성을 표현하기 위해 여러 변환 기법들을 제안하였다. 하지만 각 변환 기법의 사용기준들이 존재하지 않아 구현에 적용하기 어려운 문제점이 있다. 따라서 이 논문은 각 관계별로 이진 결정 다이어그램 기반의 모델링 규칙을 제안한다. 이를 위해 변환 기법들을 구분하는 조건들을 정의하고, 질의 수행시간을 측정함으로 검증이 요구되는 모델링 규칙들을 평가한다. 평가 후, 이 논문은 명제 논리로 표현된 최종 모델링 규칙을 재정의하고, 사례 연구를 통하여 제안된 모델링 규칙이 설계된 시스템을 구현하는데 유용함을 보인다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2012년도 제42회 동계 정기 학술대회 초록집
• /
• pp.111-111
• /
• 2012

지식경제부의 청정제조기반 산업원천개발사업의 일환으로 진행 중인 "초고진공펌프 개발" 과제 중 제 3 세부 과제인 "고진공펌프종합특성평가시스템 설계, 진단기술 개발" 과제에서 추진되고 있는 연구결과를 소개한다. 국내 초고진공펌프 개발 수준의 선진화를 위한 기본적인 초석 확립은 현존하는 모든 진공 발생 장치의 국제적 신뢰성이 있는 완벽한 성능평가의 구현에 있다고 할 수 있다. 고진공펌프개발 총괄 과제의 대명제는 "국제적 신뢰성을 가지는 상용화 제품의 완성"이며, 이를 위한 3세부과제의 추진 방향은 기 완료된 1단계 기술개발에 근거한 1세부과제 및 2세부과제와의 유기적인 infra를 통한 성공적인 지원체계 구축 및 상용화 제품 개발 단계의 모든 신뢰성 확보 전략을 수립, 수행하는 것을 골자로 하고 있다. 또한 2단계 사업 추진 동안 제품 개발 주체인 산업체에 모든 개발된 기술을 적용할 수 있는 기반 제공 및 상용화를 위한 성공적인 기술이전도 포함된다. 상용화 개발 완료 후인 Post Project 기간 동안에 발생할 수 있는 모든 지원 체계의 구축도 장기간에 걸친 연구 개발의 연장선상에서 추진되어야 될 것으로 예상된다. 상용화 단계의 내구성 및 신뢰성 확보를 위한 전제 조건은 대외적으로 공표할 수 있는 시험평가 데이터와 개발 주체에서 기밀 수준으로 유지해야만 하는 민감한 자료의 상시 생산 infra의 구축으로 볼 수 있다. 이러한 고진공펌프개발이라는 과제의 대명제를 완성하기 위하여 추진 연구개발 방향 등 향후 2년간의 최종 상용화에 필요한 국제 신뢰성, 공정대응성 확보 등 핵심사업 추진내용 및 infra 구축의 상세설계 로드맵 초안을 고찰하고자 한다. 본 연구는 지경부 산업원천기술개발사업 중 "초고진공펌프 개발" 사업의 제 3 세부과제인 "고진공펌프종합특성평가시스템 설계, 진단기술 개발" 과제(과제번호: 10031836)에서 수행된 연구결과의 일부임.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2013년도 제44회 동계 정기학술대회 초록집
• /
• pp.249-249
• /
• 2013

지식경제부의 청정제조기반 산업원천개발사업의 일환으로 진행 중인 "초고진공펌프 개발" 과제 중 제 3 세부 과제인 "고진공펌프종합특성평가시스템 설계, 진단기술 개발" 과제에서 진행되고 있는 연구수행결과 및 기 구축 돈 저진공펌프 종합특성평가시스템을 활용한 진공펌프의 상용화를 위한 신뢰성 평가에 관하여 소개한다. 10(3) mbar~ 10(-10) mbar 영역의 국내 진공펌프 개발 수준의 선진화를 위한 모든 특성평가장치의 국제적 신뢰성이 있는 완벽한 성능평가의 구현에 있다고 할 수 있다. 고진공펌프개발 총괄과제의 대명제는 "국제적 신뢰성을 가지는 상용화 제품의 완성"이며, 전체 사업 추진기간 동안 제품 개발 주체인 산업체에 상용화를 위한 신뢰성 기반기술의 완벽한 구현의 제공에 있다고 할 수 있다. 이러한 고진공펌프의 신뢰성 평가는 저진공펌프의신뢰성 평가기술에 기반을 두고 있으며, 기 개발 완료된 특성평가뿐만 아니라 실질적으로 공정현장에서 판단할 수 있는 내구성진단 및 제작회사에서의 기계적 신뢰성 진단기술의 복합적인 요인들의 집합적인 분석에 기인하고 있다고 판단할 수 있다. 상용화 단계의 내구성 및 신뢰성 확보를 위한 전제 조건은 대외적으로 공표할 수 있는 시험평가 데이터와 개발 주체에서 기밀 수준으로 유지해야만 하는 민감한 자료의 상시 생산 infra의 구축으로 볼 수 있다. 이러한 진공펌프개발이라는 과제의 대명제를 완성하기 위하여 추진 연구개발 방향 등 진행형인 2년간의 최종 상용화에 필요한 국제 신뢰성, 공정대응성 확보 등 핵심사업 추진내용을 소개하고자 한다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2013년도 제45회 하계 정기학술대회 초록집
• /
• pp.112.2-112.2
• /
• 2013

지식경제부의 청정제조기반 산업원천개발사업의 일환으로 진행 중인 "초고진공펌프 개발" 과제 중 제 3세부 과제인 "고진공펌프종합특성평가시스템 설계, 진단기술 개발" 과제에서 5년 동안 진행되고 있는 전반적인 연구수행결과 및 구축 완료된 종합특성평가시스템을 활용한 고진공펌프의 상용화를 위한 신뢰성 평가에 관하여 소개한다. 고진공펌프개발 총괄 과제의 대명제는 "국제적 신뢰성을 가지는 상용화 제품의 완성"이며, 10(3) mbar~10(-10) mbar 영역의 국내 진공펌프 개발 수준의 선진화를 위한 모든 특성평가장치의 국제적 신뢰성이 있는 완벽한 성능평가의 구현을 포함한다고 볼 수 있으며, 전체 사업 추진기간 동안 제품 개발 주체인 산업체에 상용화를 위한 신뢰성 기반기술의 완벽한 구현의 제공에 있다고 할 수 있다. 이러한 고진공펌프의 신뢰성 평가는 저진공펌프의 신뢰성 평가기술에 기반을 두고 있으며, 기 개발 완료된 특성평가뿐만 아니라 실질적으로 나노종합팹센터의 공정현장에서 판단할 수 있는 내구성진단 및 최종 제품의 기계적 신뢰성 진단기술의 복합적인 요인들의 집합적인 분석에 기인하고 있다고 판단할 수 있다. 상용화 단계의 내구성 및 신뢰성 확보를 위한 전제 조건은 대외적으로 공표할 수 있는 시험평가 데이터와 개발 주체에서 기밀 수준으로 유지해야만 하는 민감한 자료의 상시 생산 infra의 구축으로 볼 수 있다. 이러한 진공펌프개발이라는 과제의 대명제를 완성하기 위한 연구개발 등 최종 상용화에 필요한 국제 신뢰성, 공정대응성 확보 기술개발 등 핵심사업 추진내용을 소개하고자 한다.

• 철학연구
• /
• 제123권
• /
• pp.27-56
• /
• 2012

이 논문의 목표는 인식적 구분불가능성과 존재적 구분불가능성에 대한 구분에 있다. 전자는 인식적 오류로부터 생긴 구분불가능성이고, 후자는 모든 개별적 존재자의 자기동일성으로부터 온 것이다. 두 가지 종류의 구분불가능성 개념을 살피기 위해서는 개념으로서 동일성과 주체의 활동성으로서의 동일화함을 구분해서 생각할 필요가 있다. 인식적으로 구분 불가능한 것은 필연적으로 동일한 것이 아니지만 존재적으로 구분 불가능한 것은 필연적으로 동일한 것이다. 이런 구분을 통해 라이프니츠의 구분 불가능한 것의 동일성 명제(principium identitatis indiscernibilium)의 의미를 더 명료히 함과 동시에 비판적으로 강화할 수 있을 것이다. 내적 속성이 같은 서로 다른 존재자가 생각가능하다는 점은 라이프니츠의 동일성 명제에 대한 반론이 된다. 그러나 시공간적 관계속성을 통해 그런 두 사물은 다시 구별될 수 있다는 점에서 라이프니츠의 동일성 명제는 유효하다. 그리고 시공간적 관계속성을 가능하게 해주는 가장 근본적인 조건으로서 주체성의 필수불가결한 역할이 부각될 것이다. 이를 위해 동일성개념과 라이프니츠에 대한 헤겔의 논의를 살펴 볼 것이다.

• 한국자원식물학회:학술대회논문집
• /
• 한국자원식물학회 2022년도 추계학술대회
• /
• pp.122-122
• /
• 2022

현재, ‘마약류 관리에 관한 법률’에 의해 규제되고 있는 대마는 “대마초와 그 수지 및 이를 원료로 제조된 제품 일체”에 대한 판매 및 유통이 엄격히 금지되어있다. 예외로, “대마초의 종자·뿌리 및 성숙한 대마초의 줄기와 그 제품”은 규정예외 되어있지만, 이를 식품 및 화장품 등의 산업재료로 활용하기 위해서는 대마의 새싹 및 근경부의 생산량과 안전성이 확보되어야만 한다. 그러므로, 본 연구에서는 동일 생육조건하에 LED광원에 따른 대마(Cannabis sativa L.)의 생육 및 생산량 차이를 확인하였다. 또한, LED광원 별 새싹대마의 독성을 확인하기 위해 대식세포인 RAW 264.7에 추출물을 처리하여 세포독성을 평가하였다. 실험결과, 청색광 처리 새싹대마가 생체 중 12.8 g로 가장 높았다 (적색광 10.8 g, 차광 8.8 g). 광원 별 세포독성은 모든 광원별 새싹대마 추출물에서 0.1 ~ 1 mg/ml까지 농도에서 독성이 없음을 확인하였다. 결과적으로, 빛을 처리한 조건의 새싹대마가 차광된 조건의 새싹대마보다 생산량이 증대되었으며, 광원별 새싹대마에서 세포독성이 없음을 확인하였다. 그러므로, 본 연구를 통해 대마 새싹이 식품 및 산업적 소재로서의 경쟁성과 안전성을 가지고 인체에 유익한 소재로 활용될 수 있는 가능성을 보였다.

• 한국표면공학회:학술대회논문집
• /
• 한국표면공학회 2017년도 춘계학술대회 논문집
• /
• pp.68.1-68.1
• /
• 2017

수소에너지의 무한한 가능성이 주목됨에 따라 과전압이 높은 산소 발생 촉매의 효율 향상 및 제작비용의 절감은 중요한 문제가 되어왔다. 백금계 촉매는 높은 효율과 낮은 과전압을 가지고 있지만 적은 매장량과 비싼 가격으로 수전해의 상용화에 큰 장애물이 되어왔다. 전이 금속 산화물 촉매는 가격이 저렴하고 형상과 크기 등에 따라 백금계 촉매에 비등한 성능을 발휘할 수 있다. 본 발표에서는 산소발생을 위한 촉매로서 Cu와 Co를 co-precipitation법을 이용하여 $Cu_xCo_{(3-x)}O_4$를 제작하고 이를 셀, 스택에 적용한 방법을 소개한다. 본문에서는 용액의 pH를 다르게 합성하여 Cu와 Co의 비율을 변화시켜 형상, 결정성을 조절할 수 있었고, 이러한 다른 조건에서 산소 발생 성능의 변화를 측정하였다. 최종적으로 최적의 성능을 나타내는 산소 발생 촉매를 셀 및 스택에 적용하여 실제적인 성능을 측정하였다.