FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
검색 결과 34 개 일치합니다
게시판 인덱스
글쓴이
메시지
주제:
숙제 5번 질문입니다~
이원찬
답변:
1
조회:
2346
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년5월18일 21:55 주제:
숙제 5번 질문입니다~
fn x => x 의 경우는 타입 에러를 내야 합니다.
숙제 5의 단순 타입 M 언어에서 fn x => x는 프로그램이 아니기 때문입니다.
M 언어 정의 문서의 1.1절을 ...
주제:
숙제3 채점결과
이원찬
답변:
2
조회:
2970
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년5월17일 15:03 주제:
숙제3 채점결과
확인해보니 곽치영 학생의 숙제 파일이 없습니다.
숙제를 잘못 제출한 것 같은데 wclee@ropas.snu.ac.kr로 다시 보내주시기 바랍니다.
주제:
제출 페이지가 열리지 않습니다.
이원찬
답변:
2
조회:
2685
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년5월17일 0:57 주제:
제출 페이지가 열리지 않습니다.
저는 잘 들어가집니다만?
다시 한 번 확인해보시겠습니까?
주제:
숙제3 채점결과
이원찬
답변:
2
조회:
2970
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년5월16일 21:09 주제:
숙제3 채점결과
안녕하세요.
이원찬 조교입니다.
숙제3 채점이 완료되었습니다.
결과는 아래와 같습니다:
http://ropas.snu.ac.kr/~ta/4190.310/11s/score/hw3_score.txt
개별 숙제에 ...
주제:
재귀함수의 인자가 크면 오류뜹니다
이원찬
답변:
1
조회:
2427
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년5월2일 3:20 주제:
재귀함수의 인자가 크면 오류뜹니다
일단 결과가 깨져있다는 말이 무슨 뜻인지 모르겠습니다.
예외가 발생한다는 말인가요?
그리고 조교의 모범답안은 인자가 20인 경우에 대해서도 오류 ...
주제:
4-1 질문입니다
이원찬
답변:
3
조회:
2836
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년5월2일 3:12 주제:
4-1 질문입니다
1. normal order reduction의 정의에 따르면 B 안의 레덱스도 찾아 reduce 합니다.
말 그대로 normal form, redex가 없는 form을 만다는 계산 규칙입니다.
함수가 ...
주제:
항상 그랬지만, 시간이 느린 것은 상관없죠..?
이원찬
답변:
1
조회:
2397
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년5월2일 3:06 주제:
항상 그랬지만, 시간이 느린 것은 상관없죠..?
상관없습니다.
속도는 문제의 조건이 아니었기 때문에 반영하지 않겠습니다.
단, 저희가 생각했을 때 충분한 시간을 기다렸음에도 결과가 나오지 않 ...
주제:
함수 구현 관련해서 질문있습니다.
이원찬
답변:
1
조회:
2548
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년4월29일 16:42 주제:
함수 구현 관련해서 질문있습니다.
eager evaluation할 필요 없이 동일한 람다 계산기를 사용하시면 됩니다.
그리고 수업시간에 배운 Y combinator를 써서 변환하시기 바랍니다.
eager evaluation(call ...
주제:
숙제4 스켈레톤 관련
이원찬
답변:
1
조회:
2380
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년4월26일 15:27 주제:
숙제4 스켈레톤 관련
안녕하세요.
이원찬 조교입니다.
기존에 배포한 스켈레톤의 Makefile에 오류가 있어서
lambda 모듈이나 pp 모듈의 출력 함수를 사용하면
make로 컴파일이 ...
주제:
숙제 3-2 모범 답안입니다
이원찬
답변:
0
조회:
2189
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년4월20일 16:55 주제:
숙제 3-2 모범 답안입니다
숙제 3-2 모범 답안도 올려드립니다.
http://ropas.snu.ac.kr/~ta/4190.310/11s/sol/hw3/binary.k-
주제:
내일 숙제3 풀이가 있겠습니다.
이원찬
답변:
2
조회:
3045
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년4월18일 14:13 주제:
내일 숙제3 풀이가 있겠습니다.
전산원에서 파일을 또 막나보군요...
아래의 URL로 시도해보시기 바랍니다:
http://ropas.snu.ac.kr/~ta/4190.310/11s/sol/hw3/hw3_ta.tar.gz_
파일을 받고나신 후에 ...
주제:
내일 숙제3 풀이가 있겠습니다.
이원찬
답변:
2
조회:
3045
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년4월18일 11:35 주제:
내일 숙제3 풀이가 있겠습니다.
안녕하세요. 이원찬 조교입니다.
예상보다 숙제를 내지 않으신 분이 많은 관계로
내일은 숙제3을 풀이하는 시간을 갖도록 하겠습니다.
지금 상태로 ...
주제:
숙제#2 제출 페이지가 #1랑 똑같나요?
이원찬
답변:
1
조회:
1167
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년3월23일 3:59 주제:
숙제#2 제출 페이지가 #1랑 똑같나요?
제출 페이지 열렸습니다.
확인해보시기 바랍니다.
주제:
HW#2의 3번 문제 질문입니다
이원찬
답변:
1
조회:
1272
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년3월23일 1:21 주제:
HW#2의 3번 문제 질문입니다
임의의 tree가 들어올 수 있다고 가정하시기 바랍니다.
그리고 제생각에는 balanced tree를 가정한다고 코드가 특별히 더 간단해지지는 않을 것 같습니다.
주제:
HW2 Excercise 4 질문이 있습니다.
이원찬
답변:
2
조회:
1525
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년3월23일 1:19 주제:
HW2 Excercise 4 질문이 있습니다.
질문하신
SUM[TIMES[VAR a;VAR x;POWER(x,2)];TIMES[VAR b;VAR x;POWER(x,1)];VAR c]
은
a * x * x^2 + b *x * x^1 + c를 의미합니다.
a * x ^ 2 + b * ...
페이지
1
중
3
페이지로
1
,
2
,
3
다음
시간대: 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