FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
검색 결과 174 개 일치합니다
게시판 인덱스
글쓴이
메시지
주제:
숙제5 및 기말고사 채점 결과
윤용호
답변:
0
조회:
12013
게시판:
4541.664A Program Analysis (Spring 2014)
올려짐: 2014년6월25일 19:59 주제:
숙제5 및 기말고사 채점 결과
숙제5와 기말고사의 채점이 끝났습니다.
숙제5 점수: http://ropas.snu.ac.kr/~ta/4541.664A/14/anounce/hw5score.pdf
기말고사 점수: http://ropas.snu.ac.kr/~ta/4541.664A/14/an ...
주제:
텀프로젝트 제출 및 앞으로의 일정 안내
윤용호
답변:
0
조회:
4350
게시판:
4541.664A Program Analysis (Spring 2014)
올려짐: 2014년6월11일 17:18 주제:
텀프로젝트 제출 및 앞으로의 일정 안내
수업중에 발표 하셨던 텀프로젝트 제출에 대해 알려드립니다.
모든 제출물은 하나의 파일로 압축하여 학번.zip 의 형태로 메일로 제출해주세요.
(예: ...
주제:
숙제5 뼈대 및 제출 방법
윤용호
답변:
1
조회:
4274
게시판:
4541.664A Program Analysis (Spring 2014)
올려짐: 2014년6월9일 18:10 주제:
디자인 문서 제출
이메일로 안내 드린 것처럼,
디자인/증명 문서도 pdf 파일로 이메일로 제출해주세요.
메일에는 구현 소스코드 파일 압축파일 하나,
디자인/증명 문 ...
주제:
숙제5 뼈대 및 제출 방법
윤용호
답변:
1
조회:
4274
게시판:
4541.664A Program Analysis (Spring 2014)
올려짐: 2014년5월27일 18:43 주제:
숙제5 뼈대 및 제출 방법
숙제5가 나왔습니다.
http://ropas.snu.ac.kr/~kwang/4541.664A/14/hw5.pdf
숙제5는 제공된 뼈대코드 위에서 작업하시기 바랍니다.
http://ropas.snu.ac.kr/~ta/4541.664A/14 ...
주제:
숙제4 제출자 명단
윤용호
답변:
0
조회:
2975
게시판:
4541.664A Program Analysis (Spring 2014)
올려짐: 2014년5월22일 16:41 주제:
숙제4 제출자 명단
숙제4의 제출은 이메일로 받아서
제출이 잘 됐는지 궁금해하실 분들이 있을 것 같아 먼저 올려드립니다.
20**-**826
20**-**842
20**-**087 (딜레이)
20**-**78 ...
주제:
숙제2 채점 결과
윤용호
답변:
0
조회:
2992
게시판:
4541.664A Program Analysis (Spring 2014)
올려짐: 2014년5월9일 15:28 주제:
숙제2 채점 결과
숙제2의 채점이 끝났습니다.
점수 : http://ropas.snu.ac.kr/~ta/4541.664A/14/anounce/hw2score.pdf
채점기준 : http://ropas.snu.ac.kr/~ta/4541.664A/14/anounce/hw2policy.pdf
모범 ...
주제:
숙제4 뼈대 및 제출 방법
윤용호
답변:
0
조회:
2994
게시판:
4541.664A Program Analysis (Spring 2014)
올려짐: 2014년5월9일 8:59 주제:
숙제4 뼈대 및 제출 방법
숙제4가 나왔습니다.
make 명령으로 컴파일 오류 없이 main이 컴파일 될 것
- 아래 문단의 제출 양식을 따를 것
입니다.
컴파일 도중 경고가 나오는 것 ...
주제:
숙제1 채점 결과
윤용호
답변:
0
조회:
3472
게시판:
4541.664A Program Analysis (Spring 2014)
올려짐: 2014년4월18일 14:11 주제:
숙제1 채점 결과
숙제1의 채점이 끝났습니다.
점수 : http://ropas.snu.ac.kr/~ta/4541.664A/14/anounce/hw1score.pdf
(학번을 알 수 없는 학생이 있습니다. 쓰는 숙제와 프로그래밍 숙 ...
주제:
Exercise 7 Test Set을 올려주실 수 있나요?
윤용호
답변:
1
조회:
3327
게시판:
4541.664A Program Analysis (Spring 2014)
올려짐: 2014년4월18일 14:03 주제:
죄송합니다 글을 너무 늦게 봤네요.
게시판이 죽어있는 것 같아 글을 확인하지 못 했습니다.
앞으로 자주 확인하도록 하겠습니다.
질문은 게시판에 올린 후 조교 메일로 게시물 링크를 ...
주제:
과제 제출 관련 안내
윤용호
답변:
0
조회:
3195
게시판:
4541.664A Program Analysis (Spring 2014)
올려짐: 2014년3월17일 12:53 주제:
과제 제출 관련 안내
증명 등 글로 쓰는 과제는 수업시간에 출력물로 제출하고,
프로그래밍 과제는 [url=http://ropas.snu.ac.kr/~ta/4541.664A/14/submit/index.pl]웹으로 제출합니다.
증 ...
주제:
숙제1이 나왔습니다.
윤용호
답변:
0
조회:
2986
게시판:
4541.664A Program Analysis (Spring 2014)
올려짐: 2014년3월17일 11:35 주제:
숙제1이 나왔습니다.
강의 페이지에서 확인하실 수 있습니다.
module type KMINUS =
sig
exception Error of string
type id = string
type exp =
| NUM of int
| VAR of id
| ADD of exp * exp
| ...
주제:
프로그램 분석 수업 게시판입니다.
윤용호
답변:
0
조회:
2641
게시판:
4541.664A Program Analysis (Spring 2014)
올려짐: 2014년3월3일 9:35 주제:
프로그램 분석 수업 게시판입니다.
숙제와 강의 내용 관련 질문과 답변이 오가는 곳입니다.
흥미있는 질문과 토론이 오가길 기대합니다.
- 우선 가입을 하시고 사용해 주세요.
- 이 ...
주제:
책 제본 관련
윤용호
답변:
22
조회:
13737
게시판:
027.013 Computational Civilization (Fall 2012)
올려짐: 2012년9월17일 17:40 주제:
이름
eolica //
말씀드렸다시피, 실명으로 가입해주세요.
'eolica' 이런 영문 아이디 대신 '김서영'으로 가입하라는 의미였습니다.
주제:
책 제본 관련
윤용호
답변:
22
조회:
13737
게시판:
027.013 Computational Civilization (Fall 2012)
올려짐: 2012년9월17일 16:17 주제:
책 제본 관련
The Universal Computer(원본)
수학자, 컴퓨터를 만들다(번역본)
두 권 중 선택하여 제본을 받으실 수 있습니다.
필요하다면 두 권 모두도 가능합니다.
...
주제:
숙제1이 나왔습니다.(제출기한 변경)
윤용호
답변:
0
조회:
2755
게시판:
027.013 Computational Civilization (Fall 2012)
올려짐: 2012년9월12일 15:44 주제:
숙제1이 나왔습니다.(제출기한 변경)
강의시간에 자료로 나눠주셨고, 웹에서도 받을 수 있습니다.
http://ropas.snu.ac.kr/~kwang/027.013/12/hw1.pdf
출력해서 24일 수업시간에 제출하시면 됩니다.
1 ...
페이지
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