• 논리연구
• /
• 제8권2호
• /
• pp.3-32
• /
• 2005

수론(Number theory)과 수학 전반에 걸쳐 무모순성을 확립하고자 한 힐버트의 합리주의적 열망은 무모순성을 주장하는 진술 자체가 그 체계 내에서 결정 불가능한 진술이라는 괴델의 두 번째 정리에 의해 좌절된다. 수학의 어떤 문제에서도 수학자가 "Ignorabimus!" (우리는 모른다!) 해서는 안된다는 힐버트의 낙관 또한 수학에서 증명도 반증도 안되는 결정불가능한 진술의 존재로 인하여 무너진다. 힐버트 프로그램은 일체의 모호함을 배제하고 기호와 기호열에 대한 기계적 연산에 기초하기 때문에 그 충격도 그만큼 클 수밖에 없다. 이 프로그램의 좌절은 그래서 무엇보다도 형식화의 한계를 분명히 보여준다. 이제 수학에서는 통사론적인 증명가능성의 개념이 의미론적인 참의 개념보다 우위를 갖게 되었다. 그리고 그가 제안한 알고리듬(기계적 절차)의 개념은 프로그래밍 언어의 출현에 직접 기여하였다. 그래서 우리는 그의 기획이 비록 좌절했지만 위대한 실패라고 믿고 싶다.

• 한국지구과학회지
• /
• 제26권1호
• /
• pp.1-8
• /
• 2005

과제중심학습이 교사가 학습자에게 전달해야 할 지식을 미리 정한 순서에 따라 차례로 제공하는 학습이라면. 문제중심학습(PBL)은 구성주의의 상대론적 인식론에 따른 학습자의 문제해결능력의 활용에 관심을 둔 학습양식이다. 본 연구에서는 문제중심학습은 학습과정을 자율적 학습과정과 구분하여 이를 적용하였으며 이를 통하여 창의력에 미치는 효과를 알아보았다. 창의력은 관련분야에 실재하는 복잡하고 비구조적인 문제들을 자신의 두뇌 속에 이미 존재하는 지식이나 축적된 경험을 바탕으로 새롭고 유용한 결합을 이루어 내고, 그것에 기초하여 판단을 내리는 능력으로 보고, 본 연구에서는 이를 창의적 성향과 기능면에서 분석하였다. 본 연구 결과, 문제중심학습(PBL)은 통계적으로 유의수준 .05에서 창의력 신장에 긍정적인 효과를 보이고 있는 것으로 나타났다.

• 기술혁신연구
• /
• 제20권1호
• /
• pp.75-114
• /
• 2012

한국의 혁신체제는 모방학습 기제에 기초한 추격형 혁신체제에서 벗어나 스스로 개념과 새로운 가치를 창출하는 탈추격형 혁신체제로의 전환 필요성이 대두되고 있다. '탈추격' 연구는 한국 혁신체제 내에서 발흥하는 새로운 형태의 혁신활동과 혁신주체간 관계를 포괄할 수 있는 새로운 개념틀의 필요성에 부응하려는 노력으로 이해할 수 있다. 탈추격 혁신활동은 후발산업국가의 기술능력 축적에 따라 추격대상이 존재하지 않고 스스로 혁신경로를 개척하는 혁신활동이며, 기술역량의 축적 만을 의미하는 것이 아니라 현재와는 다른 조직 및 제도적 배열, 사회적 규칙의 형성을 포괄하는 개념이다. 이런 의미에서 탈추격 연구는 제도론, 진화이론, 발전론의 이론적 전통과 맥락을 함께 하고 있다고 할 수 있다. 본 논문은 이러한 문제의식에 근거하여 후발산업국인 한국에서의 탈추격 혁신활동을 포괄할 수 있는 새로운 이론틀의 정립과 향후 연구 과제를 도출하기 위한 목적을 가지고 있다.

• 기록학연구
• /
• 제74호
• /
• pp.79-117
• /
• 2022

