• Journal for History of Mathematics
• /
• v.24 no.2
• /
• pp.1-15
• /
• 2011

Approximation is a very useful approach in mathematics research. It was the same in traditional Chinese and Chosun mathematics. This study derived five characteristics from approximation approaches which were found in Chinese and Chosun mathematical books: improvement of approximate values, common and inevitable use of approximate values, recognition of approximate values and their reasons, comparison of their exactness, application of approximate principles. Through these characteristics, we can infer what Chinese and Chosun mathematicians recognized approximate values and how they manipulated them. They took approximate approaches by necessity or for the sake of convenience in mathematical study and its applications. Also, they tried to improve the degree of exactness of approximate values and use the inverse calculations to check them.

• School Mathematics
• /
• v.18 no.1
• /
• pp.215-229
• /
• 2016

This study aims to identify Archimedes' idea used while proving proposition 23 in 'Quadrature of the Parabola' and to provide an alternative way for finding the sum of geometric series without applying the concept of limit by extending the idea though metaphor. This metaphorical model is characterized as static and thus can be complimentary to the dynamic aspect of limit concept adopted in Korean high school mathematics textbooks. In addition, middle school students can understand $0.999{\cdots}=1$ with this model in a structural way differently from the operative one suggested in Korean middle school mathematics textbooks. In this respect, I argue that the metaphorical model can be an useful educational tool for Korean secondary students to overcome epistemological obstacles inherent in the concepts of infinity and limit by making it possible to transfer from geometrical context to algebraic context.

• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.869-882
• /
• 2004

This paper proposes an effective method to create logically consistent and structured requirement model by applying consistency control approach of the formal method to the use-case modeling. This method integrates the multi-perspective scattered requirement segments that may overlap and conflict each other into a structured requirement model. The model structure can be analyzed based on context goal and concerned area overlap analysis. The model consistency can be achieved by using specification overlap-based consistency checking method as an integration vehicle. An experimental application to case study shows that the Proposed method can successfully identify requirement overlaps and inconsistency. It can also transfer multi-viewpoint requirement segments into a consistently integrated use-case model to clarify software behaviors and functionality This method helps users to enhance capability to identify specification inconsistency in the use-case modeling at the early stage of software engineering development. The proposed approach can also facilitate communication between users and developers to ensure customer satisfaction.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.3
• /
• pp.417-428
• /
• 1996

In this paper, a database interface system with natural language dialogue is designed and implemented. The system is made up of language analysis, context processing, dialogue processing and DB processing unit. The method for classifying and processing an undefined word in language analysis is proposed. It reduces the dictionary size, which gives difficulties in DB Interface. And the current DB Interfaces dealt with an input utterance independently. But the system in this paper provides a user with the interface environment in which he or she can have a continuous conversation with the system and retrieve DB information. Thus in this paper, speech acts which include user's inattentions well as propositional contents are defined, and user action hierarchical model for library DB retrieval is constructed. And the system uses the defined knowledge to recognize-user's plan, effectively understanding and managing the ongoing dialogue. And the system is implemented in the domain of library database in order to prove the proposed methods in this paper.

• Journal of Intelligence and Information Systems
• /
• v.29 no.4
• /
• pp.287-308
• /
• 2023

After launching its service in November 2022, ChatGPT has rapidly increased the number of users and is having a significant impact on all aspects of society, bringing a major turning point in the history of artificial intelligence. In particular, the inference ability of large language models such as ChatGPT is improving at a rapid pace through prompt engineering techniques. This reasoning ability can be considered as an important factor for companies that want to adopt artificial intelligence into their workflows or for individuals looking to utilize it. In this paper, we begin with an understanding of in-context learning that enables inference in large language models, explain the concept of prompt engineering, inference with in-context learning, and benchmark data. Moreover, we investigate the prompt engineering techniques that have rapidly improved the inference performance of large language models, and the relationship between the techniques.

• Journal of the Korea Society of Computer and Information
• /
• v.29 no.10
• /
• pp.105-111
• /
• 2024

