검색 결과 88 개 일치합니다

안녕하세요 수강생 여러분,

최종 학점을 공지드립니다.
챌린지 문제에서 +0은 제출했지만 인정이 안 된 것이고 공란은 제출을 하지 않은 것입니다.
...

안녕하세요,

이번 과제에서 유사도 기준에 해당된 학생들은 교수님과의 면담을 통해 최종 판단을 받았습니다.

면담 결과, 감점된 학생은 없습니다 ...

안녕하세요,

과제 7과 8에 유사도 기준에 해당하는 학생들에게 SMS 및 메일로 안내했습니다.

해당하는 학생은 이번 주 목 10:00 - 15:00, 금 13:00 - 17:00에 ...

안녕하세요,

채점은 교수님께서 직접 하시기 때문에 제가 확답을 드릴 수는 없지만, 안전하게 증명을 하는 것을 추천드립니다.

조교드림

안녕하세요,

k-* 언어 정의를 사용하여 답안을 작성하시면 됩니다.

조교드림

안녕하세요,

1. 내용이 맞으면 크게 벗어나지 않는 선에서 적절하게 작성하시면 될 것 같습니다.
2. 챌린지의 경우 추가적인 내용이나 정의가 필요한 ...

안녕하세요,

지금까지의 과제 점수 총합 공지 입니다.
확인해보시고 문제가 있으시면 학번을 포함하여 메일 바랍니다.

https://ropas.snu.ac.kr/~ta/4190.31 ...

안녕하세요,

1. 기존 SM5의 내용을 다시 적을 필요는 없을 것 같습니다.
2. 맞습니다.

조교드림

안녕하세요 수강생 여러분,

숙제 8 채점이 완료되었습니다. 이의 제기는 목요일(6/19) 수요일(6/18)까지 받습니다.
최대한 빠르게 성적을 공지드려 챌� ...

부연 설명을 조금 더 해보자면 let x = E in E' 일 때 x가 다형 타입이 가능한지 확인하는 것 입니다.
그것에 영향을 줄 수 있는지 생각해보시면 될 것 같� ...

좋은 예시인 것 같습니다.

안쪽의 malloc으로 생긴 loc이 참조되는 여부보다 후자 예시처럼 메모리 할당과 그 메모리 할당이 어떤 영향을 줄 수 있는지 ...

안녕하세요,

말씀하신 방식으로 타입 추론을 하면 안정성을 해치는 것은 아니지만 타입 추론의 정확성이 떨어지게 됩니다.
메모리 할당이 있는 경� ...

expansive의 목적은 식이 실행 중에 메모리를 할당 받을 것인지 유추하기 위함입니다.

위 예시는 메모리 할당이 없어서 안전한 프로그램입니다.
f와 z� ...

위 식에 대한 타입 추론은 안전하지만 완전하지 않은 예시입니다.

let g = E in E'에서 expansive(E) = true가 되어 g가 다형타입이 아닌 단순 타입이 되게 됩� ...

안녕하세요,

다음 코드가 예시가 될 수 있을 것 같습니다.

let
rec f = fn x => fn y =>
y
val g =
(let rec z = fn k => f 1 in z 0
end)
in
...