아 하스켈 아시는구나!! 겁.나.어.렵.습.니.다
;; 지금 유한열 다루는 중인데 기존의 방법으로 하면 잘 안 돼서요. 근데 이렇게 하면 뭐가 문제일까요? ☆
여기에 질문한 이유는 "튜플 <1,2,3>이 N×(N×N)의 원소인지 N×(N×(N×1))의 원소인지"가 궁금하기 때문입니다. ☆
위키에 튜플 쳐볼걸. 죄송합니다. ☆
근데 둘이 집합으로 동등하니까 상관없지않아여?
N ≠ N×1이지 않나요? ☆
둘 사이에 bijection이 있지않나요
저도 일대일대응이 있으니까 거기서 거기라고 생각할래요. ☆
아 별댓 씹
아 하스켈 아시는구나!! 겁.나.어.렵.습.니.다
;; 지금 유한열 다루는 중인데 기존의 방법으로 하면 잘 안 돼서요. 근데 이렇게 하면 뭐가 문제일까요? ☆
여기에 질문한 이유는 "튜플 <1,2,3>이 N×(N×N)의 원소인지 N×(N×(N×1))의 원소인지"가 궁금하기 때문입니다. ☆
위키에 튜플 쳐볼걸. 죄송합니다. ☆
근데 둘이 집합으로 동등하니까 상관없지않아여?
N ≠ N×1이지 않나요? ☆
둘 사이에 bijection이 있지않나요
저도 일대일대응이 있으니까 거기서 거기라고 생각할래요. ☆
아 별댓 씹