In this paper, we propose methods for the named entity normalization of traditional herbal formula found in medical texts. Specifically, we developed methodologies to determine whether mentions, such as full names of herbal formula and their abbreviations, refer to the same concept. Two different approaches were attempted. First, we built a supervised classification model that uses BERT-based contextual vectors and character similarity features of herbal formula mentions in medical texts to determine whether two mentions are identical. Second, we applied a prompt-based querying method using GPT-4o mini and GPT-4o to perform the same task. Both methods achieved over 0.9 in Precision, Recall, and F1-score, with the GPT-4o-based approach demonstrating the highest Precision and F1-Score. The results of this study demonstrate the effectiveness of machine learning-based approaches for named entity normalization in traditional medicine texts, with the GPT-4o-based method showing superior performance. This suggests its potential as a valuable foundation for the development of intelligent information extraction systems in the traditional medicine domain.

• Cross-Cultural Studies
• /
• v.43
• /
• pp.327-354
• /
• 2016

Rimbaud's prose poem, Barbare in Illuminations, is known for its abstruseness with regard to forms, themes, metaphors. This paper first analyzes the poem's grammatical structure to make sense of such an inscrutable piece of work, then discusses its autotextuality in order to decipher its meaning by comparison with Rimbaud's other works. Autotextuality, a method of literary interpretation of Rimbaud's prose poem presented by Steve Murphy, refers to the intertextuality between the author's works. Despite some previous researches focusing on the intertextuality of Barbare, previous authors have failed not only to find its meaning but also to determine its significance. The abstruseness of Rimbaud's Barbare is sometimes considered an example of the meaningless of Rimbaud's work. However, examining the textual structure and the autotextuality builds meaning, rather than rendering the work meaningless. Barbare which consists entirely of noun phrases and metaphors means destruction, fusion and the pure power of regeneration in the original context of Rimbaud's work. This poem is Rimbaud's answer to Baudelaire's poetic question, Any of where out of World, and presents a strange scenery that uses 'the eternal female voice' to reach the Vulcan in the North Pole. Interpretation of Barbare could provide a methodology for reading the difficult Illuminations. The kind of analyses used are, for example, analysis of the text, analysis of verbal indicators, autotextuality, and an understanding of the joy and the solitude in the silence of the poem. Understanding Barbare may provide a method of interpreting the abstruseness of Illuminations. Through this approach, we can connect and combine every fragment of the Illuminations, so that we can reconstruct the story and the adventure contained therein.

• The KIPS Transactions:PartB
• /
• v.11B no.6
• /
• pp.749-758
• /
• 2004

In this paper, we propose a new method utilizing only raw corpus without additional human effort for disambiguation of target word selection in English-Korean machine translation. We use two data-driven techniques; one is the Latent Semantic Analysis(LSA) and the other the Probabilistic Latent Semantic Analysis(PLSA). These two techniques can represent complex semantic structures in given contexts like text passages. We construct linguistic semantic knowledge by using the two techniques and use the knowledge for target word selection in English-Korean machine translation. For target word selection, we utilize a grammatical relationship stored in a dictionary. We use k- nearest neighbor learning algorithm for the resolution of data sparseness Problem in target word selection and estimate the distance between instances based on these models. In experiments, we use TREC data of AP news for construction of latent semantic space and Wail Street Journal corpus for evaluation of target word selection. Through the Latent Semantic Analysis methods, the accuracy of target word selection has improved over 10% and PLSA has showed better accuracy than LSA method. finally we have showed the relatedness between the accuracy and two important factors ; one is dimensionality of latent space and k value of k-NT learning by using correlation calculation.

• Journal of architectural history
• /
• v.10 no.4 s.28
• /
• pp.77-92
• /
• 2001

