• English Language & Literature Teaching
• /
• v.9 no.spc
• /
• pp.149-165
• /
• 2003

This paper is aimed at the investigation of pragmatic contributions to the identification of explicatures. An explicature is the result of fleshing out the semantic representation of an utterance. The basic assumption of the paper is that the process of the developing the semantic representation into an explicature depends heavily on contextual information. Therefore, we are concerned with the way in which hearers use contextual information to flesh rut or develop the semantic representation of an utterance. The identification of explicatures includes both the recovery of the proposition expressed and the recovery of what we called higher-level explicatures. There are three subtasks involved in the recovery of the proposition expressed: reference assignment disambiguation and enrichment On the other hand, there are two subtasks involved in the recovery of higher-level explicatures: attitudes and speech acts.

• Journal of Educational Research in Mathematics
• /
• v.20 no.4
• /
• pp.511-528
• /
• 2010

Students' intuition in formal proof should be expressed as symbols according to the deductive process. The symbol will play a role of the mediation between the intuition and the formal proof. This study examined the evolution process of intuition mediated by the symbol in geometry proof. According to the results first, symbol took the great roles when students had the non-formed intuition for the proposition. The signification of symbols could explain even the proof process of the proposition with the non-expectable intuition. And when students proved it by symbols, not by figure nor words, they could evolute the conclusive intuition about the proposition.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2001.06a
• /
• pp.227-229
• /
• 2001

This paper presents the observation that negative alternative questions across languages can be formed only when negation has not been inverted (Han (1999)), and proposes to derive this fact from the effects of Focus on negation and the LF-syntax of yn-questions. Although the questions in (1) have the same components (they both contain the proposition expressed by John drank coffee or tea plus negation), they do not have the same interpretation. (1b) has either a yn-question reading or an alternative question (alt-) reading. Under, the yn-reading, the possible answers are Yes, John drank coffee or tea and No, John did not drink coeffer or tea, John didn’t drink one of them, and the possible answers are John did not drink coffee and John did not drink tea (see Karttunen (1977), Larson (1985), Higginbotham (1993) on the semantics of alt-questions). (la), on the other hand, has only the yn-reading.

• Proceedings of the Korean Institute of Interior Design Conference
• /
• 2004.11a
• /
• pp.128-132
• /
• 2004

Researches for sex consist feminism which manage academically, also variously in the fields of medicine, psychology, politics, society, philosophy, culture research etc. Moreover, sex has become that can no fall in art, dancing, fashion, literature, play movie, mass media, all art fields. About the proposition of sex, even the intellectuals tended to consider sexual love and bodily problem of sexual desire until the mid-20th century. Nevertheless, passing over physical function, man and woman, society, cultural situation and the various concept which contains the differences finally clearly have come in 21th century. Therefore, on this study, find out the relationship between interior design and sexuality and sexual expressional type. Also, through analyzing aspects which is expressed in popular culture, clear new interior design under the concept and characteristic of sexuality.

• The Journal of the Korea Contents Association
• /
• v.9 no.5
• /
• pp.118-127
• /
• 2009

The current global spread of communal residential culture and the trend of continuing increase of newly built apartment environment are increasing the demand of home network products for each residential space and among households. The continuing advancement of ubiquitous and the introduction and development of home network system are promoting the demand for the product design. The residential culture change and the apartment interior design change are having mutual effects on the lifestyle of residents and the product design and demand new product design. Coordination with interior products, interior style and products, product and fashion design and reconstruction and fusion between the products and their element factors are the core element of this design study. Based on this, integrated design strategy and concept research and analysis were studied for the design process, and have been expressed in three dimension design through which the design functionality and the external aesthetical design can correspond to each other. It's because the aspect of the future development prospect can be predicted in detail by presenting practical design plan.

• Journal of the Korean Society of Costume
• /
• v.57 no.6 s.115
• /
• pp.71-86
• /
• 2007

