FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
검색 결과 8 개 일치합니다
게시판 인덱스
글쓴이
메시지
주제:
5-1 과제 설명의 write에 대한 질문
하비홍
답변:
1
조회:
6090
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년11월14일 19:18 주제:
5-1 과제 설명의 write에 대한 질문
K-- 프로그램 write (write 1+2)+3의 번역은
push 1::push 2::add::put::push 3::add::put::empty 가 아닙니다.
일반적인 경우 write와 put이 1:1로 대응되지 않기 때문입니 ...
주제:
5-1 질문
하비홍
답변:
2
조회:
4653
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년11월13일 19:28 주제:
재귀적으로 정의하면 안 됩니다.
재귀적으로 정의하면 무한히 많은 식이 생성됩니다.
예를 들어 K.WHILE(e_cond, e_body)를
K.WHILE = K.IF(e_cond, K.WHILE(e_cond, e_body), K.UNIT)
와 같이 정의하면 의 ...
주제:
2-4 질문입니다.
하비홍
답변:
5
조회:
2075
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년9월25일 15:05 주제:
2-4 질문입니다.
역이 제대로 생겼는지는 해당 역을 감싸는 바깥쪽 AREA에 따라 결정되기 때문입니다.
주어진 예시에서 metro가 제대로 생겼는지는 다음처럼 확인됩니다. ...
주제:
environment 질문
하비홍
답변:
2
조회:
1423
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년9월23일 6:55 주제:
environment 질문
그냥 2-4에 계산이 추가되었다고 생각하면 됩니다.
2-4에서 주어진 역이 제대로 생겼는지를 확인하기 위해서 metro 말고 역 바깥쪽 정보를
알 수 있도록 ...
주제:
과제 2.6 질문
하비홍
답변:
3
조회:
1414
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년9월22일 9:19 주제:
과제 2.6 질문
L에는 넣기만 하고 R에서는 빼기만 하면 R이 비는 경우가 생기죠.
그때는 R이 비어 있어서 뺄 수 없으니까 L을 뒤집어서 R로 두고 빼면 된다는 얘기입니 ...
주제:
과제 2-6 질문
하비홍
답변:
1
조회:
1332
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년9월15일 19:31 주제:
과제 2-6 질문
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4289
구현하는 모듈에서는 ' : Queue'를 빼야합니다.
module IntListQ =
struct
type element = int list
type queue = ...
...
... ...
주제:
과제 2-1질문
하비홍
답변:
2
조회:
1428
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년9월15일 18:16 주제:
예전 테스트 케이스들을 확인해보면
ANDALSO: A and B
ORELSE: A or B
IMPLY: A -> B (Implication, A가 참이고 B가 거짓일때만 거짓, 나머지는 참)
LESS(a, b): a < b
입니다.
주제:
HW2 테스트 케이스 모음
하비홍
답변:
2
조회:
2232
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년9월15일 11:10 주제:
HW2 테스트 케이스 모음
테스트셋은 기존 게시판에 존재하는 테스트셋 + 문제에서 주는 예시들 + @로 구성되어 있습니다.
(9/15 16:33 HW2-5 추가)
(9/18 전체적으로 수정)
2-1 참거 ...
페이지
1
중
1
시간대: 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