최근 국내 문화예술기관에서 아카이브를 활용한 전시와 프로그램 기획이 많아지면서 아트아카이브라는 용어가 폭넓게 사용되고 있다. 트아카이브는 학문 연구의 기초 자원, 예술 문화의 정체성 확립과 같은 역할을 위해 그 필요성이 제기되었지만, 현재는 더 나아가 직접적인 활용 및 서비스의 대상으로 주목 받고 있다. 이에 기록학계에서도 아트아카이브의 가치와 정책, 관리방안 등에 대한 연구가 진행되었다. 그러나 아트아카이브를 다루는 기관에서 실제 적용 가능한 관리방법론에 대한 연구는 미흡한 실정이다. 특히, 아트아카이브의 효율적인 활용을 위해서는 분류와 정리 그리고 기술 영역의 체계적인 관리가 선행되어야한다. 하지만 아트아카이브는 수집 유형, 관리 기관과 소장 자원의 특성 등에 따라 각각 다른 관리 방법이 존재한다. 그렇기 때문에 일관된 분류·기술 방법론을 적용하기 어렵다. 이에 본 연구에서는 서울시립 미술아카이브의 실제 사례를 기반으로 아트아카이브의 범주와 유형을 살펴보고, 분류체계의 구축과 기술 규칙을 제시하였다.

• 유기물자원화
• /
• 제15권1호
• /
• pp.134-142
• /
• 2007

본 연구는 생활쓰레기의 물리 화학적 분석 및 발열량 등으로 그 특성을 알고 반응기를 이용한 열중량감량 분석을 함으로써 열처리 시설의 가장 효율적인 운영에 기초자료가 됨을 목적으로 한다. 측정 결과는 다음과 같다. 쓰레기의 삼성분 중 가연분이 약 61%로 다른 수분(약 32%) 회분(약 7%)보다 함유량이 높았고 쓰레기의 원소분서결과 종류에 관계없이 탄소와 수고(약 94%)의 존재량이 대부분이었다. 쓰레기의 발열량 분석 결과 고위발열량은 2897.883(Kcal/kg)의 값을 갖는 것으로 나타났다. TGA를 이용하여 도시 생활쓰레기의 종류별 열적 특성을 분석한 결과 온도가 증가함에 따라서 시로 중에 함유된 휘발분이 지속적으로 무게 감량이 일어났으며 특히 $300{\sim}500^{\circ}C$에서 열중감량이 활발히 진행되고 그 반응속도에 차이가 있음을 알 수 있었다.

• 인지과학
• /
• 제10권2호
• /
• pp.17-25
• /
• 1999

문맥에 고려한 데이터베이스 인터페이스 시스템을 개발하는 데는 영어권 언어 시스템을 개발하는데 있어서 별로 거론되지 않았던 여러 가지 문제점이 존재한다. 예를 들어, 한국어의 처리는 구문 구조적 제약이 비교적 엄격하지 않기 때문에 적은 수의 규칙으로도 문장이 분석될 수 있지만, 이러한 점은 구문구조분석단계에서 모호성을 남기게 되어 의미 구조분석 단계나 뒤에 연속되는 문맥관련 모듈을 설계할 때는 큰 부담으로 작용한다. 이러한 점을 고려하면서, 본 논문에서는 SRI에서 개발한 CLE라는 시스템을 기초로 개발된 한국어 데이터베이스 인터페이스 시스템을 구축하면서 직면한 여러 가지 어려움을 기술하고자 하며 특히 QLE 라는 의미구조를 한글에 적용시키면서 관찰된 여러 가지 문제들에 중점을 두고 논의를 전개해 나가고자 한다.

• 동굴
• /
• 제75호
• /
• pp.15-20
• /
• 2006

이 논문의 목적은 추가령 열곡 내에 발달한 단층구조를 확인하려는 것이다. 열곡에 관한 이해는 한국의 구조지형 발달에 관한 실태를 파악하는데 매우 중요한 의미를 갖는다. 그러나 아직까지 열곡형성에 관한 메카니즘이나 형성과정에 관한 논의가 확실하게 정리되지는 않았다. 야외조사를 통해서 얻은 자료를 기초로 하면 이 지역에 단층구조가 존재하는 것이 확실하다. 그러나 열곡이 매우 길고 넘어서 단층구조 전체에 대한 증거를 확인하기는 매우 어려운 점이 있다. 이 연구에서 IMAGEM은 매우 유용한 방법론의 하나이다. IMAGEM은 Electomagnetic Instrument Inc. 에 의해 개발되었고 $0.001{\sim}20,000Hz$를 커버한다.

