• 논리연구
• /
• 제22권2호
• /
• pp.309-332
• /
• 2019

강진호는 강진호(2017)에서 취소된 서술 행위 개념을 이용하여 프레게-기치 문제를 해결하려는 행크스의 시도를 설득력 있게 비판하였다. 행크스는 솜즈의 서술 행위 개념이 정합적이지 않다고 비판하는데, 그의 논증이 성공적이라면 행크스의 취소된 서술 행위 개념도 비정합성에 직면한다는 것이다. 필자는 강진호의 비판이 설득력 있다고 생각하며, 행크스의 대응도 불만족스럽다고 생각한다. 그러나 필자가 보기에 행크스는 강진호의 비판을 극복할 수 있다. 본 논문에서 필자는 행크스 이론에 담긴 개념적 자원을 이용하여 강진호의 비판을 극복하는 방식으로 행크스의 이론을 재구성한다. 특히, 취소 맥락에서 수행된 서술 행위 사례가 진리치를 결여할지라도 그것이 속한 유형으로 표적이동을 야기하기 때문에 최종적인 서술 행위는 해당 유형의 진리치로부터 합성적으로 설명된다는 것이 핵심적인 아이디어이다. 비록 행크스 자신이 취소된 서술 행위와 표적 이동에 관해 불명확하고 때로는 혼란스러운 언급을 하지만, 그는 이를 통해 프레게-기치 문제를 성공적으로 해결할 수 있다. 이 과정에서 행크스의 표기법이 지닌 문제도 드러날 것이다.

• 한국영어학회지:영어학
• /
• 제1권2호
• /
• pp.273-293
• /
• 2001

In this paper, I examine the phenomenon of English depictive and resultative predications with specific attention given to the relation between accentual focus structure and argument structure. The goal is pursued primarily through a production experiment and analyses to establish the interconnection between focus and argument structure. The central claim is that the resultative predicate forms a complex predicate with a main verb, whereas the depictive predicate behaves as an adjunct in English secondary constructions. The result shows that the relationship between focus and accent depends at least in part on their argument structure, confirming that current focus theories about argument-head and adjunct-head structures in primary predication constructions can be extended to secondary predication constructions.

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

This paper claims that beneficiary adjuncts are best analyzed as involving external predication in a version of grammatical framework called Head-driven Phrase Structure Grammar. This paper also claims that verbal catefories need to include the attribute INDEX among their semantic components in order to account for the external predication proposed in this paper. This paper distinguishes between recipient and beneficiary reles and assumes that the former is a semantic argument of a verb-type relation and that the latter is an adjunct which makes a semantic contribution as a modifier. This approach achives a unified analysis of modification phenomena of nominal and verbal categories and it can also accomodate Parson's(1990) idea that a verbal category denotes a set of events, not just an event.

• 한국언어정보학회지:언어와정보
• /
• 제14권1호
• /
• pp.197-227
• /
• 2010

This study reviews (i) the (dis)advantages of two major semantic theories of focus, i.e., the Alternative Semantics (AS) and the Structured Meaning Theory (SM), and (ii) the hybrid analysis consisting of these two theories proposed by Krifka (2006). After pointing out a problem of this hibrid analysis, this study attempts to show the third alternative, i.e., the theory of identificational predication for focus can solve this problem.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 1998년도 Language, Information and Computation = Selected Papers from the 12th Pacific Asia Conference on Language, Information and Computation, Singapore
• /
• pp.348-356
• /
• 1998

• 한국언어정보학회지:언어와정보
• /
• 제14권2호
• /
• pp.47-70
• /
• 2010

This study investigates the semantic and prosodic properties of the so-called contrastive topic. We posit two informational primitives, namely, topical feature [+-T] and focal feature [+-F], from which four different informational categories, i.e., [+T, +F], [+T, -F], [-T, +F], and [-T, -F], are yielded. It is proposed that the informational category of contrastive topic has focal property [+F] as well as topical property [+T]. Based on the semantic approach that regards the function of [+F] as identificational predication and that of [+T] as forming a semantic conditional clause, it is shown that the semantic function of contrastive topic, which is specified as [+T, +F], is the combination of these two functions, i.e., identificational predication in a semantic conditional clause. This is supported by a scrutinized exploration of the prosodic pattern of English contrastive topic.

• 한국언어정보학회지:언어와정보
• /
• 제8권1호
• /
• pp.77-100
• /
• 2004

This paper aims to account for direct combination of an entity type noun with the verb HA- 'do' (ex. piano-rul ha- 'piano-ACC do') in Korean, based on Generative Lexicon Theory (Pustejovsky, 1995). The verb HA-'do' coerces some entity type nouns (e.g., pap 'boiled rice') into event type ones, by virtue of the qualia of the nouns. Typically, a telic-based type coercion supplies individual predication to the HA- construction and an agentive-based type coercion evokes a stage-level interpretation. Type coercion has certain constraints on the choice of qualia. We further point out that qualia cannot be a warehouse of pragmatic information. Qualia are composed of necessary information to explain the lattice structure of lexical meaning and co-occurrence constraints, distinct from accidental information. Finally, we seriously consider co-composition as an alternative to type coercion for the crucial operation of type shift.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 1995년도 Language, Information and Computation = Proceedings of the 10th Pacific Asia Conference, Hong Kong
• /
• pp.49-56
• /
• 1995

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권7호
• /
• pp.683-692
• /
• 2005

자바에서는 어떤 객체에 접근하는 작업을 할 때마다 항상 해당 객체에 대한 레퍼런스가 널 (Null)인지 여부를 먼저 검사하도록 규정하고 있다. 자바 언어는 객체 중심 언어이기 때문에 객체 접근이 빈번하며 이러한 널 포인터 검사는 자바 프로그램의 성능을 크게 저하시킬 수 있다. 이러한 성능 저하를 줄이기 위한 방법으로 불필요하게 반복되는 널 포인터 검사를 제거하는 기법이 사용되고 있다. 즉, 적시 (Just-in-Time, JIT) 컴파일러가 사용되는 자바 수행 환경에서 코드 분석을 통해 불필요한 널 포인터 검사 코드를 제거하는 최적화를 한다. 본 논문은 JIT 컴파일러 수행 환경에서 조건 수행(predication)이라는 최근 마이크로프로세서의 특징을 이용하여, 기존의 최적화로는 제거할 수 없는 널 포인터 검사 코드를 추가로 없애는 방법을 제시한다. 일반적으로 널 포인터 검사 코드는 비교와 분기 두 명령어로 이루어져 있는데, 그 중에 비교 명령어를 객체를 사용하기 전에 수행하는 것이 아니라 객체가 정의된 직후에 미리 수행하도록 함으로써 널 포인터 검사를 위해 수행되는 총 비교 명령어 수를 줄이는 것이 이 방법의 주된 내용이다. 실험 결과 기존의 널 포인터 제거로 최적화된 코드에 비해 수행된 비교 명령어의 수는 SPECjvm98에서 평균 3.21$\%$줄었고, 생성된 비교 명령어 수는 1.98$\%$ 줄었다. 이는 인텔 IA-64 아이테니엄(Itanium) 컴퓨터에서 평균 0.32$\%$의 성능 향상을 가져왔다.

• Communications for Statistical Applications and Methods
• /
• 제7권1호
• /
• pp.87-96
• /
• 2000

Nonlinear time series prediction is derived and compared between statistic of modeling and neural network method. In particular mean squared errors of predication are obtained in generalized random coefficient model and generalized autoregressive conditional heteroscedastic model and compared with them by neural network forecasting.