FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
검색 결과 167 개 일치합니다
게시판 인덱스
글쓴이
메시지
주제:
챌린지 반영 최종 성적
정영범
답변:
1
조회:
5872
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년6월21일 16:21 주제:
챌린지 반영 최종 성적
모두들 한 학기 동안 수고 많으셨습니다.
성적은 여기에 있습니다.
http://ropas.snu.ac.kr/~dreameye/PL/score.pdf
챌린지에 +0으로 기록된 분들은 제출했으나 ...
주제:
챌린지 제출은 어떻게 하나요
정영범
답변:
1
조회:
2340
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년6월17일 15:22 주제:
챌린지 제출은 어떻게 하나요
저한테 메일로 보내시거나 302동 312-2호에 있는 오학주 강사나 김진영 조교에게 직접 제출하시면 됩니다.
dreameye@ropas.snu.ac.kr
주제:
클론 체커 결과
정영범
답변:
0
조회:
2776
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년6월15일 16:24 주제:
클론 체커 결과
전체 숙제를 검사했는데 딱 한가지 의심스러운 경우가 발견되었습니다.
한 학생이 숙제 4-2와 5-1을 2009년 가을 학기에 제출된 05학번 학생의 숙제를 in ...
주제:
예상 최종 성적
정영범
답변:
1
조회:
2400
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년6월13일 13:59 주제:
예상 최종 성적
마지막 시간에 이야기한대로 예상 성적을 공개합니다.
최종 성적은 이와 다를 수 있습니다. 참고 사항일 뿐입니다.
http://ropas.snu.ac.kr/~dreameye/PL/score.p ...
주제:
채점은
정영범
답변:
1
조회:
2333
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년5월4일 14:52 주제:
채점은
조교가 이번주에 무지 바빠서 정신이 없답니다.
늦어도 다음주 중으로는 올리도록 하겠습니다.
주제:
숙제 5번이 나왔습니다.
정영범
답변:
4
조회:
3485
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년5월3일 13:34 주제:
숙제 5번이 나왔습니다.
오늘 수업 시간에 숙제 5번과 챌린지를 설명하겠습니다.
출력해서 한번 읽어보고 오세요.
주제:
내일 4/28 (목) 휴강합니다.
정영범
답변:
0
조회:
2031
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년4월27일 10:34 주제:
내일 4/28 (목) 휴강합니다.
저번 수업 시간에 공지한대로 내일은 휴강합니다.
다음주 화요일에 봐요.
주제:
재귀함수가 작동 안합니다.
정영범
답변:
2
조회:
2681
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년4월27일 0:56 주제:
재귀함수가 작동 안합니다.
예, 넣어줘야하는데 조교가 빼먹었군요.
고쳐서 올리도록 하겠습니다.
-----------------------
제가 착각했네요.
다시보니 APP에서 F일때랑 R일때를 구분 ...
주제:
컴파일 관련 질문인데요
정영범
답변:
6
조회:
3653
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년4월26일 22:52 주제:
컴파일 관련 질문인데요
Open해서 쓰지 말고 module 이름을 명시적으로 써주면 됩니다.
Lambda.App와 같이요.
주제:
숙제 4-1 예제를 올려주세요.
정영범
답변:
3
조회:
3309
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년4월26일 16:17 주제:
숙제 4-1 예제를 올려주세요.
(\y. \zero. \one. \three. \iszero. \mult. \pred. (y (\f.(\n. (iszero n) one (mult n (f (pred n)))))) three)
(\f. (\x. f (x x)) (\x. f (x x)))
(\s.\z.z) (\s.\z.s z) (\s. \z. s (s (s z)))
(\m. m (\ ...
주제:
숙제 4-1 예제를 올려주세요.
정영범
답변:
3
조회:
3309
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년4월25일 18:05 주제:
숙제 4-1 예제를 올려주세요.
제가 만든 예제들을 공유합니다.
여러분도 답글로 예제를 달아주세요.
==============
input program
==============
(\x.(x) (\y.x)) (\a.(a) (k))
==============
output ...
주제:
Lambda Calculus 질문입니다
정영범
답변:
1
조회:
2516
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년4월24일 23:15 주제:
Lambda Calculus 질문입니다
λz.(λz.(z y))
λw.(λz.(z y))
두 람다식 모두 의미가 같습니다.
이유는 첫번째 람다식에서 처음에 나오는 z와 두번째 세번째 ...
주제:
숙제4가 나왔습니다.
정영범
답변:
1
조회:
2468
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년4월22일 13:34 주제:
숙제4가 나왔습니다.
M0의 프로그램에서의 - 연산을 어떻게 encoding할지는 아래 위키페이지에 잘 나와있습니다. 좀 복잡하지만요.
http://en.wikipedia.org/wiki/Church_encoding
주제:
숙제 2번 모범 답안
정영범
답변:
1
조회:
2471
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년4월20일 8:53 주제:
숙제 2번 모범 답안
어제 수업시간에 숙제 2번 모범답안을 원하시는 분이 있어서 공지 드립니다.
답글로 이메일 주소를 알려주시면 개별적으로 메일을 드리겠습니다.
주제:
조교님, 5번 강의록 PDF 파일 다시 올려주시기 바랍니다.
정영범
답변:
2
조회:
2543
게시판:
4190.310 Programming Languages (Spring 2011)
올려짐: 2011년3월29일 17:36 주제:
조교님, 5번 강의록 PDF 파일 다시 올려주시기 바랍니다.
올리기 전에 확인하고 올렸는데요.
다른 학생들도 잘 안 보이나요?
제 컴퓨터에서는 웹페이지에서도 잘 보이고, 다운 받아도 잘 보입니다.
페이지
1
중
12
페이지로
1
,
2
,
3
...
10
,
11
,
12
다음
시간대: 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