검색 결과 602 개 일치합니다

수정사항: 이전과 달라진것은 없고 과제점수 전체를 포함하여 표를 공개하였습니다.

안녕하세요

에세이 점수와 최종 학점을 공개합니다.
한학기동안 정말 수고 많으셨습니다. Surprised

https://docs.google.com/spreadsheets/d/1SMO94MPJw5mbt7JcpUdEHzJ_5O0b2b ...

아래 챌린지 문서에서 확인하실 수 있습니다.

http://ropas.snu.ac.kr/~kwang/4190.310/14/challenge.pdf

12/19(Fri), 16:00 까지
302동 428호 방문 앞에 놓여있는 IN box에 ...

감마가 비어있을경우 x에 대한 증명은 x가 freevariable이므로 필요 없겠지요.

하지만 실재 증명할때는 빈 감마를 써서는 증명이 안될겁니다. 그러므로 e ...

과제 1~7의 모든 점수를 정리하였습니다. 다음 링크에서 확인해 주세요.

http://ropas.snu.ac.kr/~ta/4190.310/14/result/total.htm

모든 과제에 대해서 클레임 및 � ...

감사합니다, 수정하였습니다 : )

숙제 7이 맞습니다.

어제 올려드린 일정 안내글에 수정할 사항이 있어 다시 안내드립니다

우선 숙제 7의 클레임 기간은 다음주 화요일까지입니다. 다소 빠듯한 일정이지 ...

숙제 7의 채점이 완료되었습니다. 다음 링크에서 점수를 확인해 주시기 바랍니다.

http://ropas.snu.ac.kr/~ta/4190.310/14/result/HW7_result.htm

클레임은 12/16 화 ...

숙제 5, 6 점수가 클레임이 반영된 결과로 업데이트되었습니다.

다음 링크에서 점수를 확인해 주시기 바랍니다. (이전에 올라와 있던 링크와 동일합� ...

아 해당케이스는 alpha -> alpha로 유추되었어야하는 케이스이군요.

제가 잠시 헷갈렸습니다.

여러분이 불이익이 가지 않도록 채점하겠습니다.

� ...

1) 네 맞습니다.

2) simple에서 int -> int이면 poly에서도 int -> int로 잘 나와야 합니다.

3) 어떤 에러를 catch 하고 싶으신가요?

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4754

loc 인자로 가지는 타입까지 같은 타입이어야 같은 location 타입입니다.

좀 더 구체적으로 말씀해주시겠습니까?

최종 타입으로 malloc 수행 결과는
int loc, bool loc 등이 되어야 합니다.

해당 케이스만 오답처리되는 것입니다.

다만 심각하게 sound하지 않은 경우는 코드를 열어볼 예정입니다.

아 제가 문서를 잘못읽었네요.

e1 과 e2의 타입이 같아야 하니까 tau도 같아야 합니다.

죄송합니다.