• Korean journal of communication and information
• /
• v.55
• /
• pp.50-73
• /
• 2011

This paper investigates the effectiveness of Real-Name System on Internet, which has been applied to some Internet service provider bulletin boards in Korea. The goal of the Real-Name system on the Internet is controlling expression of slanderous or abusive language. The effectiveness of the regulation is dependent on the people's perceptions and attitude toward to the legislation. This empirical study examines the antecedents that affect the perceptions and attitude toward the regulation. Further, we investigate the relationships among variables such as internet public sphere participation, attitude to the regulations, and intention to choose detours. Results of regression analysis show that the younger and the more progressive individuals are, the more they oppose the implementation of the law. Also, it was found that people who have more political interest and participate more actively in public sphere via internet, tend to oppose the law. Structural equation models reveal that participation in online public sphere drives negative attitudes about the regulation. In addition, people with negative perceptions about the law tend to choose the detours such as 'cyber asylum' and 'service asylum'.

• Journal of Educational Research in Mathematics
• /
• v.21 no.4
• /
• pp.379-398
• /
• 2011

In learning environment at mathematics education, prove and refute are essential abilities to demonstrate whether and why a statement is true or false. Learning proofs and counter examples within the domain of limit of sequence is important because preservice teacher encounter limit of sequence in many mathematics courses. Recently, a number of studies have showed evidence that pre service and students have problem with mathematical proofs but many research studies have focused on abilities to produce proofs and counter examples in domain of limit of sequence. The aim of this study is to contribute to research on preservice teachers' productions of proofs and counter examples, as participants showed difficulty in writing these proposition. More importantly, the analysis provides insight and understanding into the design of curriculum and instruction that may improve preservice teachers' learning in mathematics courses.

• The Korean Journal of Financial Studies
• /
• v.8 no.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를 이용하여 유도된 자본비용들간의 제관계식이 이들의 연구결과와 동일함을 증명하였다. 나아가 개인소득세가 존재할 경우에 무위험주식의 도입을 통하여 기업가치모형을 유도하고 이를 바탕으로 자본비용들간의 제관계식을 유도하고 아울러 베타분석도 실시하였다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.2
• /
• pp.251-262
• /
• 1999

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

• Asia Marketing Journal
• /
• v.4 no.2
• /
• pp.26-54
• /
• 2002

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

• Food Industry
• /
• s.40
• /
• pp.60-62
• /
• 1977

• Cement
• /
• s.140
• /
• pp.4-10
• /
• 1995

• Communications of Mathematical Education
• /
• v.18 no.2 s.19
• /
• pp.109-124
• /
• 2004

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

• Proceedings of the Korea Contents Association Conference
• /
• 2013.05a
• /
• pp.57-58
• /
• 2013

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

• Journal of the Korean Data and Information Science Society
• /
• v.6 no.1
• /
• pp.13-21
• /
• 1995

논리 언어로 불확실한 정보의 표현과 처리가 가능하도록 논리 프로그램을 확장하였다. 이러한 확장을 위해 의미론이 명확한 확률 논리를 응용하였고, 확률적 연역 추론을 위해 추론 규칙들을 공리화하여 기본 지식과 함께 처리될 수 있게 하였다. 여기서는 기존 논리 프로그램의 명제 부분만을 대상으로 하였으며, 확장된 논리 프로그래밍 언어는 기존 언어에서 간단한 인터프리터를 사용하여 쉽게 구현하여 이용할 수 있다.