FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
검색 결과 19 개 일치합니다
게시판 인덱스
글쓴이
메시지
주제:
8-1 테스트 케이스 공유
박성원
답변:
1
조회:
2226
게시판:
4190.310 Programming Languages (Fall 2015)
올려짐: 2015년12월15일 20:50 주제:
8-1 테스트 케이스 공유
let rec f = fn x =>(
f (malloc true);
if x = 0 then
x
else
x + f (x-1)
)
in
f 1
end
(* type error *)
신동진님이 만들어주 ...
주제:
과제 8-1번 테스트케이스 몇 가지
박성원
답변:
2
조회:
2497
게시판:
4190.310 Programming Languages (Fall 2015)
올려짐: 2015년12월15일 1:04 주제:
과제 8-1번 테스트케이스 몇 가지
구현하기에 따라서 어려울 수도
let rec f = fn x=>
let rec g = fn x =>
f x
in
g x
end
in
f;
(f true) + 1;
(f 1) and false
end
bool
let v ...
주제:
8-1 Loc의 eq에 대한 질문
박성원
답변:
3
조회:
2958
게시판:
4190.310 Programming Languages (Fall 2015)
올려짐: 2015년12월14일 5:27 주제:
8-1 Loc의 eq에 대한 질문
작년 게시판을 찾아보니
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4754
이런 글이 나왔는데,
올해도 이렇게 해주시지 않을까요?? 허허...
주제:
과제 제출 페이지에 접근할 수 없습니다
박성원
답변:
2
조회:
2329
게시판:
4190.310 Programming Languages (Fall 2015)
올려짐: 2015년12월7일 17:34 주제:
과제 제출 페이지에 접근할 수 없습니다
헉 지금은 잘 되네요
잘 들어가집니다.
주제:
과제 제출 페이지에 접근할 수 없습니다
박성원
답변:
2
조회:
2329
게시판:
4190.310 Programming Languages (Fall 2015)
올려짐: 2015년12월7일 16:00 주제:
과제 제출 페이지에 접근할 수 없습니다
http://ropas.snu.ac.kr/~ta/4190.310/15/submit/index.pl
지금 들어가면 HTTP 500 이 뜨네요...
주제:
과제 8-2 질문입니다
박성원
답변:
1
조회:
2182
게시판:
4190.310 Programming Languages (Fall 2015)
올려짐: 2015년12월7일 15:54 주제:
과제 8-2 질문입니다
안녕하세요.
과제 설명에 쓰인 표현들이 살짝 애매한 감이 있어서
정확히 무엇을 제출해야 하는지 가 명확하지 않아 질문드립니다.
이 숙제는 그 ...
주제:
과제 7-1번 질문입니다
박성원
답변:
6
조회:
3584
게시판:
4190.310 Programming Languages (Fall 2015)
올려짐: 2015년11월25일 23:41 주제:
과제 7-1번 질문입니다
아하..
제가 handle 식의 의미 해석을 완전 잘못 하고 있었어요
죄송합니다 ㅠㅠ
주제:
과제 7-1번 질문입니다
박성원
답변:
6
조회:
3584
게시판:
4190.310 Programming Languages (Fall 2015)
올려짐: 2015년11월25일 22:08 주제:
과제 7-1번 질문입니다
현재의 예외상황 처리식을 실행 순으로 감싸고 있는 바로 이전의 예외상황 처리식으로 다시 껑충 점프해서 위의 과정을 반복한다
에 따르면
두번째 r ...
주제:
과제 7-1번 질문입니다
박성원
답변:
6
조회:
3584
게시판:
4190.310 Programming Languages (Fall 2015)
올려짐: 2015년11월25일 19:30 주제:
과제 7-1번 질문입니다
(
raise 3
)
handle 3 (
raise 3
)
이런 프로그램은 무한루프를 도는게 맞나요?
만약 무한루프를 도는 것이 맞다면, 이런 프로그램도 입 ...
주제:
숙제 4 (보물섬) Test Case 맞춰봐요
박성원
답변:
9
조회:
2771
게시판:
4190.310 Programming Languages (Fall 2015)
올려짐: 2015년10월25일 1:36 주제:
숙제 4 (보물섬) Test Case 맞춰봐요
이제보니 조교님 테스트케이스 코드와 똑같은 구조로 되어있어서
그냥 복붙만 하면 되는 것이었군요.
죄송합니다.ㅠㅠ
주제:
숙제4 2번 코드 마지막에 in 2015 넣어야 하나요?
박성원
답변:
3
조회:
1454
게시판:
4190.310 Programming Languages (Fall 2015)
올려짐: 2015년10월25일 0:18 주제:
숙제4 2번 코드 마지막에 in 2015 넣어야 하나요?
ocaml 소스코드를 작성할 때는 ;;를 쓰지 않아도 정의간에 구분이 잘 됩니다
(인터프리터랑 동작이 다릅니다)
그래서 쓰지 말라고 하신 것 같습니다...
주제:
숙제 4 (보물섬) Test Case 맞춰봐요
박성원
답변:
9
조회:
2771
게시판:
4190.310 Programming Languages (Fall 2015)
올려짐: 2015년10월25일 0:15 주제:
숙제 4 (보물섬) Test Case 맞춰봐요
안녕하세요.
수강생끼리 답을 비교해보기 편하도록 제안을 하나 드려봅니다.
조교님이 올려주신 테스트케이스 코드에
let check_answer m ans =
let re ...
주제:
4-2, guide와 2번예시 질문드립니다.
박성원
답변:
4
조회:
1847
게시판:
4190.310 Programming Languages (Fall 2015)
올려짐: 2015년10월19일 16:25 주제:
4-2, guide와 2번예시 질문드립니다.
결국에는 각 보물상자를 열 수 있는 열쇠들만 필요하기 때문입니다.
지도의 모양이 암시하는 열쇠모양은 그냥 지도의 모양이 암시하는 열쇠모양 입 ...
주제:
숙제 3-1 질문입니다.
박성원
답변:
2
조회:
1428
게시판:
4190.310 Programming Languages (Fall 2015)
올려짐: 2015년10월10일 19:14 주제:
숙제 3-1 질문입니다.
이건 그냥 단순한 오타? 같습니다 아마도.. (아니면 조교님이 귀찮으셨거나)
KMINUS 모듈 구현부 위쪽에 보면
type env = (id, env_entry) Env.t
and e ...
주제:
숙제 3 테스트케이스
박성원
답변:
2
조회:
2088
게시판:
4190.310 Programming Languages (Fall 2015)
올려짐: 2015년10월9일 17:05 주제:
숙제 3 테스트케이스
과제 3-3 의 test case 3,4 에 오타가 있습니다.
makeTree 에 이상한 쉼표가 하나 끼어있어요.
페이지
1
중
2
페이지로
1
,
2
다음
시간대: GMT + 9 시간(한국)
건너뛰기:
게시판 선택
4190.310 Programming Languages
----------------
4190.310 Programming Languages (Spring 2025)
4190.310 Programming Languages (Spring 2024)
4190.310 Programming Languages (Spring 2023)
4190.310 Programming Languages (Spring 2022)
4190.310 Programming Languages (Spring 2021)
4190.310 Programming Languages (Fall 2019)
4190.310 Programming Languages (Fall 2018)
4190.310 Programming Languages (Fall 2017)
4190.310 Programming Languages (Fall 2015)
4190.310 Programming Languages (Fall 2014)
4190.310 Programming Languages (Fall 2013)
4190.310 Programming Languages (Fall 2012)
4190.310 Programming Languages (Fall 2011)
4190.310 Programming Languages (Spring 2011)
4190.310 Programming Languages (Fall 2010)
4190.310 Programming Languages (Fall 2009)
4190.310 Programming Languages (Fall 2008)
4190.310 Programming Languages (Fall 2007)
4190.310 Programming Languages (Fall 2006)
4190.310 Programming Languages (Fall 2005)
4541.664A Program Analysis
----------------
4541.664A Program Analysis (Spring 2025)
4541.664A Program Analysis (Fall 2023)
4541.664A Program Analysis (Spring 2017)
4541.664A Program Analysis (Spring 2016)
4541.664A Program Analysis (Spring 2015)
4541.664A Program Analysis (Spring 2014)
4541.664A Program Analysis (Spring 2013)
4541.664A Program Analysis (Spring 2011)
4541.664A Program Analysis (Spring 2010)
4541.664A Program Analysis (Spring 2009)
4541.664A Program Analysis (Fall 2008)
4541.664A Program Analysis (Spring 2007)
4541.664A Program Analysis (Spring 2006)
010.142 Basics in Computing
----------------
010.142 Basics in Computing (Spring 2006)
400.002 Engineering Mathematics II
----------------
400.002 Engineering Mathematics II (Fall 2005)
4190.210 Principles of Programming
----------------
4190.210 Principles of Programming (Fall 2014)
4190.210 Principles of Programming (Fall 2013)
4190.210 Principles of Programming (Fall 2012)
4190.210 Principles of Programming (Fall 2011)
4190.210 Principles of Programming (Fall 2010)
4190.210 Principles of Programming (Fall 2009)
4190.210 Principles of Programming (Fall 2008)
4190.210 Principles of Programming (Spring 2007)
4190.210 Principles of Programming (Spring 2006)
027.013 Computational Civilization
----------------
046.016 Computational Civilization (Spring 2018)
046.016 Computational Civilization (Spring 2017)
046.016 Computational Civilization (Spring 2016)
046.016 Computational Civilization (Fall 2015)
046.016 Computational Civilization (Spring 2015)
046.016 Computational Civilization (Spring 2014)
027.013 Computational Civilization (Spring 2013)
027.013 Computational Civilization (Fall 2012)
L444.200 Computational Thinking and Practice
----------------
L444.200 Computational Thinking and Practice (Fall 2017)
Powered by
phpBB
2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay