FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
검색 결과 10 개 일치합니다
게시판 인덱스
글쓴이
메시지
주제:
프로젝트에서 final state 도달 시.
kernys
답변:
1
조회:
1498
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년12월10일 15:17 주제:
프로젝트에서 final state 도달 시.
프로젝트에서 final state에 도달했는 데도 불구하고 judge 함수가 계속 호출되는 것 같던데 상관없는지요..
final state에서의 rule table이 존재하지 않아 ...
주제:
실습 9 테스트
kernys
답변:
3
조회:
2225
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년11월21일 11:05 주제:
Test Case 결과 포함.
(* 1. Test Case *)
let a = Integer.make "5"
let b = Integer.make "6"
let _ = Integer.print (Integer.add a b) (* 11 *)
let _ = print_newline()
let _ = Integer.print (Inte ...
주제:
실습 9 테스트
kernys
답변:
3
조회:
2225
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년11월21일 10:58 주제:
심플한 테스트 케이스 (....)
module FloatVector3 = Vector3(FloatingPoint) ;;
(Integer.print Integer.zero);; (* 0 *)
(FloatingPoint.print FloatingPoint.zero);; (* 0. *)
(Integer.print (Integer.add (Integer.mul (Integer.ma ...
주제:
숙제 5-2: print-tape 형식, 5-3: pprint 형식
kernys
답변:
5
조회:
2709
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년11월1일 1:20 주제:
숙제 5-2: print-tape 형식, 5-3: pprint 형식
1. run-tm 실행시 최종 테이프와 최종 상태가 tm에 업데이트 되는 것 맞나요 ??
2. 그리고, print-tm 실행시 해당 tm 안의 "테이프 모습"만을 출력하는 ...
주제:
조교님이 올려주신 5-2 튜링머신 테스트셋
kernys
답변:
15
조회:
7887
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년11월1일 0:47 주제:
조교님이 올려주신 5-2 튜링머신 테스트셋
아 그렇네요... write 'BLANK 명령을 왜 무시했었는지...
one one one one one 이네요..
주제:
5-2 print-tape 에서요
kernys
답변:
2
조회:
1976
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년10월31일 19:23 주제:
5-2 print-tape 에서요
만약 함수 안에서 여러개의 헬퍼 함수가 필요 할 때에는
letrec을 이용하여, 내부 함수를 줄줄이 선언해주어야 하나요 ?...
아니면 그냥 외부에 두어 ...
주제:
조교님이 올려주신 5-2 튜링머신 테스트셋
kernys
답변:
15
조회:
7887
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년10월30일 2:07 주제:
조교님이 올려주신 5-2 튜링머신 테스트셋
정정 감사합니다, 김상우 학우님.
주제:
조교님이 올려주신 5-2 튜링머신 테스트셋
kernys
답변:
15
조회:
7887
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년10월30일 0:48 주제:
조교님이 올려주신 5-2 튜링머신 테스트셋
(define rt (empty-ruletable))
(set! rt (add-rule (make-rule 's0 'one (cons 'write 'one) 'left 's0) rt))
(set! rt (add-rule (make-rule 's0 'plus (cons 'write 'one) 'left 's1) rt))
(set! rt (add-rule ...
주제:
5-1번, 허프만 코드만큼의 비트수인지 확인해주는 테스터입니다.
kernys
답변:
4
조회:
3030
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년10월29일 15:37 주제:
5-1번, 허프만 코드만큼의 비트수인지 확인해주는 테스터입니다.
허프만 코드만큼 효율적입니다. 0
허프만 코드만큼 효율적입니다. 0
허프만 코드만큼 효율적입니다. 0
허프만 코드만큼 효율적입니다. 0
허프만 코드 ...
주제:
숙제 5-2 질문...
kernys
답변:
1
조회:
1777
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년10월26일 17:46 주제:
숙제 5-2 질문...
1.
make-tm에 보면 state list라고, final state들의 목록을 받는 것 같던데...
규칙에서 존재하지 않으면 프로그램을 끝내면 될 것 같은데, 따로 존재하는 목 ...
페이지
1
중
1
시간대: GMT + 9 시간(한국)
건너뛰기:
게시판 선택
4190.310 Programming Languages
----------------
4190.310 Programming Languages (Spring 2025)
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 (Spring 2025)
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)
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)
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