• Korean Journal of Logic
• /
• v.11 no.1
• /
• pp.91-129
• /
• 2008

이 논문은 '만약(If)$\sim$라면, (then) ...이다.' 형식의 조건문 중에서도 직설법적 조건문의 적법한 사용이 어떠한 조건을 만족시켜야 하는가에 대한 글이다. 일반적으로 직설법적 조건문은 발화자가 전건을 확신하지 못하는 인식적 상태를 표현하는 것으로 이해되며, 가정법적 조건문은 전건이 성립하는 특정한 세계에 대한 진술로 이해된다. 직설법적 조건문의 인식적 수용조건을 도출하기 위해, 기존 이론의 조건문의 수용과 주장을 진리조건적으로 설명하는 것이 불만족스럽다. 기존 이론의 문제점을 고찰하여 보면, 한 언어의 유창한 사용자가 조건문에 대해서 기대하고 있는바가 무엇인지, 그리고 적절한 직설법적 조건문의 사용이 어떤 조건을 요구하는지가 드러난다. 그리고 이 요구를 수용함으로써 직설법적 조건문에 대한 대안적 사용 조건인 '인식적 수용조건'을 정식화 할 수 있다.

• Korean Architects
• /
• no.6 s.66
• /
• pp.36-42
• /
• 1974

설계가 잘 되어있는 문은 사람이나 물건의 출입에 큰 지장을 주지않고 분리, 차음 및 안전등의 제기능을 충분히 발휘할 것이다. 화염이나 연기의 확산을 조지시키는 일은 안전상 가장 중요한 일 중의 하나이다. 건물의 여러곳에 위치한 문의 기능, 성능의 평가방법과 기준등은 전세계에서 논의의 대상이 되고 있다. 건물의 각부분은 내화구조구획에 의해 각각 분리될 수 있으며, 각 구획을 통하는 개구부는 화재시 자기의 기능을 충분히 발휘할 수 있는 문에 의해 차단될 수 있다. 첫째, 문은 그 문이 위치한 벽체에서 화재차단의 효과를 가져야 하며, 둘째, 피난통로의 안전을 조해하는 연소부산물이 침투하는 것을 방지하여야 한다. 그러므로 모든 방화문은, 건물에서 그 위치의 정도에 따라 연기와 화재의 확산을 막는 장벽으로서의 역할이 요구된다. 본 내용은 현재 논의되고 있는 상황에 대한 영국건축연구소의 연구보고서의 요약 소개이다.

• Journal of KIISE:Databases
• /
• v.27 no.4
• /
• pp.562-571
• /
• 2000

이미지 데이터는 텍스트 데이터와는 달리 다양한 색상과 모양, 질감과 같은 비정형적인 특징을 가진다. 따라서 이미지 데이터베이스는 텍스트 기반의 전통 데이터베이스와는 다른 모델링 방법과 질의, 검색 방법을 사용한. 특히, 내용 기반 이미지 검색에서의 검색 속도와 정확도를 향상시키기 위해서는 새로운 복합 질의문 계획 생성 기법이 필요하다. 본 논문에서는 이를 위해 먼저, 단일 조건을 갖는 시각 질의에 대한 처리 기법들을 토대로 여러 조건을 갖는 복합 질의를 처리하기 위한 복합 질의문 계획 생성기법인 SSCC(Similarity Search for Conjunction Combination Query) 알고리즘을 제안한다. SSCC는 이미지 데이터베이스 검색 시스템에서 복합 질의를 처리하기 위한 질의 최적화 과정에서 질의 수행 시간과 투플 I/O를 최소화하는 질의문 계획을 생성하기 위해 사용된다. SSCC 알고리즘은 복합질의를 단일 질의들로 준해하고 퍼지 집합 이론을 도입하여 단일 질의의 결과들을 통합한다. 논문에서 연구된 내용 기반 복합 질의문 계획 생성 기법은 특정 이미지 영역에 국한되지 않으며 다양한 종류의 시각 질의를 수행하기 위한 효율적인 질의문 계획 생성 기법으로 사용될 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.409-410
• /
• 2007

조각문이란 문장 성분을 온전히 갖추지 못한 문장으로 일반적인 문장과 달리 종결 어미로 문장을 끝맺지 못하는 문장을 말한다. 실험실 환경에서와 달리 실제 음성 인식 환경에서는 이러한 조각문이 비교적 빈번히 나타나므로 연속 음성 인식 시스템의 성능 향상을 위해서는 이러한 조각문에 대한 고려가 필수적이다. 본 연구에서는 음성 인식 문법 기술에 있어서 조각문을 반영한 경우와 그렇지 않은 경우의 커버리지를 비교해 봄으로써 조각문에 대한 고려가 음성 인식 성능 향상에 기여할 수 있음을 알아 보았다.

• 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쳔년 동안 개발되었던 다양한 활자들이 복원돼 전시되어 있다. 본보에서는 시리즈로 인쇄역사문화관에 전시되어 있는 전시품을 소개한다.