게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

검색 결과 211 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 최종 성적 및 학점이 공개되었습니다.
최재승

답변: 0
조회: 2069

올리기게시판: 4541.664A Program Analysis (Spring 2016)   올려짐: 2016년6월20일 11:05   주제: 최종 성적 및 학점이 공개되었습니다.
안녕하세요, 프로그램 분석 조교입니다.

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

http://ropas.snu.ac.kr/~ta/4541.664A ...
  주제: 퀴즈 및 프로젝트 점수 총합 (6/19까지 확인 바랍니다)
최재승

답변: 0
조회: 890

올리기게시판: 4541.664A Program Analysis (Spring 2016)   올려짐: 2016년6월17일 18:15   주제: 퀴즈 및 프로젝트 점수 총합 (6/19까지 확인 바랍니다)
안녕하세요, 프로그램 분석 조교입니다.

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

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

이 ...
  주제: 프로젝트 채점 결과 (클레임 : ~6/19)
최재승

답변: 0
조회: 923

올리기게시판: 4541.664A Program Analysis (Spring 2016)   올려짐: 2016년6월17일 18:08   주제: 프로젝트 채점 결과 (클레임 : ~6/19)
안녕하세요, 프로그램 분석 조교입니다.

프로젝트의 채점이 완료되었습니다. 클레임은 일요일 자정까지 받도록 하겠습니다. jschoi@ropas.snu.ac.kr 로 메 ...
  주제: eo_test5.k 질문입니다.
최재승

답변: 1
조회: 1011

올리기게시판: 4541.664A Program Analysis (Spring 2016)   올려짐: 2016년6월13일 10:16   주제: eo_test5.k 질문입니다.
안녕하세요,

말씀하신대로 입력이 0이 들어오면 에러가 발생할 수 있습니다. Quiz3에서 분석기는 잘 도는 프로그램만 입력으로 받는다고 가정한 것을 ...
  주제: Davinci의 Don't Know 에 대해 질문이 있습니다.
최재승

답변: 2
조회: 1130

올리기게시판: 4541.664A Program Analysis (Spring 2016)   올려짐: 2016년6월12일 14:56   주제: Davinci의 Don't Know 에 대해 질문이 있습니다.
안녕하세요,

제가 생각한 don't know는 "프로그램 실행 상태에 따라, davinci code를 만족할수도 있고, 아닐수도 있음" 이라고 생각했는데요,
다빈 ...
  주제: 프로젝트 공지 및 뼈대코드 (6/13 마지막 업데이트)
최재승

답변: 4
조회: 2058

올리기게시판: 4541.664A Program Analysis (Spring 2016)   올려짐: 2016년6월9일 18:26   주제: 프로젝트 공지 및 뼈대코드 (6/13 마지막 업데이트)
네, 조교팀도 해당 문제를 인지하고 뼈대코드를 수정하였습니다. (모듈 타입에 의해 elt 타입의 정의가 가려져 있어서 발생한 문제입니다.)
업데이트 ...
  주제: 프로젝트 공지 및 뼈대코드 (6/13 마지막 업데이트)
최재승

답변: 4
조회: 2058

올리기게시판: 4541.664A Program Analysis (Spring 2016)   올려짐: 2016년6월7일 11:32   주제: 프로젝트 공지 및 뼈대코드 (6/13 마지막 업데이트)
1.
opam 1.1.x 버전에서도 opam init은 작동합니다만, 제가 직접 세팅해 보니, opam init에서 "Too many open files" 에러로 인해 Failure가 발생하네요. (새로 설 ...
  주제: 프로젝트 테스트케이스
최재승

답변: 0
조회: 880

올리기게시판: 4541.664A Program Analysis (Spring 2016)   올려짐: 2016년6월5일 16:31   주제: 프로젝트 테스트케이스
프로젝트의 테스트케이스들을 제공합니다. 채점에 사용될 테스트 케이스도 제공해 드리는 예제들의 수준을 크게 벗어나지 않을 것입니다.

- http://ro ...
  주제: OCaml 튜토리얼 자료
최재승

답변: 0
조회: 993

올리기게시판: 4541.664A Program Analysis (Spring 2016)   올려짐: 2016년6월3일 23:16   주제: OCaml 튜토리얼 자료
안녕하세요, 프로그램 분석 조교입니다.

http://ropas.snu.ac.kr/~ta/4190.310/15/ocaml_tutorial15f.pdf 에서 OCaml 기초를 다루는 튜토리얼 자료를 받아보실 수 있습니 ...
  주제: 프로젝트 공지 및 뼈대코드 (6/13 마지막 업데이트)
최재승

답변: 4
조회: 2058

올리기게시판: 4541.664A Program Analysis (Spring 2016)   올려짐: 2016년6월3일 23:05   주제: 프로젝트 공지 및 뼈대코드 (6/13 마지막 업데이트)
안녕하세요, 프로그램 분석 조교입니다.

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

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

프로젝트 ...
  주제: 3/17 목요일 수업 휴강입니다
최재승

답변: 0
조회: 965

올리기게시판: 4541.664A Program Analysis (Spring 2016)   올려짐: 2016년3월16일 16:46   주제: 3/17 목요일 수업 휴강입니다
안녕하세요,

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

주변의 다른 수강생들에게도 널리 전해주시기 바랍니다 ...
  주제: 프로그램 분석 수업 게시판입니다 (가입 아이디는 실명으로 해주세요)
최재승

답변: 0
조회: 796

올리기게시판: 4541.664A Program Analysis (Spring 2016)   올려짐: 2016년3월4일 13:09   주제: 프로그램 분석 수업 게시판입니다 (가입 아이디는 실명으로 해주세요)
숙제와 강의 내용 관련 질문과 답변이 오가는 곳입니다.
흥미있는 질문과 토론이 오가길 기대합니다.

- 가입 시 아이디는 실명으로 해주시기 바랍 ...
  주제: 최종 성적 및 학점을 공개합니다
최재승

답변: 1
조회: 5245

올리기게시판: 4190.310 Programming Languages (Fall 2015)   올려짐: 2015년12월30일 16:27   주제: 최종 성적 및 학점을 공개합니다
안녕하세요, 프로그래밍 언어 조교입니다.

챌린지 채점 결과가 반영된 최종 성적 및 학점을 공개합니다. (챌린지 답안은 교수님께서 직접 채점하셨 ...
  주제: 클레임이 반영된 전체 과제 점수 확인 바랍니다
최재승

답변: 0
조회: 1838

올리기게시판: 4190.310 Programming Languages (Fall 2015)   올려짐: 2015년12월23일 16:17   주제: 클레임이 반영된 전체 과제 점수 확인 바랍니다
안녕하세요, 프로그래밍 언어 조교입니다.

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

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

혹시 클레 ...
  주제: 챌린지 1번 질문
최재승

답변: 1
조회: 1317

올리기게시판: 4190.310 Programming Languages (Fall 2015)   올려짐: 2015년12월22일 23:10   주제: 챌린지 1번 질문
안녕하세요,

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

채점은 교수 ...
 
페이지 115 페이지로 1, 2, 3 ... 13, 14, 15  다음
시간대: GMT + 9 시간(한국)
건너뛰기:  


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay