FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
검색 결과 5 개 일치합니다
게시판 인덱스
글쓴이
메시지
주제:
[HW 4] 5번 문제 관련 질문
양주현
답변:
3
조회:
2116
게시판:
4190.310 Programming Languages (Spring 2022)
올려짐: 2022년4월15일 0:17 주제:
[HW 4] 5번 문제 관련 질문
설명 정말 감사합니다. 거의 다 이해된 것 같은데,
4번 예시를 살펴보면
(네모x (x|x))|* 라는 지도 전체가 암시하는 열쇠를 a라고 하면, *은 (-)이므 ...
주제:
[HW 4] 5번 문제 관련 질문
양주현
답변:
3
조회:
2116
게시판:
4190.310 Programming Languages (Spring 2022)
올려짐: 2022년4월14일 20:50 주제:
[HW 4] 5번 문제 관련 질문
안녕하세요, 프로그래밍언어 수강생 양주현입니다.
5번 문제가 아무리 읽어봐도 잘 이해가 가지 않아서 질문드립니다.
첫 번째 예시에서 지도 x에는 ...
주제:
HW2 Exercise 6에서 모듈 관련 질문
양주현
답변:
1
조회:
519
게시판:
4190.310 Programming Languages (Spring 2022)
올려짐: 2022년3월23일 12:57 주제:
HW2 Exercise 6에서 모듈 관련 질문
공지사항에서
module ValidIntListQ = (IntListQ : Queue)
를 한번 선언해 봐서 에러가 나는지 안나는지로 IntListQ가 Queue 타입의 모듈이 맞는지 확인하 ...
주제:
module 관련 질문
양주현
답변:
1
조회:
531
게시판:
4190.310 Programming Languages (Spring 2022)
올려짐: 2022년3월21일 23:50 주제:
module 관련 질문
https://ocaml.org/releases/4.02/htmlman/moduleexamples.html
위의 공식 문서로 모듈이 뭔지 알아보던 중 몇 가지 질문사항이 있습니다.
1. 저 문서의 2.1 Structures의 ...
주제:
HW2 Exercise 1 질문입니다.
양주현
답변:
2
조회:
698
게시판:
4190.310 Programming Languages (Spring 2022)
올려짐: 2022년3월18일 13:47 주제:
HW2 Exercise 1 질문입니다.
안녕하세요, 프로그래밍언어 수강생 양주현입니다.
1번에서 iter의 type은 iter : ('a * ('a -> 'a)) -> 'a -> 'a 가 맞나요?
그러면 혹시 이거는 iter : ...
페이지
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