http://www.reeseo.net/ 2010-04-08T04:31:18+01:00 http://www.reeseo.net/ http://www.reeseo.net/lib/images/favicon.ico text/html 2006-01-09T10:54:12+01:00 http://www.reeseo.net/trans/coq_tutorial.ko?rev=1136771652 Version 7.31) Gérard Huet, Gilles Kahn and Christine Paulin-Mohring LogiCal Project V7.3, © INRIA 1999–2002 시작하며 Coq는 Calculus of Inductive Constructions라고 알려진 논리적 프레임워크를 위한 증명 보조기(proof assistant)입니다. 대화식으로 정형적 증명을 만들 수 있으며, 모순 없이... text/html 2006-01-09T04:39:39+01:00 http://www.reeseo.net/trans/index.en?rev=1136749179 This is a list of documents of others I translated (mostly from English to Korean). Not only the quality of translation is surprisingly low, but also the contents of these can differ from those of the original because they were translated long ago. ... text/html 2006-01-09T04:39:49+01:00 http://www.reeseo.net/trans/index.ko?rev=1136749189 제가 (대개 영어에서 한국어로) 번역한 몇 가지 외부 문서들입니다. 번역의 수준이 원체 허접스울 뿐만 아니라 번역한지 오래되어 이미 원문의 최신판과는 내용이 다를 수 있습니다. 원문이 아닌 이 번역문들을 읽어서 독자에게 일어날 수 있는 모든 일에 대해 일체 책임질 수 없음을 미리 밝힙니다. Coq 입문서: 2003년 초에 한국어로 번역한 증명 보조 도구 Coq의 입문서입니다. Gérard Huet과 Gilles Kahn, Christine...