지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of KIISE Journal of KIISE Vol.43 No.12
- 발행연도
- 2016.12
- 수록면
- 1,342 - 1,350 (9page)
이용수
초록· 키워드
오류제보하기
귀납법과 코인덕션은 모두 컴퓨터 과학 분야에서 사용되는 중요한 증명 기법이다. 귀납법은 컴퓨터 과학 분야 학부 과정에서 기본적으로 가르치는 기법이며, 상대적으로 잘 알려지고 컴퓨터과학 분야전반에 걸쳐 잘 쓰이고 있다. 반면에 코인덕션은 귀납법에 비해 많은 사람들에게 다소 어렵고 친숙하지 않은 개념이다. 본 논문에서는 재귀 타입과 합집합 타입을 포함하는 간단한 타입 언어에 대해 서브타입 시스템을 정의하고, 정의한 시스템의 추이성을 증명함으로써 코인덕션에 대해 소개한다. 이를 통해, 코인덕션에 대한 이해도를 높이고, 동시에 재귀 타입과 다양한 타입 요소가 있을 때 서브타입 시스템을 정의하는 방법에 대한 기초를 제공한다.
목차
요약
Abstract
1. 서론
2. 예비 지식
3. 합집합 타입을 위한 서브타이핑
4. 재귀 타입과 코인덕션을 이용한 서브타이핑
5. 관련 연구
6. 결론
References
참고문헌 (12)
참고문헌 신청
[단행본] - R. Milner / 1989 / Communication and Concurrency / Prentice Hall
[학술지(정기간행물)] - A. Tarski / 1955 / A lattice-theoretical fixpoint theorem and its applications / Pacific Journal of Mathematics 5 (2) : 285 ~ 309
[학술지(정기간행물)] - M. Brandt / 1998 / Coinductive axiomatization of recursive type equality and subtyping / Fundamenta Informaticae 33 (4) : 309 ~ 338
[단행본] - P. Aczel / 1977 / An Introduction to Inductive Definitions / North-Holland
[학술지(정기간행물)] - B. Courcelle / 1983 / Fundamental properties of infinite trees / Theoretical Computer Science 25 : 95 ~ 169
[학술지(정기간행물)] - A. Tarski / 1955 / A lattice-theoretical fixpoint theorem and its applications / Pacific Journal of Mathematics 5 (2) : 285 ~ 309
[학술지(정기간행물)] - M. Brandt / 1998 / Coinductive axiomatization of recursive type equality and subtyping / Fundamenta Informaticae 33 (4) : 309 ~ 338
[단행본] - P. Aczel / 1977 / An Introduction to Inductive Definitions / North-Holland
[학술지(정기간행물)] - B. Courcelle / 1983 / Fundamental properties of infinite trees / Theoretical Computer Science 25 : 95 ~ 169
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
조리용 인덕션의 안정성 향상을 위한 아두이노 기반의 스마트 디바이스 개발
대한전기학회 학술대회 논문집
2021 .07
-
인덕션 레인지의 구성 요소에 따른 영향에 관한 분석
대한전기학회 학술대회 논문집
2021 .11
-
Breast Cancer Subtype Classification Using Multi-omics Data Integration Based on Neural Network
Journal of KIISE
2020 .09
-
저전력 자기 유도 방식의 인덕션 보일러에 대한 연구
한국통신학회 학술대회논문집
2023 .02
-
Mechanized Proof for Type Preservation of GTLC
Journal of KIISE
2019 .05
-
스칼라의 대조 타입을 사용해 객체를 함수로 타입 안전하게 인코딩
한국정보과학회 학술발표논문집
2022 .12
-
인덕션 레인지 전력전자기술동향
전력전자학회지
2019 .12
-
뉴럴 네트워크 기반의 다중 오믹스 통합 유방암 서브타입 분류
한국정보과학회 학술발표논문집
2019 .12
-
산업 제어 시스템 프로토콜 분석을 위한 메시지 타입 정의 방법
한국통신학회 학술대회논문집
2020 .02
-
서브타입 다형성을 갖는 하위 클래스 간 유닛 테스트 교차 검사를 통한 효과적인 비일관성 오류 검출
한국정보과학회 학술발표논문집
2020 .07
-
전력전자기술을 활용한 인덕션 레인지 기술개발 동향
전기의세계
2020 .02
-
전산유체해석을 통한 디퓨저타입과 패치타입 제품 이용 시 에센셜 오일의 흡입량 예측
한국산학기술학회 논문지
2022 .12
-
사우디 기후환경의 머신러닝 알고리즘 적용을 통한 실내 온열쾌적성 향상 및 냉방에너지 절감효과 분석
대한설비공학회 학술발표대회논문집
2024 .06
-
인덕션 안전성 향상을 위한 기능보조 디바이스 개발
한국전자통신학회 논문지
2021 .12
-
인덕션 레인지용 나선형 코일의 설계
대한전기학회 학술대회 논문집
2018 .07
-
양자점 혼합에 따른 하이브리드 타입 광검출기 특성에 관한 연구
대한전자공학회 학술대회
2019 .06
-
인덕션 보일러용 싱글엔드디 공진형 인버터에 관한 연구
한국통신학회 학술대회논문집
2023 .06
-
인덕션 히터를 이용한 전기차 난방 시스템
한국유체기계학회 학술대회 논문집
2017 .12
-
자기 표피효과를 고려한 인덕션 히터의 재질 및 두께 선정
대한전기학회 학술대회 논문집
2019 .04
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2017-569-001860003