게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

검색 결과 72 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 숙제 4 채점결과
이우석

답변: 2
조회: 4144

올리기게시판: 4541.664A Program Analysis (Spring 2014)   올려짐: 2014년5월28일 11:42   주제: 컴파일 문제 - 채점결과 변동
안녕하세요.

전체 컴파일 실패 4 케이스 중 3케이스가 OCaml 4.00과 4.01 버전간의 미묘한 차이 때문에 발생한 것으로 밝혀져서, 해당 경우에 대해서 다 ...
  주제: 숙제 4 채점결과
이우석

답변: 2
조회: 4144

올리기게시판: 4541.664A Program Analysis (Spring 2014)   올려짐: 2014년5월27일 22:48   주제: 컴파일 에러에 관해서
컴파일이 안되어서 0점이 나온 경우, 간단히 고쳐서 컴파일 되는걸 제게 보여주시면 아무 감점없이 점수를 드릴테니

이상하다 싶으시면 꼭 방문해 ...
  주제: 숙제 4 채점결과
이우석

답변: 2
조회: 4144

올리기게시판: 4541.664A Program Analysis (Spring 2014)   올려짐: 2014년5월27일 19:01   주제: 숙제 4 채점결과
안녕하세요.

숙제 4 채점결과가 나왔습니다.

테스트케이스 5개로 테스트해봤고, 각 문제당 점수는 10점입니다.

문제당 분석결과가 안전하지 않 ...
  주제: 숙제 3 채점결과
이우석

답변: 0
조회: 2910

올리기게시판: 4541.664A Program Analysis (Spring 2014)   올려짐: 2014년5월19일 17:14   주제: 숙제 3 채점결과
숙제 3 채점결과입니다.

문제 1과 2가 각각 50점, 총점은 100점입니다.

점수 : http://ropas.snu.ac.kr/~ta/4541.664A/14/anounce/hw3score.pdf

모범답안 : http://ropas.s ...
  주제: 프로젝트 2 질문입니다.
이우석

답변: 1
조회: 4040

올리기게시판: 4541.664A Program Analysis (Spring 2010)   올려짐: 2010년6월22일 17:34   주제: 프로젝트 2 질문입니다.

xp := 415;

if (false)
(xp := xp + 2)
(xp := xp + 1867)

이 코드에서 다빈치 코드가 나오면 정답, 정확한 가지치기(pruning)으 ...
  주제: project1: next의 타입
이우석

답변: 1
조회: 3554

올리기게시판: 4541.664A Program Analysis (Spring 2010)   올려짐: 2010년5월19일 17:57   주제: project1: next의 타입
프로젝트 설명에서의 next 함수는 가 맞습니다.

next함수는 모듬의미(collecting semnatics)를 정의하는데 쓰이는 Next 함수를 정의하는데 사용되는 함수이 ...
  주제: 숙제 5와 관련된 작년 게시판의 글과 질문
이우석

답변: 1
조회: 3801

올리기게시판: 4541.664A Program Analysis (Spring 2010)   올려짐: 2010년4월23일 13:59   주제: 답변
답변입니다.

1)
k.ml을 보니까 trace가 memory list로 정의되어 있는데, 기계상태의 전이는 memory의 변화만을 기록하는 건가요? 작년에는 memory와 함께 progra ...
  주제: 숙제 4 채점기준
이우석

답변: 0
조회: 3147

올리기게시판: 4541.664A Program Analysis (Spring 2010)   올려짐: 2010년4월20일 15:33   주제: 숙제 4 채점기준
숙제 4의 채점을 끝냈습니다. 각 언어 당 operational semantics 10점, transitional semantics 10점으로 다 맞으면 20점이고 언어가 4개이므로 총 만점은 80점입니다.
...
  주제: 숙제 3번 문제 1,2 답안 및 채점기준
이우석

답변: 0
조회: 2901

올리기게시판: 4541.664A Program Analysis (Spring 2010)   올려짐: 2010년4월6일 14:58   주제: 숙제 3번 문제 1,2 답안 및 채점기준
숙제 3의 1,2번 문제 채점을 끝냈습니다. 문제당 10점, 다 맞으면 20점입니다.

제출하신 과제는 이번 목요일 수업시간에 나누어 드릴 예정이며 클레임 ...
  주제: 숙제 2번 문제 3~6번 답안 및 채점기준
이우석

답변: 0
조회: 3044

올리기게시판: 4541.664A Program Analysis (Spring 2010)   올려짐: 2010년3월30일 15:59   주제: 숙제 2번 문제 3~6번 답안 및 채점기준
안녕하세요.

숙제 2의 3~6번 문제 채점을 끝냈습니다. 문제당 10점, 다 맞으면 40점입니다.

제출하신 과제는 이번 목요일 수업시간에 나누어 드릴 예 ...
  주제: ***필독!! 프로젝트 리그 및 토너먼트에 관해서 ***
이우석

답변: 2
조회: 4445

올리기게시판: 4190.210 Principles of Programming (Fall 2009)   올려짐: 2009년12월16일 17:16   주제: ***필독!! 프로젝트 리그 및 토너먼트에 관해서 ***
안녕하세요~ 프로젝트에 관해 몇가지 공지할 사항이 있어 알려드립니다.

*** 리그 진행 ***

리그는 다음과 같이 진행될 것입니다.

철수 위치를 ...
  주제: 지금 질문 하는것도 이상하지만, 늪 타일에 대해 질문 있습니다.
이우석

답변: 2
조회: 4297

올리기게시판: 4190.210 Principles of Programming (Fall 2009)   올려짐: 2009년12월16일 16:39   주제: 지금 질문 하는것도 이상하지만, 늪 타일에 대해 질문 있습니다.
한 위치에서 2턴이상 가만히 있을 경우입니다~
  주제: 노래부르기를 초과했을때
이우석

답변: 1
조회: 3413

올리기게시판: 4190.210 Principles of Programming (Fall 2009)   올려짐: 2009년12월13일 15:53   주제: 노래부르기를 초과했을때
무효 처리 됩니다. 아래 글을 참조해주세요.

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=2029
  주제: 부상당한 캐릭터의 행동
이우석

답변: 1
조회: 3414

올리기게시판: 4190.210 Principles of Programming (Fall 2009)   올려짐: 2009년12월13일 15:50   주제: 부상당한 캐릭터의 행동
행동 부분에는 이동을 의미하는 0을 넣어 주세요.
  주제: 노래부르기 행동을 할 때 위치는 어떻게 적용해줘야 하나요?
이우석

답변: 2
조회: 4039

올리기게시판: 4190.210 Principles of Programming (Fall 2009)   올려짐: 2009년12월13일 15:49   주제: 노래부르기 행동을 할 때 위치는 어떻게 적용해줘야 하나요?
위치 자리에는 어떤 값이 들어가든 상관없습니다. 액션이 노래부르기로 읽혀지면 영희의 이동 위치를 계산할 때 클라이언트로부터 들어온 위치값이 ...
 
페이지 15 페이지로 1, 2, 3, 4, 5  다음
시간대: GMT + 9 시간(한국)
건너뛰기:  


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay