게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

숙제5 뼈대 및 제출 방법

 
글 쓰기   답변 달기     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2014)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
윤용호



가입: 2008년 9월 23일
올린 글: 257

올리기올려짐: 2014년5월27일 18:43    주제: 숙제5 뼈대 및 제출 방법 인용과 함께 답변

숙제5가 나왔습니다.
http://ropas.snu.ac.kr/~kwang/4541.664A/14/hw5.pdf

숙제5는 제공된 뼈대코드 위에서 작업하시기 바랍니다.
http://ropas.snu.ac.kr/~ta/4541.664A/14/anounce/hw5.skeleton.tar.gz

davinci.ml 파일의 daVinciCode 함수를 구현하시면 됩니다.
domain.ml에 유용한 여러 functor들이 제공됩니다.
example.ml에 domain.ml의 functor들을 어떻게 활용할 수 있는지 예시들이 있습니다. 참조하세요. (example.ml은 make 타겟에는 포함돼있지 않습니다.)
제공되는 functor를 사용하지 않고 필요한 도메인들을 직접 구현하셔도 됩니다.

수정하면 안 되는 것들
+ 다음의 파일들은 아예 수정 금지입니다.
-- main.ml 파일을 건드리지 마세요.
-- 모든 mll, mly 파일을 건드리지 마세요.(파서)
-- t.ml 파일을 건드리지 마세요.
+ 다음의 파일은 부분 수정이 가능합니다.
-- davinci.ml 파일의 daVinciCode 함수를 제외한 정의들(Error, answer, answer2string)을 수정하지 마세요. 기존에 정의된 것 외의 다른 함수나 타입들을 추가하는 것은 괜찮습니다.

이 외의 다른 파일들은 위 조건을 지키고 make 명령으로 컴파일이 되는 선에서 자유롭게 추가/삭제 하셔도 됩니다. 새 소스코드 파일을 추가할 경우 make가 잘 되도록 Makefile도 수정해주세요. 그러나 여러 문제가 생기기 쉬우므로 필요한 구현 대부분을 davinci.ml 안에 하는걸 추천 드립니다.

채점의 최소 조건:
- make 명령으로 컴파일 오류 없이 main.o가 컴파일 될 것
- davinci.ml 파일의 answer2string 함수와 main.ml 파일을 수정하지 않을 것(즉, 프로그램의 실행 입출력 포맷을 건드리지 말 것)
- 아래 문단의 제출 양식을 따를 것
입니다.
컴파일 도중 경고가 나오는 것은 괜찮습니다만 오류는 없이 컴파일이 성공 해야합니다.
컴파일 되지 않는 과제는 0점 처리 하겠습니다.
제출 양식에 맞지 않는 제출도 0점입니다.

제출 양식:
제출은 이메일 yhyoon _at_ ropas.snu.ac.kr, wslee _at_ ropas.snu.ac.kr로 해주세요.(수신인 2명!)
이메일 제목은 "[프로그램분석] HW5 이름 학번" 와 같은 형식으로 해주세요 (예: "[프로그램분석] HW5 윤용호 2014-12345").
make clean 하여 소스코드만 남은 상태로, 프로젝트 디렉토리 전체를 통째로 압축하여 보내주세요.
압축 포맷은 tar, tar.gz, zip으로 제한합니다. (유닉스 기반 OS에서 tar -xzf, tar -xf, unzip 등의 명령으로 압축을 해제할 수 있어야 함)

과제에 대한 질문은 게시판과 메일을 이용해주세요.
게시판에 질문을 올릴 경우 메일로 게시물 링크를 같이 보내주시면 빠른 답변에 도움이 됩니다.
메일을 통한 개별 질문과 저의 답변 중 모두가 아는 것이 좋겠다고 판단되는 것은 발신자 정보를 제거하고 임의로 게시판에 올릴 수 있습니다.
6월 8일 하루종일 ~ 9일 월요일 아침까지 질문 확인이 어렵습니다. 일정이 급하지 않게 스케쥴을 잘 잡으시길 바랍니다.
_________________
TA
위로
사용자 정보 보기 비밀 메시지 보내기
윤용호



가입: 2008년 9월 23일
올린 글: 257

올리기올려짐: 2014년6월9일 18:10    주제: 디자인 문서 제출 인용과 함께 답변

이메일로 안내 드린 것처럼,
디자인/증명 문서도 pdf 파일로 이메일로 제출해주세요.

메일에는 구현 소스코드 파일 압축파일 하나,
디자인/증명 문서 pdf 파일 하나,
이렇게 두 개를 첨부해주시면 됩니다.

강제는 아니지만 권장사항으로(공지가 늦어서 강제하진 않겠지만 따라주시면 편할 것 같습니다)
파일 이름은
학번.zip (or 학번.tar)과 학번.pdf로 해주시면 좋겠습니다.

2014-12345.zip (or 2014-12345.tar.gz) / 2014-12345.pdf
_________________
TA
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2014) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay