• 제목/요약/키워드: 명제

검색결과 507건 처리시간 0.023초

인터넷실명제와 우회로의 선택: 인터넷 공론장 참여자들의 자기검열과 우회로 선택의향을 중심으로 (Effectiveness of the Internet Real-Name Verification Law: Evidence from Self-censorship and Intention to Detour the Regulation)

  • 한혜경;김유정
    • 한국언론정보학보
    • /
    • 제55권
    • /
    • pp.50-73
    • /
    • 2011
  • 현재 국내에서 시행되고 있는 '제한적 본인확인제(인터넷실명제)'는 인터넷의 본질적 속성인 익명성을 통제하여 이로 인한 부정적 측면을 최소화하려는 취지에서 도입되었다. 법제도의 성패와 영향력은 이의 적용을 받는 사람들의 해당 법제도에 대한 인식과 대응에 따라 달라진다고 볼 때, 인터넷처럼 법의 적용범위가 명확하지 않으며 다른 선택대안이 존재하는 대상일 경우 이용자의 태도와 선택은 더 큰 의미를 지닌다. 이 연구는 인터넷실명제에 대한 태도와 이 제도가 가져온 환경변화에 대한 인식에 영향을 미치는 요인들을 살펴봄으로써 이 제도에 대해 서로 상반된 입장을 보이는 사람들의 성향에 어떤 차이가 있는가를 경험적으로 검토하였다. 또한 온라인공론장의 참여도, 제도에 대한 태도와 환경인식, 여러 대안들에 대한 선택 의향 등 관련 변인들간의 관계에 대한 경험적 분석을 시도하였다. 분석 결과, 나이가 어리고 정치적으로 진보적이며 정치적 관심도가 높을수록, 또한 프라이버시 보호에 대한 인식이 강하고, 온라인공론장에의 참여도가 높을수록 인터넷실명제 유지에 반대하는 것으로 나타났다. 나아가 온라인공론장 참여도는 인터넷실명제에 대한 직간접적인 태도에 영향을 미치고 이러한 태도는 다시 여러 대안에 대한 선택의도에 영향을 미친다는 가정을 검증하였다. 구조방정식모형(SEM) 분석결과, 온라인공론장 참여도는 인터넷실명제 및 관련 환경 변화에 대한 인식과 유의미한 관계에 있음을 확인할 수 있었고 이는 다시 자기검열, 사이버망명, 서비스망명과 같은 우회로 선택 의사와 유의미하게 연결되었다. 이러한 연구결과는 인터넷이용자 특히 온라인공론장 참여가 활발한 이용자층의 인식과 선택에 따라 인터넷실명제의 실효성이 크게 달라질 수 있음을 보여준다.

  • PDF

