지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2014.8
- 수록면
- 123 - 128 (6page)
- DOI
- 10.14801/kitr.2014.12.8.123
이용수
초록· 키워드
오류제보하기
현재 많은 프로그래밍 패러다임이 존재한다. 예를 들면 C, Java, Prolog 및 Linear logic 등이 있다. 본 논문에서는 프로그래밍 언어들 사이에 존재하는 우열에 대하여 살펴본다. 따라서 이를 기반으로 계산논리 원본 코드 개념을 제안한다. 계산 논리의 핵심은 게임이다. 게임이란 상태의 확장 개념으로 목표 상태뿐만 아니라, 목표 상태 도달방식까지 포함하는 개념이다. 원본 코드는 어떤 작업을 구현하는 프로그래밍 코드 중에서 가장 짧은 길이로 구성된 코드, 즉 가장 효율적인 코드를 의미한다. 이에 대응되는 번역본 코드는 원본 코드를 코드가 동작하는 환경에 맞추어 번역한 코드를 의미한다. 본 논문에서는 Japaridze의 Computability Logic에 의한 원본 코드의 작성에 대해 제시하고, Computability Logic이 표현력이 우수하고, 코드길이가 짧아짐을 보인다.
목차
요약
Abstract
Ⅰ. 서론
Ⅱ. 컴퓨터=게임수행기계
Ⅲ. 게임지향 프로그래밍
Ⅳ. 새로운 설계 코드의 예
Ⅴ. 결론
References
참고문헌 (11)
참고문헌 신청
1. [학술지(정기간행물)] - 형대진 / 2010 / 원본 코드와 번역본 코드 이론 / 한국정보기술학회논문지 8 (7) : 109 ~ 116
2. [단행본] - Jean-Yves Girard / 1995 / Advances in Linear Logic / Cambridge University Press
3. [단행본] - Ehrhard / 2004 / Linear Logic in Computer Science / Cambridge University Press
4. [학술지(정기간행물)] - Hong-Soo Park / 1986 / What is a computer? / Technological age 22 (4) : 56 ~ 60
5. [학술대회논문] - J. E. Hopcroft / 2008 / Introduction to Automata Theory, Languages and Computation 3rd edition / Addison-Wesley
2. [단행본] - Jean-Yves Girard / 1995 / Advances in Linear Logic / Cambridge University Press
3. [단행본] - Ehrhard / 2004 / Linear Logic in Computer Science / Cambridge University Press
4. [학술지(정기간행물)] - Hong-Soo Park / 1986 / What is a computer? / Technological age 22 (4) : 56 ~ 60
5. [학술대회논문] - J. E. Hopcroft / 2008 / Introduction to Automata Theory, Languages and Computation 3rd edition / Addison-Wesley
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2015-560-002619209