• 논리연구
• /
• 제10권2호
• /
• pp.109-123
• /
• 2007

본 논문에서는 양상 논리의 정식들이 일차 논리에서 정의가능하다는 사실을 살펴 볼 것이다. 그 중에서도 특히, 크립키식 양상 해석을 중심으로 일차 논리를 통한 정의가능성을 살펴볼 것이다. 여기서 정의가능성이란, 크립키 해석에서 타당한 정식들에 대응하는 일차 논리의 타당한 정식들을 찾을 수 있다는 것을 의미한다.

• 기록학연구
• /
• 제59호
• /
• pp.277-320
• /
• 2019

기억 담론'은 기록학계의 패러다임 변화의 흐름에서 중요한 역할을 수행하고 있다. 기억은 재현가능성을 전제로 삼았던 '증거로서의 기록'의 한계를 지적하고, 기록을 기억을 포착하여 무한히 해석 가능한 매개체로 다시 정의한다. 이제 기록관리는 '보이는' 기록과 '보이지 않는' 기억 사이에서, '세계를 어떻게 기록할 것인가'를 넘어 '어떤 세계를 기억할 것인가'라는 새로운 질문을 부여받는다. 그리고 기억이 가진 개인성과 현재성, 일상성의 힘은 기억과 기록의 관리 그 자체가 사회 정의적 역할을 수행할 수 있다는 주장으로 연결된다. 이 글은 서구의 기억 담론 지형을 종합적으로 검토하고, 이를 재구성하여 기억의 사회 정의적 가능성에 대해 살펴본다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1996년도 제8회 한글 및 한국어 정보처리 학술대회
• /
• pp.222-228
• /
• 1996

기존의 미등록어 추정 방법은 대부분 단일 어절 접근 방법으로 단일 어절에서 추출할 수 있는 추정 정보가 부족하여 과분석과 오분석의 가능성이 높았다. 그래서 동일 미등록어를 가진 어절들을 동시에 분석하는 유사 어절 접근 방법이 제시되었다. 그러나 이 방법도 유사 어절의 범위를 조사나 어미만 다른 어절로 정의함으로써 수집될 수 있는 유사 어절의 수가 제한되어 대략의 텍스트에서만 적용이 가능하였다. 이에 본 논문은 유사어절을 동일 음절열을 공유하는 어절들로 확장 정의하여 작은 크기 N의 텍스트 윈도우에서 유사 어절의 발견 가능성을 높임으로써 실시간으로 미등록어를 추정할 수 있게 하는 방법을 제시한다. N을 100으로 한 실험결과는 미등록어 추정 정확도가 99.3%였고 재현율은 약 32%였다.

• 정보와 통신
• /
• 제30권3호
• /
• pp.67-72
• /
• 2013

본 고에서는, 미래 인터넷 (Future Internet) 연구에 있어서, 가장 많은 관심과 가능성 예측에 기반한 실제적인 투자를 이끌어 내고 있는 두 개의 주요 핵심 기술 분야인 콘텐츠 중심 네트워킹 (Content-Centric Networking: CCN)과 소프트웨어 정의 네트워킹 기술 (Software-Defined Networking: SDN)의 접목에 대해서, 그 배경과 당위성 그리고 관련 연구 동향을 살펴 본다.

• 정보처리학회논문지D
• /
• 제18D권1호
• /
• pp.23-34
• /
• 2011

최근의 소프트웨어 개발에서는 리팩토링이 활발하게 이용되고 있다. 리팩토링에 대한 관심이 높아지면서 요소 리팩토링을 정의해서 이들의 조립을 통해 더 큰 종류의 복합 리팩토링을 처리하려는 연구들이 많이 진행되고 있다. 복합 리팩토링은 조합된 요소 리팩토링의 순서대로 처리되기 때문에 프로그램에 실제 적용하기에 앞서 적용 가능성을 판단하는 것이 중요하다. 기존 연구들에서는 요소 리팩토링들의 선 후행조건들로부터 복합 리팩토링에 대한 선행조건을 계산하여 적용 가능성을 판단하고 있다. 이것은 선행조건이 정의되어 있는 복합 리팩토링만 판별할 수 있으며 선행조건이 정의되어 있지 않은 복합 리팩토링에 대해서는 적용 가능성을 판단할 수 없는 문제점이 있다. 본 연구에서는 복합 리팩토링의 명세를 추가로 정의 하지 않고 요소 리팩토링만으로 조립 가능 여부를 판단하고자 한다. 이를 위해 요소 리 팩토링을 명세하는 방법과 조립성 검사 방법을 제안한다. 이를 기반으로 프로토타입 도구를 개발해 보고, 적용사례를 통해 선행조건이 명세되어 있지 않은 복합 리팩토링들의 조립성 검사를 확인해봄으로써 본 연구의 효용성을 검토해본다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2021년도 학술발표회
• /
• pp.476-476
• /
• 2021

