• 정보과학회 논문지
• /
• 제43권12호
• /
• pp.1342-1350
• /
• 2016

귀납법과 코인덕션은 모두 컴퓨터 과학 분야에서 사용되는 중요한 증명 기법이다. 귀납법은 컴퓨터 과학 분야 학부 과정에서 기본적으로 가르치는 기법이며, 상대적으로 잘 알려지고 컴퓨터과학 분야 전반에 걸쳐 잘 쓰이고 있다. 반면에 코인덕션은 귀납법에 비해 많은 사람들에게 다소 어렵고 친숙하지 않은 개념이다. 본 논문에서는 재귀 타입과 합집합 타입을 포함하는 간단한 타입 언어에 대해 서브타입 시스템을 정의하고, 정의한 시스템의 추이성을 증명함으로써 코인덕션에 대해 소개한다. 이를 통해, 코인덕션에 대한 이해도를 높이고, 동시에 재귀 타입과 다양한 타입 요소가 있을 때 서브타입 시스템을 정의하는 방법에 대한 기초를 제공한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권8호
• /
• pp.566-575
• /
• 2009

CDISC 컨소시엄에서는 임상시험에서의 비효율적인 데이터 처리 과정을 개선하기 위해, 플랫폼에 독립적인 임상시험 데이터 표준을 정의하였다. 그러나, CDISC 표준은 여러 나라의 여러 기관이 함께 참여하는 다국가 임상시험에서 발생하는 임상시험 데이터를 다국어로 표현하는 방법에 많은 제약을 갖고 있다. 특히, CDISC가 제정한 표준 중 임상시험 데이터의 콘텐츠 및 포맷에 해당하는 SDTM(Study Data Tabulation Model)과 ODM(Operational Data Model)에서의 다국어 지원이 매우 미비하다. 본 논문은 CDISC의 SDTM과 ODM에서의 언어 설정에 대한 문제점을 해결하기 위해, SDTM과 ODM 표준의 확장을 제안한다. 이를 위해 SDTM에서는 다국어 지원을 위한 새로운 도메인을 설계하였고, ODM에서는 ODM의 확장 스키마를 서브타이핑 방법으로 구현하였다. 확장 SDTM과 ODM을 기반으로 임상시험 데이터를 처리하면, 다국가 임상시험이 수행되는 경우 다국어로 표현된 임상시험 데이터도 효율적으로 처리할 수 있다.