게시판 인덱스

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

검색 결과 602 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 최종 학점 공개 (수정: 전체 표를 공개하였습니다.)
강동옥

답변: 1
조회: 4011

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년12월24일 11:19   주제: 최종 학점 공개 (수정: 전체 표를 공개하였습니다.)
수정사항: 이전과 달라진것은 없고 과제점수 전체를 포함하여 표를 공개하였습니다.
  주제: 최종 학점 공개 (수정: 전체 표를 공개하였습니다.)
강동옥

답변: 1
조회: 4011

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년12월23일 21:03   주제: 최종 학점 공개 (수정: 전체 표를 공개하였습니다.)
안녕하세요

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

https://docs.google.com/spreadsheets/d/1SMO94MPJw5mbt7JcpUdEHzJ_5O0b2b ...
  주제: 챌린지는 어디에 제출해야 하나요?
강동옥

답변: 2
조회: 1659

올리기게시판: 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
조회: 2382

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년12월19일 14:55   주제: 챌린지 1번에 관한 질문입니다.
감마가 비어있을경우 x에 대한 증명은 x가 freevariable이므로 필요 없겠지요.

하지만 실재 증명할때는 빈 감마를 써서는 증명이 안될겁니다. 그러므로 e ...
  주제: 전체 과제 점수 공지 (12/19(금) 까지 확인 바랍니다)
강동옥

답변: 1
조회: 2179

올리기게시판: 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
조회: 2041

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년12월12일 21:44   주제: 숙제 7 채점 결과 (12일 저녁 업데이트, 클레임 : ~ 12/16)
감사합니다, 수정하였습니다 : )

숙제 7이 맞습니다.
  주제: 앞으로의 일정 재공지
강동옥

답변: 0
조회: 1356

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년12월12일 16:38   주제: 앞으로의 일정 재공지
어제 올려드린 일정 안내글에 수정할 사항이 있어 다시 안내드립니다

우선 숙제 7의 클레임 기간은 다음주 화요일까지입니다. 다소 빠듯한 일정이지 ...
  주제: 숙제 7 채점 결과 (12일 저녁 업데이트, 클레임 : ~ 12/16)
강동옥

답변: 2
조회: 2041

올리기게시판: 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
조회: 1254

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년12월11일 13:30   주제: 숙제5,6 클레임이 반영된 결과가 업데이트되었습니다
숙제 5, 6 점수가 클레임이 반영된 결과로 업데이트되었습니다.

다음 링크에서 점수를 확인해 주시기 바랍니다. (이전에 올라와 있던 링크와 동일합 ...
  주제: loc eq, poly 타입, TypeError 질문입니다.
강동옥

답변: 8
조회: 3329

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년12월10일 14:32   주제: loc eq, poly 타입, TypeError 질문입니다.
아 해당케이스는 alpha -> alpha로 유추되었어야하는 케이스이군요.

제가 잠시 헷갈렸습니다.

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

...
  주제: loc eq, poly 타입, TypeError 질문입니다.
강동옥

답변: 8
조회: 3329

올리기게시판: 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
조회: 1373

올리기게시판: 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
조회: 1494

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년12월9일 10:01   주제: malloc의 인자로 타입변수도 들어올 수 있을까요?
좀 더 구체적으로 말씀해주시겠습니까?

최종 타입으로 malloc 수행 결과는
int loc, bool loc 등이 되어야 합니다.
  주제: hw7 질문입니다.
강동옥

답변: 2
조회: 1672

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년12월9일 9:54   주제: hw7 질문입니다.
해당 케이스만 오답처리되는 것입니다.

다만 심각하게 sound하지 않은 경우는 코드를 열어볼 예정입니다.
  주제: EQ에 loc가 들어가는 경우
강동옥

답변: 7
조회: 2991

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년12월9일 9:48   주제: EQ에 loc가 들어가는 경우
아 제가 문서를 잘못읽었네요.

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

죄송합니다.
 
페이지 141 페이지로 1, 2, 3 ... 39, 40, 41  다음
시간대: GMT + 9 시간(한국)
건너뛰기:  


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