게시판 인덱스

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

검색 결과 107 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 숙제7 채점 결과(1218추가 : 클레임기간 변경)
배요한

답변: 0
조회: 1073

올리기게시판: 4190.310 Programming Languages (Fall 2018)   올려짐: 2018년12월18일 17:00   주제: 숙제7 채점 결과(1218추가 : 클레임기간 변경)
안녕하세요, 수강생 여러분.

(1218 추가)
성적처리 마감기한을 감안하여 클레임 기간을 이번주까지로 변경하였습니다. 이번주 내로 클레임 모두 보 ...
  주제: 과제 7-2 질문 (이전 코드 활용 관련)
배요한

답변: 1
조회: 939

올리기게시판: 4190.310 Programming Languages (Fall 2018)   올려짐: 2018년12월14일 9:00   주제: 과제 7-2 질문 (이전 코드 활용 관련)
안녕하세요, 김무환 학생.

과제 7-2에서, 과제 6의 CPS 문제의 뼈대코드와 제가 제출했던 코드 일부를 변형해서 사용해도 될까요?

네, 사용하셔도 됩 ...
  주제: 과제 7-1번 질문입니다.
배요한

답변: 1
조회: 883

올리기게시판: 4190.310 Programming Languages (Fall 2018)   올려짐: 2018년12월14일 8:59   주제: 과제 7-1번 질문입니다.
안녕하세요,

실제 실행 과정을 나열하자면 다음과 같이 됩니다.
(fn x => x x) (fn x => 2) --> ((fn x => 2) (fn x => 2) ) --> ((2))가 되기 때문에 ...
  주제: 과제 2번 3번 딜레이 관련 질문입니다.
배요한

답변: 1
조회: 945

올리기게시판: 4190.310 Programming Languages (Fall 2018)   올려짐: 2018년12월13일 12:12   주제: 과제 2번 3번 딜레이 관련 질문입니다.
안녕하세요, 박제상 학생.

안녕하세요 조교님, 과제 2번과 3번에도 딜레이가 적용되나요? 감사합니다.

적용 가능합니다. 과제 3번을 제출할 경우, ...
  주제: 과제 7-1번 질문드립니다!
배요한

답변: 1
조회: 1022

올리기게시판: 4190.310 Programming Languages (Fall 2018)   올려짐: 2018년12월13일 12:11   주제: 과제 7-1번 질문드립니다!
안녕하세요, 김성재 학생.

한 가지 방법으로는 다음과 같습니다.
1) Poly_checker.typ에 WRITE 전용 타입을 따로 정의하여,
2) WRITE 타입과 어떤 타입 t을 가 ...
  주제: 7-1 Var 질문
배요한

답변: 1
조회: 764

올리기게시판: 4190.310 Programming Languages (Fall 2018)   올려짐: 2018년12월11일 18:30   주제: 7-1 Var 질문
안녕하세요, 유진선 학생.

1,2번 잘 이해하신게 맞습니다.
M(gamma, x, tau)는 알파들이 instantiate 되어 베타로 바뀌고 forall이 사라지게 되는 경우입니다. ...
  주제: 숙제 7-1 번 에러 질문입니다.
배요한

답변: 1
조회: 1031

올리기게시판: 4190.310 Programming Languages (Fall 2018)   올려짐: 2018년12월11일 16:17   주제: 숙제 7-1 번 에러 질문입니다.
안녕하세요, 박제상 학생.

해당 에러는 빈리스트에서 원소를 꺼낼 때 발생하는 ocaml 오류입니다. 다음 글을 참조해 주세요.
https://stackoverflow.com/questio ...
  주제: 7-2 테스트케이스 질문입니다.
배요한

답변: 1
조회: 905

올리기게시판: 4190.310 Programming Languages (Fall 2018)   올려짐: 2018년12월11일 11:38   주제: 7-2 테스트케이스 질문입니다.
안녕하세요, 이주상학생.

