검색 결과 103 개 일치합니다

안녕하세요, 조교 안중원입니다.

위 답변에 보충 설명 드립니다.

챌린지 답안을 쓸 때에는 notation을 정확히 정의하고 알고리즘을 설명하면 문제가 ...

안녕하세요, 조교 안중원입니다.

말씀하신 부분들을 작성하여 제출하시면 됩니다.

감사합니다.

안녕하세요, 조교 안중원입니다.

챌린지에 관해서는 PDF에 직접 명시된 조건 외에 엄격한 요구사항을 강제하고 있지 않습니다.
아주 약간의 힌트를 � ...

안녕하세요, 조교 안중원입니다.

K- 언어에서 다루는 함수를 기준으로 풀어주시면 됩니다.

감사합니다.

안녕하세요, 조교 안중원입니다.

1. 실행규칙과 정의 등은 수업 내용을 기준으로 생각하시면 됩니다. 모호함이 있다고 생각될 경우 실행에 대한 가정 ...

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

현재까지의 숙제 점수 및 출결 점수를 합한 최종 점수 및 학점을 공지드립니다.
확인해 보시고 문제가 있으시면 조교 � ...

안녕하세요, 조교 안중원입니다.

말씀하신 것과 같이 수업에서 다룬 언어의 기능이 다양하기 때문에, 이 중에서 증명의 대상으로 다루는 언어 기능� ...

안녕하세요, 조교 안중원입니다.

올해에는 출결 점수를 반영하여 챌린지 전 점수를 공지를 드릴 예정입니다.

감사합니다.

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

숙제 5 채점이 완료되었습니다. 점수 누락 외에 클레임은 받지 않습니다.
점수 기준은 A 50점, B 47점, B- 42점입니다.

채� ...

안녕하세요,

해당 오류에 대해서는 수정하여 뼈대코드를 다시 올리기로 결정하였습니다.
발견된 오류들에 대해서는 안전한 타입검사가 이루어지도 ...

안녕하세요, 프로그래밍 언어 조교 안중원입니다.

expansive의 판단은 주어진 식이 메모리를 할당할 가능성이 있냐 없냐의 여부를 기준으로 구현하시� ...

안녕하세요, 프로그래밍 언어 조교 안중원입니다.

우선 오류에 대해 제보해주신 점 감사합니다.
다만 simple_type_checker.ml에 오류가 있더라도 숙제 수� ...

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

숙제 5 제출물을 재검토하는 과정에서 점수 조정이 필요한 사항이 확인되어 채점을 수정하고 있습니다.

기존에 게시� ...

안녕하세요, 프로그래밍 언어 조교 안중원입니다.

숙제8 제출란을 열었으니 확인 부탁드립니다.
감사합니다.

안중원 드림

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

숙제 7 채점이 완료되었습니다. 이의 제기는 다음 주 화요일(6/9)까지 받습니다.

* 우선, 과제 및 채점 주의사항 공지글 ( ...