현대의 건축시기는 다원성의 시기 또는 복합성의 시기라고 불리운다. 모더니즘과 포스트모더니즘의 시기를 거치며 다양한 형태적 실험의 과정을 겪었고 수많은 이데올로기와 이론들로 무장된 논쟁의 역사도 갖게 되었다. 이러한 현대건축의 다양성은 건축디자인이라는 전문직의 사회에 기여하는 역할을 반추(反芻)함과 동시에 다변하는 인간사고의 역동성을 반영하고 있다. 건축관련 책자나 저널 등에서 흔히 발견할 수 있는 Neo-Classicism, Deconstructivism, Minimalism, High-Tech, New Moderns 등등의 건축양식들은 스타일을 지칭하는 언어라기보다는 건축적 사고를 지칭하는 언어라고 할 수 있다. 결국 건축디자인이라는 작업은 인간을 둘러 싼 건조환경의 생성에서 출발하는 것이므로 건축적 사고방식은 그 시기의 사회현상과 밀접한 관계를 맺게 된다. 20세기 말부터 불어닥친 디지털 문화의 사회변혁은 전 세계를 하나의 채널로 엮게 되었고, 이러한 영향들은 지역과 민족, 그리고 종교적인 요소들까지도 혼합하여 국경을 초월한 미래의 새로운 이상들을 꿈꾸게 되었다. 19세기 산업혁명과 함께 급속히 벨라진 인류문명의 진보는 필수적으로 세계화를 동반하는 것이고, 세계화와 지역성사이의 괴리를 통해 나타나는 문화적 비판과 충돌은 아직도 진행상태인 것이다. 세계화라는 통염은 문명의 보편성을 기반으로 하며 전통문화의 파괴가 뒤따를 수밖에 없는데, 현재와 같이 IT혁명을 통해 급속도로 빨라진 세계문화의 교류는 한 국가가 뿌리를 내리고 있는 문화적 유산이라는 토양을 포기하여야 할 단계에 와 있다고 논평할 정도이다. 여기서 건축은 문화적 상징으로 작용하게 되는데, 그것이 심미적이든 관습적이든 또는, 경제적이든 건축가는 해답의 제시라는 임무에 직면하게 된다. 20세기에 진행된 모더니즘의 건축은 구조와 공간에 대한 고전건축의 숙원을 고덕건축이 이룬 것처럼 15세기 르네상스 시대로부터 진행된 형태와 공간, 기능, 그리고 아름다움과 기술(technology) 또는 경제성 등에 대한 건축적 의문과 탐구를 일단락지었다고 할 수 있다. 이러한 모더니즘의 한복판에 Mies van der Rohe라는 거장이 깊은 발자국을 남기며 한 시대를 이루었고 그가 남긴 시대정신의 이념과 가치를 Miesianism이라고 부른다. 실용성과 도덕성을 근본으로 하는 Miesianism은 대중에 호소하는 미적 표현주의를 부정하고 지역정서를 중시하는 문맥적 접근방식을 경시함으로써 보편화라는 현상을 불러일으킨 국제주의 양식의 한 부류로 비판을 받아왔다. 즉, Miesianism의 단순하고 강렬한 외형적 요소는 그것이 내포하는 기술적 합리성이나 공간적 완결성을 무시한 채 전 세계에 영향을 미쳤고 동시에 지역적 저항을 받게 되었다. 시카고 및 전 세계의 Miesian들, 즉 Mies van der Rohe의 제자들이나 그로부터 영향을 받은 수많은 건축가들은 이러한 저항과 비판에 직면하게 되며 새로운 사고의 시대적 요구 앞에 고뇌하게 된다. 한국에서는 1978년 Mies van der Rohe의 제자인 김종성이 미국에서 서울로 돌아와 '서울건축컨설탄트'를 설립하며 본격적으로 Miesianism의 규범적 건축론을 설파하기 시작하였다. 이른바 시카고 국제주의학파의 건축전수라고 할 수 있는데 '서울건축컨설탄트'를 통하여 배출된 김종성의 제자들은 명쾌하고도 간결한 건축해법의 경험을 토대름대로의 정체성을 갖고자 노력하였으나 결국 다원적 가치를 요구하는 시대적 흐름 속에 혼란을 겪고 있는 것 또한 사실이다. 본 연구는 Miesianism의 기원을 밝히고 그것의 실수와 오류를 밝힘과 동시에 현대의 여러 가지 건축유형들과 비교하여 봄으로써 Post-Miesianism의 실체와 그 미래에 대하여 고찰하여 보고자 한다. 미스의 유산이라고 할 수 있는 Miesianism의 요체는 첫째, Schinkel로부터 이어받은 시대정신의 사명감, 둘째, Berlage가 전해준 전문가로서의 도덕성을 바탕으로 하여 이루어진 기술적 합리성의 실현, 그리고 마지막으로 그 당시의 추상예술에 대한 이해로써 받아들인 nee-Suprematism의 아방 가르데적인 자세라고 할 수 있다. 그러나 이것들을 전파하고 수용하는 과정에서 미스적인 단순하고 명쾌한 외관이 더욱 강한 인상을 남기게 되었고 또한 미스가 현대성의 본질이라고 믿는 기술의 전수는 모든 외관을 동일하게 만드는 International Style로서의 보편적 획일성을 초래하였다. Mies van der Rohe의 강력하고 규범적인 dogma는 그의 제자들에게는 강렬한 카리스마로 각인되었고, Mies가 원한 것이 아닐지라도 그들을 하나의 틀 속에 가두는 영향력을 행사하였다. 2세대이든 3세대이든 기술적 합리성과 추상적 단순미라는 믿음을 맹목적으로 추종할 때 그들은 Miesian으로 남아있게 되며, 거기서 벗어났을 때 non-Miesian, 또는 배신자로 취급하기까지 하였다. 이것은 미스의 제자들에게 강한 족쇄가 되어 형태적 또는 개념적 변화의 시도를 어렵게 하였고 시대적 요구에 부응하지 못한다는 평가에 이르게 되었다. 문화의 다양성과 역동성을 인정함과 동시에 Miesianism에 대한 새롭고 시대에 적합한 해석을 기대하게 되는데, 이러한 기대 속에서 우리는 Post-Miesianism이라는 새로운 유형을 엿볼 수 있게 된다. Post-Miesianism의 징후를 현대의 다양한 건축유형에서 발견할 수 있는데, High-Tech의 구축적이고 정밀한 건축 기술적 해법과 Minimalism의 반복성을 통한 추상미의 표현 등에서 뿐만이 아니라 Post-Modernism의 인간성의 추구나 문맥적 고려, 또는 해체주의의 형이상학적이고 아방가르데적인 실험주의 정신까지조차 Post-Miesianism이 공유할 수 있는 부분이 있다고 보여진다. 또한, 미스의 영향이 2세대, 3세대의 건축가들에게 미치면서 여러 방향으로 변질되어 가는 것을 우리는 발견할 수 있으며 그러한 시대성에 적응하는 시도들이야말로 새로운 미래를 향한 Post-Miesianism의 실체인 것이다. Mies가 말하였듯이 한 시대의 끝은 그 시대가 완전히 이해되었을 때이며, 모더니즘의 숙제는 아직 해결되지 않았으므로 Miesianism의 탐구는 Post-Miesianism이라는 새로운 주제로 계속될 것이다. 이를 통하여 21세기 디지털 문명의 시대 속에서 현대건축이 안을 수밖에 없는 보편성과 지역성의 충돌이라는 문제의 해결에 한 발걸음 다가갈 수 있기를 기대하여 본다.

• Korean journal of communication and information
• /
• v.31
• /
• pp.261-293
• /
• 2005

This article aims at investigating the origin of 'gookmin', which is currently working as the dominant discourse and leading identity in the South Korean society. Like 'nation', 'people' or/and 'citizen', the term of 'gookmin' is a very much particular and historical outcome of the colonial modernity. Nevertheless, however, there have been not so much serious socio-linguistic, cultural-political studies about its root. It is theoretically as well as practically quite important to trace back the birth of 'gookmin', which is working as an ideological, epistemological frame in/between subject and reality. In this regard, this article will consider the late Japanese colonial period as a key period of the birth of 'gookmin'. It will then critically scrutinize how the total mobilization system by adopted the colonial government has formed the discourse and subjectivity of 'gookmin' based on various physical apparatuses. By revealing that a totalistic nation/state of Japanese colonialism is behind 'gookmin', which wanted to mobilize every individuals into a so-called article of empire, this article tries to show the fascist and propaganda nature of 'gookmin' continuing even after the liberation. As a historical-materialist work of deconstruction the dominant discourse of 'gookmin', this study will basically take a cultural studies approach.