• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.72-74
• /
• 1998

데이터베이스 관리 시스템에서 제공하는 저장프로시져는 SQL문들과 흐름 제어문으로 프로그래밍된 프로시져를 미리 컴파일하여 데이터베이스에 저장해두고, 사용자가 호출하면 저장된 실행 계획에 따라 한번에 여러 SQL문들을 수행한는 것이다. 저장프로시져내 SQL문들의 실행 흐름을 제어하기 위해서는 범용 언어와 유사한 흐름 제어문을 제공해야 한다. 흐름 제어문을 제공하지 않는 저장프로시져는 일련의 SQL문들의 순차적 수행만 가능하다. 따라서, 저장프로시져내 흐름 제어문을 제공하므로서 사용자에게 저장프로시져내 SQL문들의 실행 흐름을 제어하도록 하여 다양한 프로그래밍을 가능케 한다. 바다-II는 저장프로시져내에 흐름 제어문으로 IF문, FOR문, WHILE문, 단순 LOOP문을 제공한다. 본 논문은 이를 위하여 바다-II를 확장 구현한 사항을 제시한다.

• Annual Conference on Human and Language Technology
• /
• 1993.10a
• /
• pp.25-34
• /
• 1993

한국어의 내포문은 컴퓨터에 의한 자연어 이해 및 처리에 많은 어려운 문제점의 원인이 되고 있다. 이러한 문제점을 해결하기 위하여 본 논문에서는 한국어 내포문을 단문으로 분리하는 시스템을 설계 및 구현한다. 내포문에서 생략성분을 효율적으로 복원하기 위해 안긴문장의 생략된 부분을 통제할 수 있도록 용언을 유형별로 분류한다. 내포문을 단문으로 분리할 때 내포문에 비해 분리된 단문의 의미가 결여 될 수 있다. 이러한 문제점을 해결하기 위해 대용어를 첨가시키는 방법을 사용한다. 그리고 명사 의미표지로부터 용언의 하위범주의미역으로의 변환 테이블을 구성하여 문맥적으로 틀린 문장을 검색, 처리할 수 있는 방법을 제안한다.

• Korean Journal of Logic
• /
• v.10 no.2
• /
• pp.1-22
• /
• 2007

본 논문에서 필자는 먼저 "차이를 만들지 않는다(Makes No Difference)"는 논증(줄여서 MND 논증)을 소개하고 이에 대한 앨런 베이커(Alan Baker)의 반론을 자세히 살펴본다. MND 논증, 특히 그 전제를 제대로 평가하기 위해서는 반사실적 조건문에 대한 분석이 필요한데, 베이커는 이를 위해 이갈 크바크(Igal Kvart)의 분석을 이용한다. 이에 필자는 크바트의 분석을 비판함으로써 이에 의존한 베이커의 주장을 비판한다. 이를 위해 필자는 Fine-Tuning 논증을 예로 삼아, 크바트의 반사실적 조건문에 대한 분석, 특히 그의 반법칙적 조건문에 대한 분석은 실제 과학자들의 논의와도 상충되며, 이 과학자들의 논의를 바탕으로 한 철학적 논쟁과도 상충되기 때문에 그의 분석을 받아들일 수 없음을 보인다. 이를 통해 필자는 크바트의 분석에 의존하여 MND 논증을 공격한 베이커의 결론도 마찬가지로 받아들일 수 없다는 것을 보인다.

• Annual Conference on Human and Language Technology
• /
• 2023.10a
• /
• pp.131-136
• /
• 2023

본 논문에서는 기존의 요약 태스크에서 주로 사용하는 인코더-디코더 모델과 디코더 기반의 언어 모델의 성능을 비교한다. 요약 태스크를 평가하는 주요한 평가 지표인 ROUGE 점수의 경우, 정답 요약문과 모델이 생성한 요약문 간의 겹치는 단어를 기준으로 평가한다. 따라서, 추상적인 요약문을 생성하는 언어 모델의 경우 인코더-디코더 모델에 비해 낮은 ROUGE 점수가 측정되는 경향이 있다. 또한, 최근 연구에서 정답 요약문 자체의 낮은 품질에 대한 문제가 되었고, 이는 곧 ROUGE 점수로 모델이 생성하는 요약문을 평가하는 것에 대한 신뢰도 저하로 이어진다. 따라서, 본 논문에서는 언어 모델의 요약 성능을 보다 다양한 관점에서 평가하여 언어 모델이 기존의 인코더-디코더 모델보다 좋은 요약문을 생성한다는 것을 보인다.

