연구 영역
대표 연구 분야
본 연구실의 핵심 연구 역량과 전문 분야
논리계산에서 cut의 고수준화와 휴리스틱 proof search
선형 논리와 choice-disjunctive goal 공식을 활용해 cut을 논리적으로 대체하고, 시퀀트 기반 휴리스틱 proof 절차로 proof search를 안정적으로 수행하는 연구
논문3
특허0
프로젝트0
CoLweb에서의 알고리즘 명세와 논리 의사코드-코드 연결
computability logic 관점에서 알고리즘을 명세하고, 논리 의사코드를 통해 증명과 명령형 코드를 연결하며 CoLweb 구현을 수행하는 연구
논문5
특허0
프로젝트0
진화하는 재귀 정의와 모듈 언어에서의 qualified name 제거
진화하는 재귀 정의로 automatic memoization을 유도하고, 모듈 시스템에서 qualified names를 제거하는 언어 설계 방식을 제안하는 연구
논문2
특허0
프로젝트0