FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
검색 결과 231 개 일치합니다
게시판 인덱스
글쓴이
메시지
주제:
최종학점
허기홍
답변:
0
조회:
9229
게시판:
4541.664A Program Analysis (Spring 2010)
올려짐: 2010년6월30일 10:54 주제:
최종학점
최종 학점입니다.
한학기 동안 공부하느라 고생 많으셨습니다.
23026 A-
20769 A0
23151 A+
20860 A0
20891 C+
11756 A-
주제:
분석 최종 점수 공지
허기홍
답변:
0
조회:
3599
게시판:
4541.664A Program Analysis (Spring 2010)
올려짐: 2010년6월29일 10:02 주제:
분석 최종 점수 공지
http://ropas.snu.ac.kr/~ta/4541.664A/10/score/pa10.pdf
위 파일에 최종 점수를 정리해놓았습니다.
각 숙제에 대해 만점, 유형, 채점자가 있습니다.
원래 규정에 ...
주제:
프로젝트 2에서 곱하기
허기홍
답변:
1
조회:
3768
게시판:
4541.664A Program Analysis (Spring 2010)
올려짐: 2010년6월22일 9:44 주제:
프로젝트 2에서 곱하기
곱하기 있는게 맞습니다.
교수님께서 주신 예제에도 곱하기가 있고
큰 수를 만들 때 곱하기가 있으면 편하니까 추가하였습니다.
주제:
6/1일 휴강, 6/2일 보강
허기홍
답변:
0
조회:
3322
게시판:
4541.664A Program Analysis (Spring 2010)
올려짐: 2010년5월31일 14:04 주제:
6/1일 휴강, 6/2일 보강
교수님께서 수업시간에 말씀하셨듯이
- 내일 6/1일 휴강입니다.
- 모레 6/2일 보강있습니다.
주제:
project1 제출 방법
허기홍
답변:
4
조회:
4703
게시판:
4541.664A Program Analysis (Spring 2010)
올려짐: 2010년5월31일 14:03 주제:
project1 제출 방법
알겠습니다.
주제:
project1 제출 방법
허기홍
답변:
4
조회:
4703
게시판:
4541.664A Program Analysis (Spring 2010)
올려짐: 2010년5월27일 20:35 주제:
project1 제출 방법
네. analyzer.ml만 제출해주십시오.
제출페이지는 열려있습니다.
뼈대는 지금 뼈대를 사용하시면 됩니다.
조건문은 무조건 부울 값을 계산하는 것은 ...
주제:
프로젝트1 공지 (수정 5/19 16:40)
허기홍
답변:
0
조회:
3661
게시판:
4541.664A Program Analysis (Spring 2010)
올려짐: 2010년5월18일 21:34 주제:
프로젝트1 공지 (수정 5/19 16:40)
안녕하세요
디자인 잘 하고 계십니까?
뼈대입니다. 각각 리눅스 버전과 윈도우 버전입니다.
(혹시 윈도우에서 숙제 하시는 분 리플 달아주세요. 안 ...
주제:
숙제 6 점수
허기홍
답변:
0
조회:
3342
게시판:
4541.664A Program Analysis (Spring 2010)
올려짐: 2010년5월9일 0:09 주제:
숙제 6 점수
점수입니다. 91점 만점입니다.
http://ropas.snu.ac.kr/~ta/4541.664A/10/score/hw6/score6.txt
여러분이 내신 숙제에다 제가 출력 함수와 테스트 코드를 추가해넣고 ...
주제:
숙제 5 점수
허기홍
답변:
0
조회:
3351
게시판:
4541.664A Program Analysis (Spring 2010)
올려짐: 2010년5월5일 12:11 주제:
숙제 5 점수
http://ropas.snu.ac.kr/~ta/4541.664A/10/score/hw5/score5.txt
O : 맞음
X : 틀림
e : 예외
i : 무한루프
이의 있으시면 메일주시고 찾아오세요.
주제:
숙제 6 질문
허기홍
답변:
5
조회:
5522
게시판:
4541.664A Program Analysis (Spring 2010)
올려짐: 2010년5월1일 15:28 주제:
숙제 6 질문
인자의 순서를 실수로 바꾸었네요.
주제:
FunDomain 질문입니다.
허기홍
답변:
1
조회:
3731
게시판:
4541.664A Program Analysis (Spring 2010)
올려짐: 2010년5월1일 15:23 주제:
FunDomain 질문입니다.
1) 수학적으로는 모든 x에 대해서 대응관계가 있습니다.
허나 무한한 집합을 가지고 구현할때는 그것이 불가능 하지요.
매핑이 없는 정의역 원소의 ...
주제:
숙제 6의 FunDomain 질문
허기홍
답변:
1
조회:
3836
게시판:
4541.664A Program Analysis (Spring 2010)
올려짐: 2010년5월1일 15:09 주제:
숙제 6의 FunDomain 질문
1) 맞습니다.
2) 맞습니다.
3) 두 맵의 LUB는 각 key에 대응하는 value의 LUB을 가지고 정의됩니다.
예를 들어 두 맵 M1 M2가
M1 : {x = a, y = b}
M2 : {x = c, y = d} ...
주제:
숙제 6 질문
허기홍
답변:
5
조회:
5522
게시판:
4541.664A Program Analysis (Spring 2010)
올려짐: 2010년4월29일 23:42 주제:
숙제 6 질문
말씀하신 것이 맞습니다.
주제:
숙제 6 질문
허기홍
답변:
5
조회:
5522
게시판:
4541.664A Program Analysis (Spring 2010)
올려짐: 2010년4월28일 8:44 주제:
숙제 6 질문
1. 공통
(1) leq는 partial order를 뜻하는 것이죠? 그리고 join은 둘의 LUB를 구하는 것이죠?
(2) make, join, union 등 연산의 결과가 TOP과 동일하더라도 굳이 TOP ...
주제:
숙제 5 공지와 뼈대
허기홍
답변:
0
조회:
3134
게시판:
4541.664A Program Analysis (Spring 2010)
올려짐: 2010년4월19일 18:27 주제:
숙제 5 공지와 뼈대
숙제 5가 나왔습니다.
파서와 프린트를 비롯한 기본적인 뼈대를 제공합니다.
리눅스용 뼈대
http://ropas.snu.ac.kr/~ta/4541.664A/10/skeleton/hw5/linux/hw5.linux.ta ...
페이지
1
중
16
페이지로
1
,
2
,
3
...
14
,
15
,
16
다음
시간대: 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