• 프린팅코리아
• /
• s.23
• /
• pp.89-89
• /
• 2004

대한인쇄문화협회가 조성한 인쇄역사문화관에는 고대부터 미래인쇄까지를 총망라한 인쇄역사 자료들이 전시되어 있다. 특히 지난 1쳔년 동안 개발되었던 다양한 활자들이 복원돼 전시되어 있다. 본보에서는 시리즈로 인쇄역사문화관에 전시되어 있는 전시품을 소개한다.

• 프린팅코리아
• /
• s.22
• /
• pp.117-117
• /
• 2004

대한인쇄문화협회가 조성한 인쇄역사문화관에는 고대부터 미래인쇄까지를 총망라한 인쇄역사 자료들이 전시되어 있다. 특히 지난 1쳔년 동안 개발되었던 다양한 활자들이 복원돼 전시되어 있다. 본보에서는 시리즈로 인쇄역사문화관에 전시되어 있는 전시품을 소개한다.

• 프린팅코리아
• /
• s.21
• /
• pp.67-67
• /
• 2004

인쇄역사문화관에는 대한인쇄문화협회가 조성한 인쇄역사문화관에는 고대부터 미래인쇄까지를 총 망라한 인쇄역사 자료들이 전시되어 있다. 특히 지난 1천년 동안 개발되었던 다양한 활자들이 복원돼 전시되어 있다. 본보에서는 시리즈로 인쇄역사문화관에 전시되어 있는 전시품을 소개한다.

• Korean Journal of Medicinal Crop Science
• /
• v.10 no.5
• /
• pp.366-374
• /
• 2002

Pen-tsao-kang-mu(Bon-cho-kang-mok), chinese medicinal plant book, was written by Lee sijin(1578), China. The subject of this study were 158 articles of vegetable part in Pen-tsao-kang-mu. Among them only 139 articles were able to be identified by authority of several references. By Engler's system they were classified into 8 divisions, 10 classes, 6 subclasses, 31 orders, 22 suborders, 52 families, 85 genera, 99 species, 12 varieties and 2 forma, and were confirmed 113 kinds of original plants. Among the divisions, Angiospermae was the most numerous division with 92 kinds(80.70%) and the second division was Fungi with 12 kinds(10.53%). The next was Rhodophyta with 4(3.51%) kinds. Other 19 articles were unable to be classified because of their ambiguous name.

• Korean Journal of Logic
• /
• v.12 no.2
• /
• pp.31-58
• /
• 2009

This paper defends Stalnaker's theory of indicative conditionals. His theory consists of selection functions and pragmatic constraints. The selection function takes a certain possible world(W) and a proposition(A) to yield a possilble world that is similar to W and in which A is true. And the pragmatic constraints plays role to make selection functions apply just to indicative conditionals. According to Stalnaker, as indicative conditionals has strong truth-value, uncontested principle always holds but passage principle does not always hold. However, his theory can explain why passage principle sometimes holds by means of pragmatic constraints. Also, this paper argues that Stalnaker's theory is the most acceptable one among others, by replying to criticisms suggested by Adamsians and the problem raised by Gibbard and other criticisms.

• The Journal of the Korea Contents Association
• /
• v.22 no.3
• /
• pp.134-140
• /
• 2022

The purpose of this study was to investigate the directives and Wh-words in the directives from elementary 2nd, 4th and 6th grade Korean textbooks. After entering all directives into Microsoft Office Excel, directives with Wh-words were separated. The analysis program, Natmal, was used for the analysis of the directives and Wh-words. The criteria from previous studies were also applied for this analysis process. As a result of the study, there are a lot of nouns and verbs in directives. They were consisted of sentences with an average of 6.9 Eojeol. There were a total of 11 types of Wh-words and 'Mueot(what), Eotteon(which), eotteohge(how)' appeared most frequently in all grades. For question types, both grades had more inferential questions than literal information questions. This results were expected to be used as basic data for language interventions with school aged children who have language disorders.