예비교사들을 대상으로 한 증명활동과 반례생성 수행결과 분석 : 수열의 극한을 중심으로 (Preservice Teachers' Writing Performance Producing Proofs and Counterexamples about Limit of Sequence)

  • 이정곤;류희찬
    • 대한수학교육학회지:수학교육학연구
    • /
    • 제21권4호
    • /
    • pp.379-398
    • /
    • 2011
  • 수학교육에서 증명과 반박은 명제가 왜 참인지 혹은 거짓인지를 판별하게 해주고 거짓으로 판명된 명제를 참인 명제로 정교화하는 과정에서 중요한 요소가 된다. 그렇기에 증명활동과 반례생성 두 가지를 함께 학습하는 것은 수학을 배우는 학생들에게 주어진 명제에 내포되어 있고 함축되어 있는 의미에 대한 깊은 통찰력과 명확한 이해를 제공해 줄 수 있다. 최근 많은 논문을 통해 학생들이 수학적 증명에 어려움을 겪고 있다는 증거가 나타나고 있다. 그러나 해당 연구의 대부분은 예비교사들이 수열의 극한 부분에 대하여 증명과 반례를 생산해 내는 능력에만 초점을 맞추고 있다. 따라서 본 연구에서는 예비교사들을 대상으로 하여 수열의 극한 부분에 대한 수행결과 분석을 통하여 증명활동과 반례생성에 대한 능력정도와 접근 방법 등을 알아보고자 한다. 본 연구의 목적은 예비교사들이 반례와 증명을 생성하는 것에 대한 조사에 공헌하는 것이며 예비교사들의 증명과 반례생성 능력 그리고 수학 개념들에 대한 이해의 정도를 식별하고 확인하는 것이다. 또한, 연구를 통하여 참가자들이 주어진 명제들에 대한 답을 작성하는 것에 어려움을 겪는다는 것을 알게 되었고 이를 바탕으로 증명과 반례를 가르치고 배우는 것에 더욱 노력을 기울여야만 한다는 것을 알 수 있었다. 덧붙여, 이 연구의 분석을 통하여 현행 커리큘럼과 교육 방법에 대하여 통찰력을 제공하게 될 수 있을 것이고 예비교사들의 수학과정 학습을 향상시킬 수 있는 방향을 제시한다는 교육적 시사점을 얻을 수 있을 것이다.

  • PDF

시장가치 대차대조표를 이용한 자본비용과 베타분석

  • 구본열
    • 재무관리논총
    • /
    • 제8권1호
    • /
    • pp.77-98
    • /
    • 2002
  • 본 연구는 MM(1963)에 의하여 시작된 기존의 기업가치와 자본구조에 대한 연구 방법과는 달리, Rao(1987), Howe(1995), Brealey-Myers(1996)등을 중심으로 시도되어 온 시장가치 대차대조표(MVB/S)를 이용한 기업가치와 자본비용의 통합적 분석방법을 소개하였다. 그리고 MM(1963)에 가정을 추가함으로써 변형된 기업가치 모형과 자본비용에 대한 연구방법을 시도한 Modigliani(1988), Miles-Ezzell(1980)와 Taggart(1991)의 연구가 MVB/S를 이용하여도 동일하게 적용할 수 있음을 증명하였다. 따라서 본 연구는 MM(1963)의 명제들로부터 유도되는 관계식인 가중평균자본비용과 무부채기업의 자기자본비용과의 관계(MM명제III)와 부채사용기업의 자기자본 비용과 무부채기업의 자기자본비용과의 관계(MM명제II)를 Modigliani(1988), Miles-Ezzell(1980)와 Taggart(1991)의 가정하에서 MVB/S를 이용하여 각각 유도하였다. 그리고 MVB/S를 이용하여 유도된 자본비용들간의 제관계식이 이들의 연구결과와 동일함을 증명하였다. 나아가 개인소득세가 존재할 경우에 무위험주식의 도입을 통하여 기업가치모형을 유도하고 이를 바탕으로 자본비용들간의 제관계식을 유도하고 아울러 베타분석도 실시하였다.

  • PDF

LUSTRE를 이용한 SCR 명세의 구현 (Implementing SCR Specification with LUSTRE)

  • 조승모;차성덕
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제26권2호
    • /
    • pp.251-262
    • /
    • 1999
  • SCR 방법론은 고 신뢰도를 요구하는 시스템 개발을 위해 사용되는 요구사항의 정형적 명세의 하나로 , 오랜 역사와 많은 응용 사례를 가지고 있다. 이 방법론에 따라 사용자가 요구사항을 명세했을 때 그것을 어떻게 정확하게 구현할 수 있는지가 중요한 문제가 된다. 본 논문에서는 SCR로 작성된 명제를 그 의미를 보전하는 구현언어로 자동으로 변환시키는 방법을 제시한다. SCR 명제가 가지는 자료흐름언어와의 유사성을 이용하기 위해, 구현언어로, 동기적 자료흐름 언어인 LUSTRE를 선택했고, 그 변환 과정을 제시했다. 제안한 방법의 유용성을 살피기 위해, SCR과 유사한 방법으로 작성된 월성 원자력 발전소의 제 2 정지 시스템의 일부분을 변환하는 실험을 수행, 그 결과를 비교하였다. 정형명제가 도입되어서 사용될 경우 본 연구는 개발의 전체 소요시간을 줄여줄 수 있고 좀 더 신뢰성 있는 결과물을 내는데 도움을 줄 수있다.

전환기의 제도개혁이 조직변화와 마케팅 혁신에 미치는 영향:거시마케팅 관점에서의 잠정적 모형 (The Effect of Institutional Reforms on Organizational Change and Marketing Innovation:A Tentative Model in Macromarketing Perspective)

  • 여운승
    • Asia Marketing Journal
    • /
    • 제4권2호
    • /
    • pp.26-54
    • /
    • 2002
  • 본고에서는 신(新)성장이론과 자원우위 내지 동태적 역량에 관한 연구결과를 토대로 전환기의 경제자유화 과정이 경쟁의 기반을 어떻게 재규정하고 전략 또는 조직의 변화를 어떠한 방식으로 유발시키는가를 설명하고자 한다. 그러한 변화는 기존의 조직유형과 경제자유화 이후에 탄생된 새로운 기업들로 기술되었다. 본고에서는 동태적 경쟁과 마케팅 혁신의 추동력에 관한 몇 가지 명제를 도출하였다. 그러한 명제들은 개발도상국은 물론 우리 나라와 같은 신흥공업국에 이르기까지 지역과 소득수준을 초월하여 광범위한 범위에 걸쳐 적용될 수 있는 시장지향적 제도개혁과 마케팅 행동상의 변화간의 동태적 상호작용으로 야기되는 주요 정칙성에 초점을 두었다. 제시된 명제들은 제도개혁이 전환기의 경제적 환경에 어떻게 영향을 미치는가에 관한 신(新)성장이론의 관점과 제도개혁에 대한 기업차원의 대응과 이에 따론 제도적 변화간의 관계를 설명하려는 자원우위 내지 동태적 역량에 관한 이론과 실증적 연구결과에 근거한 것이다.

  • PDF

대학수학에서 귀납적 증명에 대한 연습

  • 김병무
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제18권2호
    • /
    • pp.109-124
    • /
    • 2004
  • 대학수학에서 수학적귀납법의 원리를 소개하고 풍부한 예를 통해 이해를 돕는다. 특별히 교양수학을 수강하는 1학년 학생 수준에 맞게 매스매티카 프로그램을 이용하여 구체적인 예를 갖고 한단계 한단계 접근하여 수학적귀납법의 증명을 연습할 기회를 준다. 증명을 단계적으로 하는 것을 연습하여 학생들은 논리적인 사고능력을 개발하고 새로운 명제를 발견할 수 있는 기회를 맞보게 한다. 물론, 증명 연습은 1학년 신입생에게는 쉽지 않으나 여러 명제에 대해 연습을 하는 것은 수학적, 논리적 사고 능력을 개발하고 증명문제에 대한 인식을 바꾸는데 매우 중요한 역할을 할 것이다.

  • PDF

국문 수사법을 활용한 그래픽 발상툴 연구 (A Study on Using Rhetoric and the Korean Language for Graphical Ideation Tools)

  • 한기범
    • 한국콘텐츠학회:학술대회논문집
    • /
    • 한국콘텐츠학회 2013년도 춘계 종합학술대회 논문집
    • /
    • pp.57-58
    • /
    • 2013
  • 디자인 개발단계에서 가장 창조적인 부분은 아이디어 발상 단계로 아이디어를 구체화하는데 매우 중요한 부분을 차지한다. 많은 그래픽 디자이너들이 활용하고 있는 연상자극법이나 발상전환법, 정보조합법 등은 발상과정에서 초기 키워드를 제시하는데 효과적이지만 컨셉까지 도출해내는 과정에서 한계성이 있다. 컨셉으로 발전시키기 위해서는 핵심 키워드도 중요하지만 문장으로 정리되어야 보다 효과적인 비주얼로 표현할 수 있기 때문이다. 본 연구는 키워드를 문장으로 만들어내는 발상툴에 대한 것으로 국문수사법을 활용하여 명제를 만들고 연상단어를 명제에 대입해 문장으로 만들어 내는 발상법을 제시한다.

  • PDF

확률적 명제 논리 프로그래밍

  • 신양규
    • Journal of the Korean Data and Information Science Society
    • /
    • 제6권1호
    • /
    • pp.13-21
    • /
    • 1995
  • 논리 언어로 불확실한 정보의 표현과 처리가 가능하도록 논리 프로그램을 확장하였다. 이러한 확장을 위해 의미론이 명확한 확률 논리를 응용하였고, 확률적 연역 추론을 위해 추론 규칙들을 공리화하여 기본 지식과 함께 처리될 수 있게 하였다. 여기서는 기존 논리 프로그램의 명제 부분만을 대상으로 하였으며, 확장된 논리 프로그래밍 언어는 기존 언어에서 간단한 인터프리터를 사용하여 쉽게 구현하여 이용할 수 있다.

  • PDF