게시판 인덱스

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

검색 결과 5 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 프로젝트 관련 여러가지 사항들
blindblue

답변: 4
조회: 6571

올리기게시판: 4190.210 Principles of Programming (Fall 2009)   올려짐: 2009년12월3일 16:26   주제: 그림이 안보입니다.
영희 관련 그림들이 안보이네요.
  주제: 6-3번 관련해서 문법 사항 질문 있습니다.
blindblue

답변: 1
조회: 2694

올리기게시판: 4190.210 Principles of Programming (Fall 2009)   올려짐: 2009년11월25일 11:33   주제: 6-3번 관련해서 문법 사항 질문 있습니다.
module Trans (Lam : LAM) (Debru : DEBRU) : (TRANS
with type lam = Lam.lam and type debru = Debru.debru) =
struct
type lam = Lam.lam ...

이런식으로 코딩을 했는데 안에서 Var(a) ...
  주제: 숙제 5-1번 질문입니다
blindblue

답변: 3
조회: 3063

올리기게시판: 4190.210 Principles of Programming (Fall 2009)   올려짐: 2009년11월15일 2:47   주제: 숙제 5-1번 질문입니다
저도 이거 때문에 헷갈리네요 ㅠ 어떻게 처리해야 할지...
  주제: 5-1 질문입니다
blindblue

답변: 3
조회: 2508

올리기게시판: 4190.210 Principles of Programming (Fall 2009)   올려짐: 2009년11월14일 21:42   주제: 5-1 질문입니다
결국 구현해야 하는 건 싹쓸이 이므로 모든 가능한 경우를 다 상정해야 합니다.

x := 1; ((x eq 1? x := x+1) U (x neq 1? x := x-1))*

즉 여기서는 (x eq 1? x := x+1) ...
  주제: function에 대해 질문이 있습니다.
blindblue

답변: 2
조회: 2251

올리기게시판: 4190.210 Principles of Programming (Fall 2009)   올려짐: 2009년11월14일 21:12   주제: function에 대해 질문이 있습니다.
function x y -> x+y

이런 식으로 정의하면 안되던데, 인자를 2개 받는 이름 없는 함수는 어떻게 만들어야되나요?
 
페이지 11
시간대: GMT + 9 시간(한국)
건너뛰기:  


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