글쓴이 |
메시지 |
주제: 숙제7 채점 결과(1218추가 : 클레임기간 변경) |
배요한
답변: 0
조회: 1309
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년12월18일 17:00 주제: 숙제7 채점 결과(1218추가 : 클레임기간 변경) |
안녕하세요, 수강생 여러분.
(1218 추가)
성적처리 마감기한을 감안하여 클레임 기간을 이번주까지로 변경하였습니다. 이번주 내로 클레임 모두 보 ... |
주제: 과제 7-2 질문 (이전 코드 활용 관련) |
배요한
답변: 1
조회: 1165
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년12월14일 9:00 주제: 과제 7-2 질문 (이전 코드 활용 관련) |
안녕하세요, 김무환 학생.
과제 7-2에서, 과제 6의 CPS 문제의 뼈대코드와 제가 제출했던 코드 일부를 변형해서 사용해도 될까요?
네, 사용하셔도 됩 ... |
주제: 과제 7-1번 질문입니다. |
배요한
답변: 1
조회: 1113
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년12월14일 8:59 주제: 과제 7-1번 질문입니다. |
안녕하세요,
실제 실행 과정을 나열하자면 다음과 같이 됩니다.
(fn x => x x) (fn x => 2) --> ((fn x => 2) (fn x => 2) ) --> ((2))가 되기 때문에 ... |
주제: 과제 2번 3번 딜레이 관련 질문입니다. |
배요한
답변: 1
조회: 1170
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년12월13일 12:12 주제: 과제 2번 3번 딜레이 관련 질문입니다. |
안녕하세요, 박제상 학생.
안녕하세요 조교님, 과제 2번과 3번에도 딜레이가 적용되나요? 감사합니다.
적용 가능합니다. 과제 3번을 제출할 경우, ... |
주제: 과제 7-1번 질문드립니다! |
배요한
답변: 1
조회: 1235
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년12월13일 12:11 주제: 과제 7-1번 질문드립니다! |
안녕하세요, 김성재 학생.
한 가지 방법으로는 다음과 같습니다.
1) Poly_checker.typ에 WRITE 전용 타입을 따로 정의하여,
2) WRITE 타입과 어떤 타입 t을 가 ... |
주제: 7-1 Var 질문 |
배요한
답변: 1
조회: 980
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년12월11일 18:30 주제: 7-1 Var 질문 |
안녕하세요, 유진선 학생.
1,2번 잘 이해하신게 맞습니다.
M(gamma, x, tau)는 알파들이 instantiate 되어 베타로 바뀌고 forall이 사라지게 되는 경우입니다. ... |
주제: 숙제 7-1 번 에러 질문입니다. |
배요한
답변: 1
조회: 1251
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년12월11일 16:17 주제: 숙제 7-1 번 에러 질문입니다. |
안녕하세요, 박제상 학생.
해당 에러는 빈리스트에서 원소를 꺼낼 때 발생하는 ocaml 오류입니다. 다음 글을 참조해 주세요.
https://stackoverflow.com/questio ... |
주제: 7-2 테스트케이스 질문입니다. |
배요한
답변: 1
조회: 1119
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년12월11일 11:38 주제: 7-2 테스트케이스 질문입니다. |
안녕하세요, 이주상학생.
1. 이렇게 위아래 값이 같고
맞습니다.
2. 이렇게
정확히 이해하셨습니다.
3. 저는 7-2를 선택했고 코드를 구현했으므 ... |
주제: hw 7-2 질문 |
배요한
답변: 3
조회: 1856
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년12월10일 10:58 주제: hw 7-2 질문 |
1.xexp.ml에 있는 value타입이나 eval 함수를 사용하시면 안됩니다. 또한 따로 직접 구현해서 사용하는 것도 안됩니다.
프로그램을 미리 실행해서 결과를 ... |
주제: 과제 7-1 질문드립니다 |
배요한
답변: 1
조회: 1120
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년12월10일 10:50 주제: 과제 7-1 질문드립니다 |
안녕하세요, 강태호 학생.
공지사항에서 말씀드렸던 듯이 뼈대코드를 자유롭게 수정하여 활용하셔도 됩니다.
다만, 주의하셔야 할 점이, 숙제 6에서 ... |
주제: 숙제 7 공지사항 및 보충스펙 |
배요한
답변: 0
조회: 2038
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년11월30일 12:02 주제: 숙제 7 공지사항 및 보충스펙 |
안녕하세요 수강생 여러분.
숙제 7이 나왔습니다.
내용 : http://ropas.snu.ac.kr/~kwang/4190.310/18/hw7.pdf
제출 : http://ropas.snu.ac.kr/~ta/4190.310/18/submit/index.pl
... |
주제: 숙제 5 복제 판정 결과를 알려드립니다 |
배요한
답변: 0
조회: 1623
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년11월29일 14:48 주제: 숙제 5 복제 판정 결과를 알려드립니다 |
안녕하세요, 수강생 여러분.
숙제 5에 대해 클론 체커를 실행한 결과를 알려드립니다. 유사도 92% 이상으로 잡고 직접 눈으로 다시 확인하였습니다.
... |
주제: 숙제5 채점 결과 (11/29 추가) |
배요한
답변: 0
조회: 1675
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년11월22일 11:43 주제: 숙제5 채점 결과 (11/29 추가) |
안녕하세요, 수강생 여러분.
숙제 5 채점이 완료되었습니다. 이의제기는 다음주 목요일(11/29)까지 받습니다.
숙제 5에 대한 이의제기는 배요한 조교 ... |
주제: 5-2 skeleton code의 수정 가능 여부 |
배요한
답변: 7
조회: 2175
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년11월17일 0:41 주제: 5-2 skeleton code의 수정 가능 여부 |
음...reachability에 대해 헷갈리시는 거 같아서 설명해 드립니다.
gc에는 두 가지 방법이 있을 수 있습니다.
1)현재 메모리 상태에서 도달할 수 있는 모 ... |
주제: 5-2 for, while 문 질문 |
배요한
답변: 1
조회: 1079
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년11월16일 23:21 주제: 5-2 for, while 문 질문 |
안녕하세요, 송호준 학생.
5-1에 대한 질문인 것 같습니다만,
조교가 구현한 코드에서는 3, 2 를 출력시킵니다. 하지만 테스트시, 위와 같이 헷갈리 ... |
|