당연한 결과인가?
[%] Coq에서 Ackermann 함수 코딩 못하네 ㅇㅅㅇ;;
기괴공학도(mecheng98)
2019-10-18 19:50
추천 0
댓글 1
다른 게시글
-
개인적으로 C++은 && 생긴 시점부터 너무 복잡해진듯 [2][%] ㅇㄹ(rerereq) | 19.10.18추천 0
-
인텔리제이에 취업하고싶다[%] 익명(223.39) | 19.10.18추천 0
-
C++03도 익숙해지면 할만한 것 같음 [2][%] 노이ㄴ(126.255) | 19.10.18추천 0
-
저희 WinAPI MFC 해요 [5][%] 익명(211.114) | 19.10.18추천 0
-
이거 Idris에서 증명가능함 ㅇㅅㅇ? [8][질문] 기괴공학도(mecheng98) | 19.10.18추천 0
-
C++ 이 어려운편임? [3][%] 익명(117.111) | 19.10.18추천 0
-
오늘 경험하고 기함한 C++14 변수 템플릿 단점 [2][%] 익명(1.232) | 19.10.18추천 0
-
모던한 Factory Method 패턴 [8][%] 익명(211.250) | 19.10.18추천 0
-
러스트찬양은 현명한 행동인 동시에 죄악이다 [5][%] 익명(175.223) | 19.10.18추천 3
-
C++ 너무 미개한거 아님? [11][%] 뽕빠진펭귄(211.246) | 19.10.17추천 12
"튜링 완전 100%" - dc App