글쓴이 |
메시지 |
주제: 최종 학점 공개 (수정: 전체 표를 공개하였습니다.) |
강동옥
답변: 1
조회: 7023
|
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월24일 11:19 주제: 최종 학점 공개 (수정: 전체 표를 공개하였습니다.) |
수정사항: 이전과 달라진것은 없고 과제점수 전체를 포함하여 표를 공개하였습니다. |
주제: 최종 학점 공개 (수정: 전체 표를 공개하였습니다.) |
강동옥
답변: 1
조회: 7023
|
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월23일 21:03 주제: 최종 학점 공개 (수정: 전체 표를 공개하였습니다.) |
안녕하세요
에세이 점수와 최종 학점을 공개합니다.
한학기동안 정말 수고 많으셨습니다.
https://docs.google.com/spreadsheets/d/1SMO94MPJw5mbt7JcpUdEHzJ_5O0b2b ... |
주제: 챌린지는 어디에 제출해야 하나요? |
강동옥
답변: 2
조회: 1997
|
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월19일 14:58 주제: 챌린지는 어디에 제출해야 하나요? |
아래 챌린지 문서에서 확인하실 수 있습니다.
http://ropas.snu.ac.kr/~kwang/4190.310/14/challenge.pdf
12/19(Fri), 16:00 까지
302동 428호 방문 앞에 놓여있는 IN box에 ... |
주제: 챌린지 1번에 관한 질문입니다. |
강동옥
답변: 5
조회: 2846
|
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월19일 14:55 주제: 챌린지 1번에 관한 질문입니다. |
감마가 비어있을경우 x에 대한 증명은 x가 freevariable이므로 필요 없겠지요.
하지만 실재 증명할때는 빈 감마를 써서는 증명이 안될겁니다. 그러므로 e ... |
주제: 전체 과제 점수 공지 (12/19(금) 까지 확인 바랍니다) |
강동옥
답변: 1
조회: 2515
|
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월17일 12:25 주제: 전체 과제 점수 공지 (12/19(금) 까지 확인 바랍니다) |
과제 1~7의 모든 점수를 정리하였습니다. 다음 링크에서 확인해 주세요.
http://ropas.snu.ac.kr/~ta/4190.310/14/result/total.htm
모든 과제에 대해서 클레임 및 ... |
주제: 숙제 7 채점 결과 (12일 저녁 업데이트, 클레임 : ~ 12/16) |
강동옥
답변: 2
조회: 2399
|
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월12일 21:44 주제: 숙제 7 채점 결과 (12일 저녁 업데이트, 클레임 : ~ 12/16) |
감사합니다, 수정하였습니다 : )
숙제 7이 맞습니다. |
주제: 앞으로의 일정 재공지 |
강동옥
답변: 0
조회: 1604
|
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월12일 16:38 주제: 앞으로의 일정 재공지 |
어제 올려드린 일정 안내글에 수정할 사항이 있어 다시 안내드립니다
우선 숙제 7의 클레임 기간은 다음주 화요일까지입니다. 다소 빠듯한 일정이지 ... |
주제: 숙제 7 채점 결과 (12일 저녁 업데이트, 클레임 : ~ 12/16) |
강동옥
답변: 2
조회: 2399
|
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월12일 15:59 주제: 숙제 7 채점 결과 (12일 저녁 업데이트, 클레임 : ~ 12/16) |
숙제 7의 채점이 완료되었습니다. 다음 링크에서 점수를 확인해 주시기 바랍니다.
http://ropas.snu.ac.kr/~ta/4190.310/14/result/HW7_result.htm
클레임은 12/16 화 ... |
주제: 숙제5,6 클레임이 반영된 결과가 업데이트되었습니다 |
강동옥
답변: 0
조회: 1505
|
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월11일 13:30 주제: 숙제5,6 클레임이 반영된 결과가 업데이트되었습니다 |
숙제 5, 6 점수가 클레임이 반영된 결과로 업데이트되었습니다.
다음 링크에서 점수를 확인해 주시기 바랍니다. (이전에 올라와 있던 링크와 동일합 ... |
주제: loc eq, poly 타입, TypeError 질문입니다. |
강동옥
답변: 8
조회: 3957
|
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월10일 14:32 주제: loc eq, poly 타입, TypeError 질문입니다. |
아 해당케이스는 alpha -> alpha로 유추되었어야하는 케이스이군요.
제가 잠시 헷갈렸습니다.
여러분이 불이익이 가지 않도록 채점하겠습니다.
... |
주제: loc eq, poly 타입, TypeError 질문입니다. |
강동옥
답변: 8
조회: 3957
|
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월9일 22:24 주제: loc eq, poly 타입, TypeError 질문입니다. |
1) 네 맞습니다.
2) simple에서 int -> int이면 poly에서도 int -> int로 잘 나와야 합니다.
3) 어떤 에러를 catch 하고 싶으신가요? |
주제: [답변정정] loc eq에 관해 |
강동옥
답변: 0
조회: 6645
|
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월9일 10:04 주제: [답변정정] loc eq에 관해 |
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4754
loc 인자로 가지는 타입까지 같은 타입이어야 같은 location 타입입니다. |
주제: malloc의 인자로 타입변수도 들어올 수 있을까요? |
강동옥
답변: 1
조회: 1770
|
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월9일 10:01 주제: malloc의 인자로 타입변수도 들어올 수 있을까요? |
좀 더 구체적으로 말씀해주시겠습니까?
최종 타입으로 malloc 수행 결과는
int loc, bool loc 등이 되어야 합니다. |
주제: hw7 질문입니다. |
강동옥
답변: 2
조회: 1983
|
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월9일 9:54 주제: hw7 질문입니다. |
해당 케이스만 오답처리되는 것입니다.
다만 심각하게 sound하지 않은 경우는 코드를 열어볼 예정입니다. |
주제: EQ에 loc가 들어가는 경우 |
강동옥
답변: 7
조회: 3523
|
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월9일 9:48 주제: EQ에 loc가 들어가는 경우 |
아 제가 문서를 잘못읽었네요.
e1 과 e2의 타입이 같아야 하니까 tau도 같아야 합니다.
죄송합니다. |
|