FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
검색 결과 5 개 일치합니다
게시판 인덱스
글쓴이
메시지
주제:
숙제 5에서 1번 문제의 배점이 가장 낮군요?;
조성문
답변:
3
조회:
3147
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년11월14일 21:43 주제:
Re: 숙제 5에서 1번 문제의 배점이 가장 낮군요?;
배점 이상해요 ㅠ
1번 하는데 1주일 걸렸는데 OTL 털썩
주제:
[HW4-3] 복잡한 구조의 설탕 테스트셋
조성문
답변:
6
조회:
9319
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년10월29일 11:27 주제:
Re: [HW4-3] 복잡한 구조의 설탕 테스트셋
let procedure addOne( n ) =
0
; n := n + 1
; n
in
let procedure fac( n ) =
let arg := n - 1 in
let return := 0 in
0
; if n = 0 then
...
주제:
Stage 1에서 QUOTE처리?
조성문
답변:
4
조회:
2515
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년10월27일 17:39 주제:
Stage 1에서 QUOTE처리?
let
x := `(`(3))
in
write eval(eval(x))
end
저렇게 들어오면, 에러처리를 해야하지 않을까요 ?
즉, stage1 에서 구현되지 ...
주제:
Stage 1에서 QUOTE처리?
조성문
답변:
4
조회:
2515
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년10월27일 13:59 주제:
Re: Stage 1에서 QUOTE처리?
LIFT, COMMA, EVAL에 대해서는
Stage 1에서의 Semantics가 정의되어 있는데
QUOTE에 관해서는 없는 것으로 보이네요.
stage 0 에서 stage 1로 올라갈 수 있는 ...
주제:
k- 정의, stage1 IF2 세번째 항
조성문
답변:
3
조회:
2429
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년10월26일 23:57 주제:
Re: k- 정의, stage1 IF2 세번째 항
stage1 IF2 세번째 항이
env,m2 ㅏ e3 -> e6,m3
가 되야할 것 같은데
네. 저도 보면서 이상하게 생각했는데요, e3이 빠진것 같습니다.
그 많은 식에서 하 ...
페이지
1
중
1
시간대: GMT + 9 시간(한국)
건너뛰기:
게시판 선택
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)
4190.310 Programming Languages
----------------
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 (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)
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