| 글쓴이 |
메시지 |
주제: [HW5] 채점 결과입니다. |
최현돈
답변: 2
조회: 4370
|
게시판: 4541.664A Program Analysis (Spring 2013) 올려짐: 2013년6월12일 16:57 주제: [HW5] 채점 결과입니다. |
| 숙제 6이 아니라, 숙제 5가 아닐까 생각합니다.;; :o |
주제: 챌린지 질문이요 |
최현돈
답변: 0
조회: 3770
|
게시판: 4190.310 Programming Languages (Fall 2010) 올려짐: 2010년12월14일 2:26 주제: 챌린지 질문이요 |
Challenge 6에서,
위에 예를 든 프로그램들에 대해서, 제대로 도는 프로그램들 네개중 적어도 세개는 받아들일 수 있어야 하고, 제대로 돌지 않는 프로 ... |
주제: \x.x의 타입 |
최현돈
답변: 4
조회: 5405
|
게시판: 4190.310 Programming Languages (Fall 2010) 올려짐: 2010년11월13일 20:39 주제: . |
비슷한 질문인데요,
(\x. x = x)
라거나
(\x. write x)
같은 프로그램 역시 타입 에러를 발생시켜야 하나요? |
주제: 숙제3 채점 결과 |
최현돈
답변: 2
조회: 2225
|
게시판: 4190.310 Programming Languages (Fall 2010) 올려짐: 2010년10월15일 14:10 주제: 숙제3 채점 결과 |
제 점수가 이상한 것 같습니다.
3-3의 테스트케이스를 직접 실행해보니 (4,5번은 실행시간이 길어서 확인 안해봤지만) 1,2,3번은 맞았는데, 전부 다 틀 ... |
주제: 강의 교재 제본 신청 |
최현돈
답변: 27
조회: 12715
|
게시판: 4190.310 Programming Languages (Fall 2010) 올려짐: 2010년9월2일 23:22 주제: 강의 교재 제본 신청 |
| 신청합니다. |
주제: 6 - 1 에 대해 질문이 있습니다. |
최현돈
답변: 1
조회: 2259
|
게시판: 4190.210 Principles of Programming (Fall 2009) 올려짐: 2009년11월21일 19:55 주제: 6 - 1 에 대해 질문이 있습니다. |
'이 숙제에서는 다음의 특별한 두 조건을 만족하는 람다식만 다룬다'고 하셨는데, 그러면 테스트시에
((λ x x)(λ x x))
와 같은 식이나
((λx (x y)) (λ ... |
주제: 3-1에 대해 질문 있습니다. |
최현돈
답변: 1
조회: 2197
|
게시판: 4190.210 Principles of Programming (Fall 2009) 올려짐: 2009년10월7일 16:51 주제: 3-1에 대해 질문 있습니다. |
3-1을 테스트할 때 보통 어느정도 크기의 미로를 만들게 하나요?
이번 숙제에서 효율성을 따로 채점하진 않겠다고 하셨지만, 효율성이 너무 떨어지면 ... |
| |