1. 이렇게 위아래 값이 같고
맞습니다.

2. 이렇게
정확히 이해하셨습니다.

3. 저는 7-2를 선택했고 코드를 구현했으므 ...
  주제: hw 7-2 질문
배요한

답변: 3
조회: 1550

올리기게시판: 4190.310 Programming Languages (Fall 2018)   올려짐: 2018년12월10일 10:58   주제: hw 7-2 질문
1.xexp.ml에 있는 value타입이나 eval 함수를 사용하시면 안됩니다. 또한 따로 직접 구현해서 사용하는 것도 안됩니다.

프로그램을 미리 실행해서 결과를 ...
  주제: 과제 7-1 질문드립니다
배요한

답변: 1
조회: 901

올리기게시판: 4190.310 Programming Languages (Fall 2018)   올려짐: 2018년12월10일 10:50   주제: 과제 7-1 질문드립니다
안녕하세요, 강태호 학생.

공지사항에서 말씀드렸던 듯이 뼈대코드를 자유롭게 수정하여 활용하셔도 됩니다.
다만, 주의하셔야 할 점이, 숙제 6에서 ...
  주제: 숙제 7 공지사항 및 보충스펙
배요한

답변: 0
조회: 1802

올리기게시판: 4190.310 Programming Languages (Fall 2018)   올려짐: 2018년11월30일 12:02   주제: 숙제 7 공지사항 및 보충스펙
안녕하세요 수강생 여러분.

숙제 7이 나왔습니다.

내용 : http://ropas.snu.ac.kr/~kwang/4190.310/18/hw7.pdf
제출 : http://ropas.snu.ac.kr/~ta/4190.310/18/submit/index.pl
...
  주제: 숙제 5 복제 판정 결과를 알려드립니다
배요한

답변: 0
조회: 1346

올리기게시판: 4190.310 Programming Languages (Fall 2018)   올려짐: 2018년11월29일 14:48   주제: 숙제 5 복제 판정 결과를 알려드립니다
안녕하세요, 수강생 여러분.

숙제 5에 대해 클론 체커를 실행한 결과를 알려드립니다. 유사도 92% 이상으로 잡고 직접 눈으로 다시 확인하였습니다. ...
  주제: 숙제5 채점 결과 (11/29 추가)
배요한

답변: 0
조회: 1461

올리기게시판: 4190.310 Programming Languages (Fall 2018)   올려짐: 2018년11월22일 11:43   주제: 숙제5 채점 결과 (11/29 추가)
안녕하세요, 수강생 여러분.

숙제 5 채점이 완료되었습니다. 이의제기는 다음주 목요일(11/29)까지 받습니다.
숙제 5에 대한 이의제기는 배요한 조교 ...
  주제: 5-2 skeleton code의 수정 가능 여부
배요한

답변: 7
조회: 1772

올리기게시판: 4190.310 Programming Languages (Fall 2018)   올려짐: 2018년11월17일 0:41   주제: 5-2 skeleton code의 수정 가능 여부
음...reachability에 대해 헷갈리시는 거 같아서 설명해 드립니다.

gc에는 두 가지 방법이 있을 수 있습니다.
1)현재 메모리 상태에서 도달할 수 있는 모 ...
  주제: 5-2 for, while 문 질문
배요한

답변: 1
조회: 859

올리기게시판: 4190.310 Programming Languages (Fall 2018)   올려짐: 2018년11월16일 23:21   주제: 5-2 for, while 문 질문
안녕하세요, 송호준 학생.

5-1에 대한 질문인 것 같습니다만,

조교가 구현한 코드에서는 3, 2 를 출력시킵니다. 하지만 테스트시, 위와 같이 헷갈리 ...
 
페이지 18 페이지로 1, 2, 3, 4, 5, 6, 7, 8  다음
시간대: GMT + 9 시간(한국)
건너뛰기:  


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