• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.29A no.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.

• Journal of The Korean Association For Science Education
• /
• v.31 no.5
• /
• pp.694-708
• /
• 2011

In this study, we developed tasks including cognitive scaffolding for students to explain scientific phenomena using valid evidences in science classroom and sought to investigate how tasks influence the development of small group scientific argumentation. Heterogeneous small groups in gender and achievement were organized in one classroom and the tasks were applied to the class. Students were asked to write down their own ideas, share individual ideas, and then choose the most plausible opinion in a group. One group was chosen for investigating the effect of tasks on the development of small group argumentation through the analysis of discourse transcripts of the group in 10 lessons, students' semi-structured interview, field note, and students' pre- and post argument tests. The discrepant argument examples were included in the tasks for students to refute an argument presenting evidences. Moreover, comparing opinion within the group and persuading others were included in the tasks to prompt small group argumentation. As a result, students' post-argument test grades were increased than pre-test grades, and they argued involving evidences and reasoning. The high level of arguments has appeared with high ratio of advanced utterances and lengthening of reasoning chain as lessons went on. Students had elaborate claims involving valid evidences and reasoning by reflective and critical thinking while discussing about the tasks. In addition, tasks which could have various warrants based on the data led to students' spontaneous participation. Therefore, this study has significance in understanding the context of developing small group argumentation, providing information about teaching and learning context prompting students to construct arguments in science inquiry lessons in middle school.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2002.02a
• /
• 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.

• Proceedings of the CALSEC Conference
• /
• 2005.03a
• /
• 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.

• Language and Information
• /
• v.2 no.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.

• Language and Information
• /
• v.8 no.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.

• Language and Information
• /
• v.19 no.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
• /
• v.14 no.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.

• Language and Information
• /
• v.8 no.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)

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2007.11a
• /
• 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.