• 융합정보논문지
• /
• 제10권11호
• /
• pp.185-194
• /
• 2020

제 4차 산업혁명 시대에 포스트휴먼적 존재들의 등장은 인간중심적인 근대 휴머니즘에서 탈피하여 인간 아닌 존재들과의 새로운 관계에 대한 성찰의 필요하다는 인식론적 변화를 야기했다. 이러한 성찰을 위해서 주변 세계를 공감하고 이해할 수 있는 포스트휴먼 감수성이 요구되며, 이러한 감수성 함양을 위해 포스트휴먼 시대를 사유하고 경험할 수 있는 미술작품 사례를 포스트휴머니즘 연구자인 브라이도티가 제시한 '동물-되기', '지구-되기', '기계-되기' 기준을 바탕으로 분석하여 제시하였다. 미술작품은 시대정신을 반영하고 있기에 포스트휴먼 시대를 성찰하고 체험해 볼 수 있는 텍스트라는 긍정적인 측면을 확인하였다. 본 연구는 포스트휴먼 감수성 함양을 위해 미술교육에서 활용할 수 있는 미술작품들을 제시하여 기초연구로서 의의가 있다.

• 철학연구
• /
• 제143권
• /
• pp.87-118
• /
• 2017

이 논문에서 필자는 피터 싱어의 인간 개념에서 발견되는 몇 가지 이론적인 모순점들을 보여줄 것이다. 싱어는 인간을 한편으로는 자연에 종속된 존재로 간주하면서 다른 한편으로는 초월적인 존재로 간주한다. 이것이 그의 인간개념의 첫 번째 비일관성이다. 그의 두 번째 비일관성은 이성의 능력에 대한 그의 입장과 관련되어 있다. 그는 이성의 능력이 진화의 산물이라고 믿으면서 동시에 이성능력은 진화의 맹목성에 저항할 수 있는 능력이라고 믿기도 한다. 세 번째로, 인간의 도덕능력에 대한 평가에 있어서도 그는 모순적인 태도를 노출하고 있다. 이 세 가지 모순들을 고려한다면, 싱어는 인간과 동물 간에는 질적인 차이가 없다는 자신의 주장을 증명하지 못했다는 사실이 분명해진다. 싱어의 이론이 대중들의 호응을 얻고 있음에도 불구하고, 필자는 그의 동물해방론의 이론적 기초가 꽤나 허약하다고 생각한다. 필자가 싱어 이론의 약점을 드러내는 이유는 인간이 동물을 무자비하게 다루는 관행으로 로 되돌아가기 위함이 아니라, 동물복지의 미명하에서 인간의 존엄성을 파괴하는 것이 잘못임을 보이기 위함이다.

• 한국정보처리학회논문지
• /
• 제3권5호
• /
• pp.1070-1081
• /
• 1996

본 연구는 도시가로망에 설치된 상류부 루프 검지기로 부터 수집되는 검지 자료 들중 개별차량의 점유시간을 기초로 대기길이를 예측할 수 있는 모형을 구축 하였으며, 구축된 알고리즘은 향후 현장 적용시 기하구조적특성(횡단보도 존재 여부)의 영향 을 소화하기 위한 방법론을 제시한다. 본 연구의 예측모형은 강남역에 설치된 상류부 검지기로 부터 수집된 현장자료를 이용하여 정립되었으며, 모형의 기본식은 Muliti- Ploynomial식에 의한 희귀방정식에 기초하고 있다. 연구결과 강남역 상류부 검지기를 기준으로 전방 약 80ｍ∼90ｍ 부근에서 형성된기 시작하는 대기길이를 실시간으로 예측할 수 있었으며, 연구모형에 대한 통계분석 및 검증결과 현장적용에 매우 적합한 것으로 나타났다.