• 전자공학회논문지A
• /
• 제29A권4호
• /
• pp.91-98
• /
• 1992

In this paper, a new heuristic algorithm for designing combinational circuits suitable for verification testing is presented. The design method consists of argument reduction, input partitioning, output partitioning, and logic minimization. A new heuristic algorithm for input partitioning and output partitioning is developed and applied to designing combinational circuits to demonstrate its effectiveness.

• 한국과학교육학회지
• /
• 제31권5호
• /
• pp.694-708
• /
• 2011

본 연구에서는 과학 수업에서 학생들이 과학 현상을 근거 있게 설명하고 주장할 수 있도록 인지적 발판이 포함된 과제를 개발하였고, 과제가 소집단 논변 발달에 미치는 영향을 알아보았다. 이를 위해 한 학급에서 이질적인 소집단을 구성한 후, 개발된 과제를 수업중에 활용하였다. 소집단 논변활동에서 학생들은 먼저 각자의 의견을 적고, 서로의 의견을 공유한 후 가장 그럴듯한 의견을 선택하였다. 학생들의 사전 사후 논변 검사지와 논의가 활발하게 일어난 한 소집단의 담화 전사본, 학생들의 반 구조화된 인터뷰, 수업관찰 노트를 통해 과제가 소집단 논변에 미치는 영향을 분석하였다. 개발된 과제는 모순된 논변 예시를 포함하여 학생들이 증거를 가지고 반박할 수 있도록 하였으며, 친구의 생각과 비교하고 설득하는 활동을 통해 소집단 논변이 활발히 이루어지도록 하였다. 그 결과 학생들의 논변 검사 점수가 향상되었으며, 증거와 추론이 포함된 주장을 하였다. 또한 과제를 진행함에 따라 학생들의 논변은 높은 향상 발화의 빈도와 긴 추론 고리의 특성을 보이면서 그 수준이 높아졌다. 학생들은 과제를 수행하면서 제시된 예시 의견에 대해 반성적, 비판적으로 사고하여 타당한 증거와 추론이 포함된 정교한 주장을 하였으며, 자료를 바탕으로 다양한 근거를 제시할 수 있는 과제는 학생들로 하여금 자발적으로 의견을 제시하도록 하여 다양한 참여로 이끌었다. 본 연구는 발달된 소집단 논변 활동의 맥락에 대한 이해와 일반 중학교 과학 탐구수업에서 학생들의 논변 활동을 조력하는 교수 학습 상황에 대한 정보를 제공하였다는 점에서 의의가 있다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2002년도 Language, Information, and Computation Proceedings of The 16th Pacific Asia Conference
• /
• pp.103-112
• /
• 2002

This paper aims to give an explanation of the combination of certain nouns and the verb ha-'do'. Although the verb ha-'do'normally takes an event type argument, it takes some substantival nouns such as paiolin 'violin', umsikcem 'restaurant', and so on. A substantival noun undergoes type shifting, because the governing verb ha-'do'coerces an entity type noun to an event reading, taking missing information from the qualia of the entity type noun. In addition, some nouns like ppallay 'laundry'are dot objects. The verb laking a dot objects selects a proper type between multiple subtypes of the dot object. Type pumping operation makes that selection possible.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2005년도 e-Biz World Conference 2005
• /
• pp.24-50
• /
• 2005

Knowledge management is a current management concept dealing with information gathering and implementation processes for the organizational performance advantage. The study investigates knowledge management in two perspectives: internally, Organizational information processing structure and externally, strategic issue management system. The study proposes the existence of filtering processes in the organizations. Based on this argument, the authors propose that organizations need to employ strategic issue management system for the successful implementation of knowledge management.

• 한국언어정보학회지:언어와정보
• /
• 제2권2호
• /
• pp.81-120
• /
• 1998

The case marking phenomenon in Korean is closely related to semantic entailment and should be studied as an interface between syntax and semantics. Assuming a direct mapping between syntactic realization and semantic information, this study investigates the role of the accusative marker ul/lul in Korean, and explores the semantic constraints working on the argument realization on the basis of proto-roles hypothesis. Specifically, I will study various types of case alternations in Korean and clarify the role of the accusative marker ul/lul, which manifests the distinction between direct object NPs and oblique NPs.

• 한국언어정보학회지:언어와정보
• /
• 제8권2호
• /
• pp.113-130
• /
• 2004

In a prevailing view of meaning and reference (cf. Frege 1892), words pick out entities in the physical world by virtue of meaning. Linguists and philosophers have argued whether the meaning of a word is inside or out-side language users' mind; but, in general, they have taken it for granted that words refer to entities in the physical world. Hilary Putnam (1975), based on his famous twin-earth thought experiment, argued that the meaning of a word could not be inside language users' head. In this paper, I point out that Putnam's argument makes sense only if words refer to entities in the physical world. That is, Putnam did not provide any argument against mentalistic semantics, since he erroneously assumed that meaning, but not reference, was inside our mind in mentalistic semantics. Mentalistic semanticist, however, assume that words pick out their references inside our head (instead of a possible outside world). A number of arguments for the mentalistic position come from psychology: studies on emotion and visual perception provide numerous cases where words cannot pick out entities from the physical world, but inside our head. The mentalistic theory has desirable consequences for the philosophy of language in that some classical puzzles of language (e.g. Russell's (1919) well-known puzzle of excluded middle) are explained well in the proposed theory.

• 한국언어정보학회지:언어와정보
• /
• 제19권2호
• /
• pp.109-125
• /
• 2015

In this study, I attempt to show two points about Korean sluicing. First, the semantic source of the null subject of the copula phrase in Korean sluicing is a null pronoun. This null subject pronoun may refer to either the antecedent indefinite individual or the antecedent event of the preceding clause. Second, depending on the presence/absence of postpositions in the remant wh-phrase, sluicing constructions are classified into two different semantic types: i) an equative clause and ii) a predicational clause.

• Journal of the Korean Data and Information Science Society
• /
• 제14권4호
• /
• pp.1013-1021
• /
• 2003

Huffer and Park (2002) proposed a chi-squared test for multivariate structure. Their test detects the deviation of data from mutual independence or multivariate normality. We will compute the Rao-Robson chi-squared version of the test, which is easy to apply in practice since it has a limiting chi-squared distribution. We will provide a self-contained argument that it has a limiting chi-squared distribution. We study the accuracy in finite samples of the limiting distribution. We finally compare the power of our test with those of other popular normality tests in an application to a real data.

• 한국언어정보학회지:언어와정보
• /
• 제8권2호
• /
• pp.93-110
• /
• 2004

This paper discloses a striking similarity between Korean/Japanese wh-NPs and Italian QPs: both categories are disallowed from LD-movement out of weak islands. This leads us to a substantial claim that wh-phrases in the former languages possibly belong to a non-D-linked category, parallel to the Italian QPs. This claim is also supported by semantic evidence: that is, in-situ wh-NPs in these languages lack covert partitivity (Kyungnam University)

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2007년도 정기학술대회
• /
• pp.440-449
• /
• 2007

This paper provides a fine-grained analysis of Korean serial verb constructions within the HPSG framework, and covers major descriptive characteristics of the phenomena. This paper discusses constraints on serial verb constructions in terms of four aspects; transitivity, argument structure, semantic properties, and complementizers. As a result, 17 constraints have been built, which support the type hierarchies for Korean serial verb constructions. This paper also presents a sample derivation on the basis of on the constraints and the type hierarchies.