Affinity between a creative and experimental fashion design and a Fashion Make-up expressed in John Galliano's Collection was analysed to examine the harmony between Beauty and Fashion. This approach may establish the link between the Fashion Make-up analysed in view of Aesthetics and aesthetic characteristics of a fashion design that a fashion designer pursues. The Fashion Make-up plays a significant role to express a relevance to a design spirit because it is a visual text that a audience faces easily in a collection leading the style. Under the proposition that collection is understood as a popular culture as the fashion is preferential and popular, the Fashion Make-up can be analysed in the aspect of aesthetics. The characteristics reflecting the popularity of popular culture, such as the comic, the erotic, the fantastic and the sentimental are used to analyse and interpret the Fashion Make-up. The fashion design and Fashion Make-up with one characteristics or combined ones showing uniqueness in the popular culture are compared and analyzed.

• Journal of Digital Convergence
• /
• v.15 no.2
• /
• pp.301-307
• /
• 2017

Once, the faster the digital technology developed, the more provocative obscure commercial film has spread like a trend. Researching the aspect of the successful films, about 10 million audience in 2016, we can find the similarities that only social phenomenon, stands itself without real-existence, which makes public sentiment. I will list up all the problems that I mention above with audience's review and analyze the famous film "the wailing" with big social attention, having 6.8 million audience. I will seek the better way to developthis movie, in terms of artistic dignity and depth as an public-art. With great depth, the realistic application of cultural inheritance, holding mankind common, such as culture, philosophy, religion, history, would be an essential proposition for obtaining cultural emotional empathy from the people in the society. Based on this, the theme and massage from a director, should be expressed in order to be a master piece work beyond time and space in the film history.

• Journal of Microbiology
• /
• v.44 no.3
• /
• pp.293-300
• /
• 2006

The Escherichia coli heat-labile enterotoxin B subunit (HLT-B) is one of the most powerful mucosal immunogens and known mucosal adjuvants. However, the induction of high levels of HLT-B expression in E. coli has proven a difficult proposition. Therefore, in this study, the HLT-B gene was cloned from pathogenic E. coli and expressed as a fusion protein with GST (glutathion S-transferase) in E. coli BL2l (DE3), in an attempt to harvest a large quantity of soluble HLT-B. The culture conditions, including the culture media used, temperature, pH and the presence of lactose as an inducer, were all optimized in order to obtain an increase in the expression of soluble GST-rHLT-B. The biological activity of the purified rHLT-B was assayed in a series of GMI-ELISA experiments. The findings of these trials indicated that the yield of soluble recombinant GST-rHLT-B could be increased by up to 3-fold, as compared with that seen prior to the optimization, and that lactose was a more efficient alternative inducer than IPTG. The production of rHLT-B, at 92 % purity, reached an optimal level of 96 mg/l in a 3.7 L fermentor. The specific GM1 binding ability of the purified rHLT-B was determined to be almost identical to that of standard CTB.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.7
• /
• pp.35-48
• /
• 2022

In this study, it propose a proof theory method for expressing and reasoning knowledge in a multiagent environment. Since this method determines logical results in a mechanical way, it has developed as a core field from early AI research. However, since the proposition cannot always be proved in any set of closed sentences, in order for the logical result to be determinable, the range of expression is limited to the sentence in the form of a clause. In addition, the resolution principle, a simple and strong reasoning rule applicable only to clause-type sentences, is applied. Also, since the proof theory can be expressed as a meta predicate, it can be extended to the metalogic of the proof theory. Metalogic can be superior in terms of practicality and efficiency based on improved expressive power over epistemic logic of model theory. To prove this, the semantic method of epistemic logic and the metalogic method of proof theory are applied to the Muddy Children problem, respectively. As a result, it prove that the method of expressing and reasoning knowledge and common knowledge using metalogic in a cooperative multiagent environment is more efficient.

• Journal of the Korean Data and Information Science Society
• /
• v.27 no.2
• /
• pp.337-351
• /
• 2016

There exist many real situations that statistical decision problems are classified into more than two categories. In these cases, the concordance statistics by the pair approach are mostly used. However, the expression of the classification of categories are ambiguous. Recently, the standardized evaluation data and re-expressed concordance statistics are defined and could be explained their meanings. They have still some non-specific problems for standard criteria of the statistics. Since these can be considered between result and truth categories additionally, two alternative concordance statistics might be proposed in this paper. Some advantages are founded that the proposed statistics could be discriminated all possible cases for two randomly selected categories. Moreover since the proposed statistics are represented with indicator functions, these could be transformed non-parametrically, so that these concordances are used for hypothesis testing.