FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
검색 결과 8 개 일치합니다
게시판 인덱스
글쓴이
메시지
주제:
숙제 6-1에서 제공된 k -> sm5 인터프리터가 이상합니다.
최성준
답변:
3
조회:
2909
게시판:
4190.310 Programming Languages (Fall 2012)
올려짐: 2012년11월16일 10:05 주제:
답이 잘못나오는 예제 더 있습니다.
(* TRICKY FOR *)
let i := (-1) in
( (for i := 1 to 5 do
(write i)
); write i)
(* RESULT : 1 2 3 4 5 5 *)
이것 ...
주제:
[HW 6-2] 테스트셋 짜깁기
최성준
답변:
1
조회:
2754
게시판:
4190.310 Programming Languages (Fall 2012)
올려짐: 2012년11월14일 14:49 주제:
[HW 6-2] 테스트셋 짜깁기
2010년도 게시판인가에 있는 테셋을 짜깁기해서 올립니다. (* *)를 지웠다 말았다 하시면서 쓰시면 될 것 같아요.
(*
(
(* fibonacci *) ...
주제:
[HW 5-2] 소소한 실행기를 만들어 보았습니다
최성준
답변:
1
조회:
2809
게시판:
4190.310 Programming Languages (Fall 2012)
올려짐: 2012년11월8일 13:02 주제:
[HW 5-2] 소소한 실행기를 만들어 보았습니다
5-2를 하려면 먼저 5-2를 돌리고 5-1도 돌리고 그래야 되잖아요? 그런데 저는 잘 안되서 디버그를 많이 해야 되더라구요. 디버그하다 보니 아웃풋 복사해 ...
주제:
hw5 초초간단 테스트셋
최성준
답변:
2
조회:
3049
게시판:
4190.310 Programming Languages (Fall 2012)
올려짐: 2012년11월5일 18:51 주제:
hw5 초초간단 테스트셋
저도 하고 있는 중입니다만은 ... 아주 소소하고 간단한 테스트셋 올려봅니다.
hw5_1
(* 변수를 헷갈리지 않고 잘 읽었는지 테스트: 안에꺼랑 ...
주제:
sm5.ml 뼈대코드 Box 부분 수정 필요한 듯 합니다
최성준
답변:
1
조회:
2255
게시판:
4190.310 Programming Languages (Fall 2012)
올려짐: 2012년10월25일 12:24 주제:
sm5.ml 뼈대코드 Box 부분 수정 필요한 듯 합니다
언제 게시판인지는 못 찾았지만 어디선가 sm5.ml을 다음과 같이 고쳐야 된다는 걸 봤습니다.
현행
(M m::s) -> box (m::b) (z-1) s
수정
(M m::s) -> box (m:: ...
주제:
프로젝트 2차 뼈대코드 (12/16 18:12 수정)
최성준
답변:
8
조회:
6388
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년12월16일 12:44 주제:
컴파일이 안돼요.
make를 치면
$ make
ocamlc -g -o proj inception.mli inception.cmo common.ml supp.ml mal.ml main.ml
Files inception.cmo and /usr/lib/ocaml/3.10.2/stdlib.cma(Printf)
make inconsistent assumption ...
주제:
숙제 5-2, 3 질문
최성준
답변:
4
조회:
2234
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년10월28일 13:22 주제:
테입 앞뒤로 'BLANK
음 그냥 이렇게 해도 될까요?
symlist 가 들어오면 테입을 만들 때
('BLANK symlist 'BLANK)로 만들어서 테잎 앞뒤에
블랭크가 있다고 생각해도 될까요?
주제:
숙제 5-2, 3 질문
최성준
답변:
4
조회:
2234
게시판:
4190.210 Principles of Programming (Fall 2011)
올려짐: 2011년10월28일 12:16 주제:
헤더가 테이프의 맨 오른쪽에서 오른쪽으로 이동할 경우에 'BLANK 가 있어야 합니다??
조교님 말씀이 아래 셋 중에서
맨 오른쪽에서 move-tape-right을 하면
1) 테잎 오른쪽에 'BLANK를 넣고 아무 일도 하지 않는다.
2) 테잎 오른쪽에 'BLANK ...
페이지
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