도시화로 인한 불투수율 증가는 자연 물순환을 왜곡시켜 표면 유출량 증가, 침투량 감소, 증발량 감소 등을 야기한다. 뿐만 아니라 도시화로 인한 인구밀도 집중은 배출오염물질의 평균 농도와 물 사용량을 증가시켜 인공 물순환의 왜곡을 초래한다. 왜곡된 물순환의 회복을 위해 건전한 도시 물순환의 정의를 정립하는 것은 필수적이다. 본 연구는 물순환과 관련된 문헌조사와 평가 분석 방법을 검토하여, 건전한 도시 물순환을 지속가능성, 공평성, 안전성, 효율성 측면에서 시간, 공간, 이해관계자들이 균형을 이루는 것에 초점을 맞추고자 한다. 과거와 현재 상태, 그리고 미래 기후변화시나리오 적용 시 어떤 변화가 있으며, 이에 따른 물순환 관리체계가 확보될 수 있는 모습, 공간적 측면에서 물의 수평적·수직적 이동이 치우침이 없는 모습, 수요자 입장에서 가뭄이나 홍수로 인한 재산·인명 피해가 최소화된 모습, 공급자 입장에서 수량·수질 관리체계가 확보된 모습을 각각 지속가능성, 공평성, 안전성, 효율성으로 정의 내렸다. 도시 물순환의 적절한 상태를 제안하기 위해서 도시 물순환의 지표로 증발산율, 지표수유출률, 지하수유출률, 침투율로 선정하였다. 앞서 언급한 네 가지 측면(지속가능성, 안전성, 공평성, 효율성)에서의 모습과 네 개의 지표 상태를 비교하여 균형 잡힌 도시 물순환의 상태를 제안하고자 한다. 정의에 제시된 네 가지 측면에 대한 하위 항목은 WAMIS, KOSTAT 등을 통해 조사하고 국내 주요 도시와 서울대학교 관악캠퍼스 내에서 분석하고자 한다. 본 연구를 통해 도시 정책 설립 및 이해관계자들에게 수문학적 관점에서 건전한 도시화의 방향을 줄 수 있을 것이다.

• 토지주택연구
• /
• 제15권2호
• /
• pp.19-28
• /
• 2024

본 연구는 탄소중립건물의 기술적 정의 및 사례 분석을 통해 탄소중립 달성의 잠재성을 분석한다. 2015년 12월 파리 협정에 따라 세계는 평균 기온 상승을 2℃ 이하로 제한하고, 산업화 이전 수준보다 1.5℃로 제한하려는 노력을 추진하기로 합의하였다. 이를 위해 2050년까지 넷제로(net-zero) 상태에 도달해야 하며, 에너지, 토지, 수송 등 광범위한 부문에서 전환이 필요하다. 본 연구는 탄소중립을 달성하기 위한 기술적 접근과 실제 사례를 통해 탄소중립건물의 가능성과 한계를 탐구하며, 이를 통해 미래의 탄소중립 목표 설정에 기여하고자 한다. 특히, 탄소중립 건물의 정의와 그 실현을 위한 다양한 기술적 방안을 소개하고, 이를 실현한 국내외 사례를 분석함으로써 탄소중립 건물의 효과와 실행 가능성을 평가한다. 연구 결과는 탄소중립 건물의 설계, 건설 및 운영에 대한 구체적 가이드라인을 위한 정보를 제공하며, 정책 입안자와 실무자들이 지속 가능한 건축 환경을 조성하는 데 필요한 실질적 정보를 제공한다.

• 대한화학회지
• /
• 제53권1호
• /
• pp.62-72
• /
• 2009

이 연구에서는 우리나라 대학에서 주로 채택하는 일반화학 교재를 포함한 미국에서 출판된 총 12 종의 일반화학 교재들에 있는 ‘엔트로피’의 정의와 설명방법을 분석하였다. 분석은 두 부분으로 구성된다. 하나는 같은 저자들이 저술한 교재의 판 별 변화를 살펴본 통시적 분석이며 다른 부분은 세 가지 영역 (엔 트로피 정의와 설명방법에 쓰인 무질서, 엔트로피 정의와 설명방법에 Microstates의 수 도입, 통계학적 엔 트로피와 열역학적 엔트로피를 배울 때의 오개념 가능성)으로 살펴본 내용적 분석이다. 연구 결과, 엔트로 피를 무질서의 정도라고 정의하는 것은 지양되었고, Microstates의 수를 이용한 설명 방법으로 대체 되었 다. 또한, 두 가지 다른 엔트로피가 존재한다고 믿는 오개념의 발생 가능성에 대한 주의점을 기술한 교재도 발견되었다. 엔트로피 설명방법의 이러한 변화를 새로운 교육과정에 반영하고 교사들을 재교육하는 것은 우리나라 화학교육의 발전에 중요한 일이다.

