글쓴이 |
메시지 |
주제: 최종성적과 학점이 공개되었습니다. (12월 28일 클레임반영) |
로파스
답변: 0
조회: 1777
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년12월27일 14:42 주제: 최종성적과 학점이 공개되었습니다. (12월 28일 클레임반영) |
안녕하세요 수강생 여러분.
숙제의 최종성적과 챌린지 채점결과, 학점을 공개합니다.
학점에 대한 최종적인 클레임은 내일(12월 28일 금요일) 오전 ... |
주제: 숙제 1~7 최종점수입니다. |
로파스
답변: 0
조회: 1487
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년12월22일 22:42 주제: 숙제 1~7 최종점수입니다. |
안녕하세요 수강생여러분.
한학기동안 정말 수고많으셨습니다.
모든 클레임이 반영된 숙제 1~7까지의 점수를 공개합니다.
혹시 자신의 클레임이 ... |
주제: 챌린지 2번 질문드립니다 |
로파스
답변: 2
조회: 1312
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년12월20일 19:27 주제: 챌린지 2번 질문드립니다 |
factorial같은 경우는 0이상의 정수가 입력으로 들어온다고 가정하셔도 좋습니다.
곱셈은 언어에 따로 정의가 되어있지 않으므로 임의로 쓰시면 안되 ... |
주제: 숙제4 에세이과제 점수 및 채점기준, 클레임공지입니다. |
로파스
답변: 0
조회: 1488
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년12월20일 12:37 주제: 숙제4 에세이과제 점수 및 채점기준, 클레임공지입니다. |
안녕하세요 수강생여러분.
숙제4 에세이과제 채점이 완료되어 관련된 사항들 안내드립니다.
숙제4 에세이과제 채점결과입니다.
(중요)
클레임 및 ... |
주제: 프로그램 외적인 실수 수정기회 사용에 대한 공지입니다. |
로파스
답변: 0
조회: 1082
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년12월18일 18:45 주제: 프로그램 외적인 실수 수정기회 사용에 대한 공지입니다. |
안녕하세요 수강생여러분.
프로그램 외적인 실수 수정기회 사용에 대한 내용을 안내드립니다.
이미 숙제 클레임기간에 많은 분들이 수정기회를 ... |
주제: 숙제6 채점결과입니다.(1211 클레임반영)(1212 클레임 반영) |
로파스
답변: 0
조회: 1684
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년12월4일 17:46 주제: 숙제6 채점결과입니다.(1211 클레임반영)(1212 클레임 반영) |
안녕하세요 수강생 여러분.
또한, 숙제 6 채점이 완료되었습니다.
클레임은 7일 뒤인 12월 11일까지 받겠습니다. 제 오피스 아워에 오시거나 따로 ... |
주제: 6-2 CPS 형태 스펙 질문 |
로파스
답변: 1
조회: 1279
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년11월28일 18:59 주제: 6-2 CPS 형태 스펙 질문 |
Fn(x, e)에서 e 역시 sub-expression이므로 물론 알맞은 방법으로 cps변환되어야 제대로 실행됩니다. 구현을 완성하신 뒤 (fn x => x+1) 1 과 같은 간단한 프로그 ... |
주제: 6-4 무한루프, 함수 타입, pair 타입 질문 |
로파스
답변: 1
조회: 1209
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년11월28일 18:48 주제: 6-4 무한루프, 함수 타입, pair 타입 질문 |
1. 네 무한루프 여부와 별개로 타입체킹은 항상 짧은시간내에 끝낼 수 있습니다.
2. 정확한 예시에 따라 조금씩 다르겠습니다만, 이번숙제의 심플타 ... |
주제: M.pdf Type Checking 부분 질문 |
로파스
답변: 1
조회: 1238
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년11월27일 17:02 주제: M.pdf Type Checking 부분 질문 |
M언어 타입정의 첫부분을 보시면, 해당 문서의 타입언어 정의는 완성된 상태가 아니라고 나와있습니다.
비어있는 부분은 완성해서 사용하시면 되고, ... |
주제: 6-4 if문 타입 질문 |
로파스
답변: 3
조회: 1481
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년11월27일 16:58 주제: 6-4 if문 타입 질문 |
그렇기때문에 숙제 6-4에서의 타입시스템이 안전하지만 완전하지 않은 것입니다.
제대로 실행되는 프로그램중에서도 타입에러라고 걸러내는 경우가 ... |
주제: 6-4 ASSIGN으로 타입이 바뀌는 경우 질문 |
로파스
답변: 1
조회: 1267
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년11월27일 16:55 주제: 6-4 ASSIGN으로 타입이 바뀌는 경우 질문 |
네, x가 int loc인지 으로 선언되었으나 실제로 bool loc처럼 쓰였기 때문에
타입에러를 띄워주셔야 합니다.
자세한 타입유추식은 Assign부분을 참고해 ... |
주제: 6-4 쓰이지 않는 함수 |
로파스
답변: 1
조회: 1123
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년11월27일 16:27 주제: 6-4 쓰이지 않는 함수 |
네 오류로 처리하셔야 합니다.
타입체크를 하는 시점은 실행전이므로, 어떤 부분이 dead code인지 알 수 없습니다.
따라서 타입오류가 있는 지점이 ... |
주제: 6-4 함수타입 질문 |
로파스
답변: 1
조회: 1137
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년11월27일 16:24 주제: 6-4 함수타입 질문 |
1,2. 네 그런경우는 테스트하지 않을 예정입니다.
3. 스펙밖의 사항이므로 자유롭게 구현하시면 됩니다.
-조교 드림. |
주제: 6-4 코드 사용 질문 |
로파스
답변: 3
조회: 1579
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년11월26일 14:21 주제: 6-4 코드 사용 질문 |
추가설명드립니다.
작년도 뼈대코드는 다형타입시스템을 대상으로한 구현의 뼈대코드이기때문에 코드의 타입과 구현이 다소 다릅니다.
그대로 ... |
주제: 앞으로 할일 드러내기에 관한 질문입니다. |
로파스
답변: 1
조회: 1230
|
게시판: 4190.310 Programming Languages (Fall 2018) 올려짐: 2018년11월26일 11:00 주제: 앞으로 할일 드러내기에 관한 질문입니다. |
물론 CPS변환을 실제 코드에 적용할때는 여러가지 구현이 있을 수 있겠습니다만,
이번숙제문서에 서술된 기법은 cps변환의 근본적인 방법론이라고 할 ... |
|