지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 2011가을 학술발표논문집 제38권 제2호(A)
- 발행연도
- 2011.11
- 수록면
- 361 - 364 (4page)
이용수
초록· 키워드
오류제보하기
그래프 이론은 전산학과 가장 가까운 수학의 연구 분야 중 하나이다. 수학자들은 그래프의 여러 요소들을 정의하고, 그래프의 성질들을 관찰하고 서술하며 증명한다. 반면, 전산학자들은 그래프를 사용하여 여러 문제들을 해결하고 프로그램화한다. Curry-Howard 대응에 따르면, 한 가지 개념에 대한 이렇게 서로 다른 두 관점을 하나의 형식언어를 사용하여 표현하는 것이 가능하다. 그리고 Coq을 사용하면 수학적인 증명을 프로그램할 수 있다. 우리는 Coq을 사용하여 이분 그래프를 표현하고 그 성질을 증명하였다.
목차
요약
1. 서론
2. 연구 동기 및 목적
3. 이전 연구 결과
4. 이분 그래프의 정의
5. 이분 그래프의 성질
6. 결론 및 추가 연구 사항
7. 참고문헌
참고문헌 (0)
참고문헌 신청이 논문의 저자 정보
이 논문과 함께 이용한 논문
SAFE: 확장 가능한 JavaScript 분석 프레임워크
이홍기
,
진준호
,
원순철
외 3명
정보과학회논문지 : 소프트웨어 및 응용
2013
.05
자바스크립트 품질 및 테스팅 기술 동향과 안전한 자바스크립트 프로그램 개발을 위한 ‘SAFE’사례
류석영
정보과학회지
2013
.05
Assert로 자바스크립트 프로그램 분석의 정확도 높이기
이홍기
,
고윤석
,
류석영
한국정보과학회 학술발표논문집
2012
.11
자바스크립트 인터프리터 성능 최적화 기법
원순철
,
류석영
한국정보과학회 학술발표논문집
2012
.11
가상화 기법으로 난독화된 실행 파일의 동적 분석 방법
전준수
,
한태숙
정보과학회논문지 : 소프트웨어 및 응용
2013
.01
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-001149776