FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
검색 결과 24 개 일치합니다
게시판 인덱스
글쓴이
메시지
주제:
2차 스펙 시그니쳐는 안 올라오나요?
이상호
답변:
2
조회:
3836
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년12월15일 21:04 주제:
2차 스펙 시그니쳐는 안 올라오나요?
아 그렇군요. 그냥 편의를 의해서 사용하는 거군요. 공지사항을 제대로 보지도 않고 질문올린 것 같네요.. ㅜㅜ 죄송합니다.
주제:
2차 스펙 시그니쳐는 안 올라오나요?
이상호
답변:
2
조회:
3836
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년12월15일 19:22 주제:
2차 스펙 시그니쳐는 안 올라오나요?
inception.mli를 보니까 common.ml에 대한 시그니쳐가 없어서 어떻게 짜야할지 잘 모르겠네요.
빨리 올려주셨으면 합니다.
주제:
숙제 8-3번에서 StringQ, StringQQ를 만들어서 제출하나요?
이상호
답변:
1
조회:
3171
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년12월11일 2:12 주제:
숙제 8-3번에서 StringQ, StringQQ를 만들어서 제출하나요?
제목 그대롭니다. ^^
주제:
8-4번 Rotate 모듈 질문 있습니다.
이상호
답변:
2
조회:
1809
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년12월10일 13:19 주제:
8-4번 Rotate 모듈 질문 있습니다.
감사합니다 ㅋ
주제:
8-4번 Rotate 모듈 질문 있습니다.
이상호
답변:
2
조회:
1809
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년12월10일 12:28 주제:
8-4번 Rotate 모듈 질문 있습니다.
Rotate 모듈의 box는 입력받은 모듈의 box 그대로를 가져오는 것인가요?
예를 들어
module A = Rotate (Box)이면
A.box = Box. box인것인가요?..
주제:
숙제 8-4 질문 있습니다.
이상호
답변:
3
조회:
2085
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년12월3일 17:07 주제:
숙제 8-4 질문 있습니다.
val pp: box -> int * int -> unit (* pretty printer *)
에서 int * int pair가 의미하는 것이 무엇인가요? x, y 순서쌍인가요?(그럼 x, y가 뭐가 되는지...)
그리고 p ...
주제:
7-1 run_tm 에서도 tape를 출력해줘야 하나요?
이상호
답변:
2
조회:
2054
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년11월23일 20:03 주제:
7-1 run_tm 에서도 tape를 출력해줘야 하나요?
react는 어떻게 되나요...
5번 숙제에서는 타입이 react: 용액 -> void 였는데
이번에는 react: liquid -> liquid라서 어떻게 해야할지 잘 모르겠네요.
출 ...
주제:
[7-1] tape과 tm type은 지정되어 있지 않은데
이상호
답변:
1
조회:
1603
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년11월20일 20:27 주제:
[7-1] tape과 tm type은 지정되어 있지 않은데
아마도 그런 것 같습니다.
주제:
[7-1] error 처리, rule table에 찾는 rule이 없는 등
이상호
답변:
1
조회:
1674
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년11월20일 20:27 주제:
[7-1] error 처리, rule table에 찾는 rule이 없는 등
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=3019
여기서 교수님이 하신 말씀에 따르면 예외 처리에 대해서는 각자가 알아서 해도 된다는 것 같습니다.
주제:
숙제 7번 질문입니다.
이상호
답변:
5
조회:
3407
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년11월19일 22:05 주제:
숙제 7번 질문입니다.
아 그렇군요.
고맙습니다 교수님.
주제:
숙제 7번 질문입니다.
이상호
답변:
5
조회:
3407
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년11월16일 22:00 주제:
숙제 7번 질문입니다.
한 가지 더 질문인데요
1번에서 read_type이라고 나와 있는데 read_tape이 맞는 것인가요?
그리고 match_rule 함수에서 ruletable에서 조건에 맞는 rule을 찾지 못 ...
주제:
숙제 7번 질문입니다.
이상호
답변:
5
조회:
3407
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년11월16일 20:46 주제:
숙제 7번 질문입니다.
module 내에서 정의한 타입을 그냥 사용하니 unbound constructor라고 뜨네요.
module 내에서 정의한 타입을 쓰려면 일일히 let으로 다 정의해 주어야 하나요?
...
주제:
6-3번 Nil 질문입니다.
이상호
답변:
1
조회:
1535
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년11월9일 11:53 주제:
6-3번 Nil 질문입니다.
crazy2val의 인자로 Nil이 들어오는 경우는 0을 리턴하면 되나요?
주제:
숙제 6-2 질문입니다
이상호
답변:
1
조회:
1581
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년11월7일 15:22 주제:
숙제 6-2 질문입니다
계산기 문제에서 시그마는 int, 적분은 real 값이 들어온다고 생각하면 되나요?
그리고 미지수 X는 SIGMA와 INTEGRAL의 식에만 나온다고 가정해도 되나요?
주제:
5-2번 init-tape 질문입니다.
이상호
답변:
4
조회:
2371
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년11월2일 19:41 주제:
5-2번 init-tape 질문입니다.
음 그렇담 make-tm의 인자로 들어오는 final state list가 null인 경우도 에러처리 하여야 하는건가요? ㅜㅜ
페이지
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