검색 결과 211 개 일치합니다

안녕하세요, 프로그램 분석 조교입니다.

최종 성적 및 학점을 공개합니다. (학점은 교수님께서 직접 결정하셨습니다.)

http://ropas.snu.ac.kr/~ta/4541.664A ...

안녕하세요, 프로그램 분석 조교입니다.

지금까지의 퀴즈와 프로젝트 점수 합산을 공개합니다.

http://ropas.snu.ac.kr/~ta/4541.664A/16/result/total.htm

이� ...

안녕하세요, 프로그램 분석 조교입니다.

프로젝트의 채점이 완료되었습니다. 클레임은 일요일 자정까지 받도록 하겠습니다. jschoi@ropas.snu.ac.kr 로 메� ...

안녕하세요,

말씀하신대로 입력이 0이 들어오면 에러가 발생할 수 있습니다. Quiz3에서 분석기는 잘 도는 프로그램만 입력으로 받는다고 가정한 것을 ...

안녕하세요,

제가 생각한 don't know는 "프로그램 실행 상태에 따라, davinci code를 만족할수도 있고, 아닐수도 있음" 이라고 생각했는데요,
다빈 ...

네, 조교팀도 해당 문제를 인지하고 뼈대코드를 수정하였습니다. (모듈 타입에 의해 elt 타입의 정의가 가려져 있어서 발생한 문제입니다.)
업데이트� ...

1.
opam 1.1.x 버전에서도 opam init은 작동합니다만, 제가 직접 세팅해 보니, opam init에서 "Too many open files" 에러로 인해 Failure가 발생하네요. (새로 설 ...

프로젝트의 테스트케이스들을 제공합니다. 채점에 사용될 테스트 케이스도 제공해 드리는 예제들의 수준을 크게 벗어나지 않을 것입니다.

- http://ro ...

안녕하세요, 프로그램 분석 조교입니다.

http://ropas.snu.ac.kr/~ta/4190.310/15/ocaml_tutorial15f.pdf 에서 OCaml 기초를 다루는 튜토리얼 자료를 받아보실 수 있습니 ...

안녕하세요, 프로그램 분석 조교입니다.

프로젝트 뼈대코드를 공개합니다.

프로젝트 내용 : http://ropas.snu.ac.kr/~kwang/4541.664A/16/project.pdf

프로젝트 ...

안녕하세요,

이번주 목요일 (3/17) 수업은 교수님의 외부 회의 참석으로 인해 휴강합니다.

주변의 다른 수강생들에게도 널리 전해주시기 바랍니다 ...

숙제와 강의 내용 관련 질문과 답변이 오가는 곳입니다.
흥미있는 질문과 토론이 오가길 기대합니다.

- 가입 시 아이디는 실명으로 해주시기 바랍 ...

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

챌린지 채점 결과가 반영된 최종 성적 및 학점을 공개합니다. (챌린지 답안은 교수님께서 직접 채점하셨� ...

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

클레임이 반영된 전체 과제 점수를 공개합니다.

http://ropas.snu.ac.kr/~ta/4190.310/15/result/total.htm

혹시 클레 ...

안녕하세요,

수업 슬라이드 및 교재의 해당 부분을 살펴보니, weakening lemma에 대한 증명도 있어야 전체 증명이 완전해질 것 같습니다.

채점은 교수� ...