형식증명 확인 프로그램인데,
컴공이랑 논리 둘 다 잘 알고있는 사람이 필요해.
컴공이랑 논리 둘 다 잘 알고있는 사람이 필요해.
내가 계획한 프로젝트를 얘기할 데가 없어
기괴공학도(mecheng98)
2019-02-17 21:58
추천 3
댓글 7
다른 게시글
-
일반역학, 동역학 질문 [1]던말릭(gobackk3789) | 19.02.17추천 0
-
친구 필요 없음1212(110.70) | 19.02.17추천 0
-
난 남에 대한 불신이나 경쟁심 1도 없음1212(110.70) | 19.02.17추천 0
-
사회생활 하면서 느낀점 [1]1212(110.70) | 19.02.17추천 0
-
수학 = 암기임 [1]1212(110.70) | 19.02.17추천 0
-
집에 오면 애니 만화만 봄1212(110.70) | 19.02.17추천 1
-
공부는 환경이 중요한가 유전자가 중요한가1212(110.70) | 19.02.17추천 1
-
초1때 엄마가 가우스 문제랑 파스칼 삼각형 같은 문제들1212(110.70) | 19.02.17추천 0
-
하기사 내 인생이 이 모양인데1212(110.70) | 19.02.17추천 0
-
나한테 너무 열등감들지마셈1212(110.70) | 19.02.17추천 0
형식논리학적 증명?
ㅇㅇ 추론규칙을 처리할 수 있는 엔진을 만들어야 함
좋은 일 하네 너같은 사람들 덕분에 세상 아직 따뜻한 거 느낀다
voevodsky가 지옥에서 돌아오기라도 했나
집밥은 알아도 컴공을 전혀 모른다..
한국말이 서툴러서 그런데, proof-checking 말하는거임? Like Coq?
나만의 inference rule을 처리할 수 있는 proof checker를 개발하는 게 목표임