FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
검색 결과 11 개 일치합니다
게시판 인덱스
글쓴이
메시지
주제:
let-polymorphic type system에서..
김지훈
답변:
1
조회:
2468
게시판:
4190.310 Programming Languages (Fall 2006)
올려짐: 2006년12월16일 9:42 주제:
let-polymorphic type system에서..
교수님께서 let-polymorphic 에서 imperative feature를 추가하면서 실행중에 malloc을 하지 않도록 해야 한다..는 조건을 추가해야 한다고 하셨는데요
example 2 ...
주제:
[질문] EQ / LET에서요~
김지훈
답변:
3
조회:
2754
게시판:
4190.310 Programming Languages (Fall 2006)
올려짐: 2006년11월24일 19:07 주제:
[질문] EQ / LET에서요~
EQ
m.pdf 에는 n s b l 에 대해서만 정의되어 있는데요
pair와 closure에 대해서 equality operation이 들어오면
exception이 나게 해야 할까요??
LET
LET (REC (f, e1), e ...
주제:
1번 코드 작성시..
김지훈
답변:
4
조회:
1958
게시판:
4190.310 Programming Languages (Fall 2006)
올려짐: 2006년10월29일 23:11 주제:
1번 코드 작성시..
dissolveCbr: program -> program 이면..
모든 exp 앞에 K. 을 붙여 주어야 할까요???
현재는 structure K 안에 들어가 있는 상태로 간주하고 코딩했는데요..
( ...
주제:
휴강 관련 질문드립니다.
김지훈
답변:
2
조회:
1755
게시판:
4190.310 Programming Languages (Fall 2006)
올려짐: 2006년10월28일 12:04 주제:
휴강 관련 질문드립니다.
휴강 맞습니다^^
주제:
설탕녹이기에서..
김지훈
답변:
1
조회:
1635
게시판:
4190.310 Programming Languages (Fall 2006)
올려짐: 2006년10월27일 16:53 주제:
설탕녹이기에서..
주어진 뼈대 (k.n)을 보면 FOR / WHILE 도 없는데..
이것도 녹여야 하는 건가요???
주제:
테스트용 게임 over the rainbow
김지훈
답변:
8
조회:
3159
게시판:
4190.310 Programming Languages (Fall 2006)
올려짐: 2006년9월29일 17:41 주제:
테스트용 게임 over the rainbow
baseball.k-: 문법 오류
라고 뜨네요 ㅠ.ㅠ
근데 신기하게 copy & paste로 새로운 화일 만들어서 실행하면 잘 돌아가네요
(실행 환경은 우분투 리눅스 ...
주제:
제공된 테스트케이스에 대해 질문입니다.
김지훈
답변:
5
조회:
2456
게시판:
4190.310 Programming Languages (Fall 2006)
올려짐: 2006년9월28일 6:32 주제:
제공된 테스트케이스에 대해 질문입니다.
in 안의 body를 보시면 마지막에 (not (terminateGame <1)) 이 리턴되고 있습니다. 이것이 bool값이기 때문에 실행 가능해야 할 듯 합니다.
주제:
2-2관련 스펙이 바뀌면...
김지훈
답변:
1
조회:
1532
게시판:
4190.310 Programming Languages (Fall 2006)
올려짐: 2006년9월28일 6:28 주제:
2-2관련 스펙이 바뀌면...
네 맞습니다~
주제:
과제 2-2에 대한 몇가지 질문
김지훈
답변:
5
조회:
2357
게시판:
4190.310 Programming Languages (Fall 2006)
올려짐: 2006년9월28일 6:23 주제:
과제 2-2에 대한 몇가지 질문
IF 문의 경우에서도 첫 exp 자리에는 bool 값이 필요하기 때문에 SEQ(E1,E2) 의 경우 E2가 bool 이면 IF( SEQ(E1,E2), S1,S2 )의 형태로 그대로 실행을 할 것이고 E1에 ...
주제:
과제 2-2에 대한 몇가지 질문
김지훈
답변:
5
조회:
2357
게시판:
4190.310 Programming Languages (Fall 2006)
올려짐: 2006년9월28일 6:21 주제:
과제 2-2에 대한 몇가지 질문
4. 해당하는 자리에 필요한 값이 '최종적으로' 리턴 되면 문제없다고 봅니다.
이를테면, 밑에 다른분이 질문하신 것과 같이 성냥개비 게임의 경우, while ...
주제:
[질문] 리눅스 터미널 로케일 설정...
김지훈
답변:
1
조회:
1818
게시판:
4190.310 Programming Languages (Fall 2006)
올려짐: 2006년9월15일 22:17 주제:
[질문] 리눅스 터미널 로케일 설정...
유니코드로 하면 nml 실행시 한글이 안나와서
EUC-KR 로 숙제 코드 작성했는데 상관없겠지요??
(영문은 상관없는데 한글이 서로 호환이 안되고 막 깨지 ...
페이지
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