• 대중서사연구
• /
• 제25권2호
• /
• pp.73-116
• /
• 2019

최근 텔레비전드라마에서는 판타지를 경유하여 정의로운 사회를 상상하는 방식이 대두되고 있다. 본고는 이러한 경향을 선도하고 있는 박혜련 작가의 <너의 목소리가 들려>, <피노키오>, <당신이 잠든 사이에>에 나타난 사회 정의의 양상을 단계적으로 고찰한 글이다. <너의 목소리가 들려>는 사법정의가 무너진 사회를 배경으로 하여 사회 정의가 왜 필요한지를 말하는 작품이다. 이 작품에서 무너진 사법정의는 민주주의 사회의 시스템이 근본에서부터 무너지고 있음을 보여준다. 그로 인해 수많은 소시민들의 고통이 양산되고 사회 정의는 이런 문제적 현실의 대안으로써 요청되기 시작한다. 또한 타인의 생각을 읽는 초능력은 진실과 믿음의 가치를 상기시키고, 진심이 지닌 대안으로서의 가능성을 사회 정의의 측면에서 제시하게 된다. 다음 작품인 <피노키오>는 언론정의가 왜곡된 사회를 배경으로 하여 사회 정의에 대한 사유의 전환을 시도하는 작품이다. 이 작품에서 부패한 언론정의는 진실을 호도하고 권력에 기생하면서 억울한 피해자들을 발생시킨다. 이러한 상황에서 거짓말을 하면 딸꾹질을 하는 피노키오 증후군은 오히려 진실이 왜곡될 수 있음을 역설적으로 보여주고, 궁극적으로는 진실이 지닌 절대성을 해체시킨다. 마지막 작품인 <당신이 잠든 사이에>는 전작들의 세계관을 이어받아 공동선이라는 사회 정의를 대안으로 제시하는 작품이다. 사법정의가 무너지고 언론정의가 왜곡되면서 완전한 부정사회가 만들어진다. 이러한 상황에서 미래를 보는 능력은 가능성의 세계를 상상하는 능력이라 할 수 있고, 타인에 대한 믿음을 바탕으로 이뤄지는 이타적인 선택은 긍정적인 미래를 실현시키게 된다. 주체들의 시공을 초월한 연대를 가능케 하는 이러한 공동선으로서의 사회 정의는 부정사회를 극복할 수 있는 대안으로 제시된다. 최근 한국사회의 현실에 비추어 볼 때 이러한 공동선과 그러한 삶의 방식은 말 그대로 판타지일지도 모른다. 하지만 현존하는 사회의 문제를 극복하고 보다 나은 미래를 만들고자 하는 노력과 재구축의 과정이 사회 정의를 의미한다고 할 때, 타자에 대한 이해와 공감을 바탕으로 하는 공동선은 오히려 문제적인 현실을 근본에서부터 개선하는 대안이 될 수 있다. 결국 박혜련 작가의 세 작품은 아직은 오지 않은 정의사회의 실현 가능성을 공동선의 측면에서 타진하는 작품들이라고 할 수 있다.

• 대한수학교육학회지:학교수학
• /
• 제15권4호
• /
• pp.667-682
• /
• 2013

이 연구에서는 도형 정의의 재발명에 대해 세 교사가 쓴 lesson play를 통하여, 교사들이 가지고 있었던 정의 개념과 연역적 조직화로서의 정의하기를 가르치고자 할 때 봉착했던 교수학적 문제들을 살펴보았다. 교사들은 lesson play에서 도형의 정의를 주입식으로 전달하지 않았으며 여러 다른 정의의 가능성을 제시하였으나, 연역적 조직화로서의 정의하기를 적극적으로 구현할 수는 없었다. 교사들은 정의를 어떤 용어에 대한 언어적 약속으로 생각하여, 정의를 가르치는 데 있어 연역적 조직화와 같은 과정이 왜 필요한 지를 이해하지 못하였다. 또 수학적 정의의 임의성 및 정의와 정리의 지위가 절대적이지 않다는 사실을 수용하는 데에도 어려움을 겪고 있었다. 이와 같은 결과는 교사들이 도형의 수학적 정의를 자신이 배웠던 방식과 다르게 가르치도록 하기 위해서는, 교사교육에서 단순히 Freudenthal의 이론과 같은 이상적인 교수 방향 및 철학을 소개하는 것만으로는 부족하며, 상식적인 정의 개념과 수학적 정의 개념의 차이를 인식하고 반성해보는 것이 필요함을 보여주고 있다.