차불휘(Bulhwi Cha)
@chabulhwi.bsky.social
수학, 자연 과학, 공학을 학습하는 데 도움이 될 교육용 게임과 그 밖의 매체를 만들고자 합니다.
I aim to create video games and other media for learning STEM disciplines. Pronouns: he/him/his.
* 자기소개(About me): https://bsky.app/profile/chabulhwi.bsky.social/post/3kktpd44t6u23
I aim to create video games and other media for learning STEM disciplines. Pronouns: he/him/his.
* 자기소개(About me): https://bsky.app/profile/chabulhwi.bsky.social/post/3kktpd44t6u23
Pinned
git.sr.ht
• 제가 한민수 의원님에게 드린 아청법 개정안: git.sr.ht/~chabulhwi/t...
• 제가 작성한 아청법 헌법소원심판청구서(웹 문서): git.sr.ht/~chabulhwi/t...
• 제가 작성한 아청법 헌법소원심판청구서(PDF 문서): git.sr.ht/~chabulhwi/t...
• 제가 작성한 아청법 헌법소원심판청구서(웹 문서): git.sr.ht/~chabulhwi/t...
• 제가 작성한 아청법 헌법소원심판청구서(PDF 문서): git.sr.ht/~chabulhwi/t...
예, 이 글의 제목을 보신 분들이 '이게 뭔 헛소리지?' 하고 생각하실 수 있어요. 하지만 제가 직접 아청법 개정안을 2025년 2월부터 구상해 10월 12일에 완성하고 나서, 한민수 더불어민주당 의원님을 보좌하시는 이정환 보좌관님에게 드려 보니, 논리학과 철학이 아청법 개정안의 작성에 진짜로 큰 도움을 줘요. 그 이유는 다음과 같아요. forum.owlofsogang.com/t/topic/7062...
논리학과 철학이 아청법 개정에 도움을 주는가
논리학과 철학이 아청법 개정에 도움을 주는가 왜 논리학과 철학이 필요한가 예, 이 글의 제목을 보신 분들이 '이게 뭔 헛소리지?' 하고 생각하실 수 있어요. 하지만 제가 직접 아청법 개정안을 2025년 2월부터 구상해 10월 12일에 완성하고 나서, 한민수 더불어민주당 의원님을 보좌하시는 이정환 보좌관님에게 드려 보니, 논리학과 철학이 아청법 개정안의 작성...
forum.owlofsogang.com
November 13, 2025 at 2:55 PM
예, 이 글의 제목을 보신 분들이 '이게 뭔 헛소리지?' 하고 생각하실 수 있어요. 하지만 제가 직접 아청법 개정안을 2025년 2월부터 구상해 10월 12일에 완성하고 나서, 한민수 더불어민주당 의원님을 보좌하시는 이정환 보좌관님에게 드려 보니, 논리학과 철학이 아청법 개정안의 작성에 진짜로 큰 도움을 줘요. 그 이유는 다음과 같아요. forum.owlofsogang.com/t/topic/7062...
제 멘티의 린(Lean) 코드를 검토하다가 Option.bind 함수를 처음 봤어요. lean-lang.org/doc/referenc...
Optional Values
lean-lang.org
November 13, 2025 at 9:53 AM
제 멘티의 린(Lean) 코드를 검토하다가 Option.bind 함수를 처음 봤어요. lean-lang.org/doc/referenc...
드디어 제가 "이누야샤" 비즈빅(VIZBIG)판 1권을 다 읽었어요. 2권을 사기 전에 '밀린' 만화책부터 읽어야겠네요.
November 13, 2025 at 5:12 AM
드디어 제가 "이누야샤" 비즈빅(VIZBIG)판 1권을 다 읽었어요. 2권을 사기 전에 '밀린' 만화책부터 읽어야겠네요.
2025. 11. 13.(목) 치지직 방송 목표
• 오후 5~6시: 멘티의 린 퀴즈 답안 검토하기
밀린 일을 먼저 해야 돼서 린 해설 영상은 다음 주에 녹화할게요. 그리고 제가 아직 근력 운동을 못 했어요. 그래서 '농부는 대체되었다' 게임도 다음 주에 할게요.
• 치지직 채널 링크: chzzk.naver.com/7b15632e2d01...
• 오후 5~6시: 멘티의 린 퀴즈 답안 검토하기
밀린 일을 먼저 해야 돼서 린 해설 영상은 다음 주에 녹화할게요. 그리고 제가 아직 근력 운동을 못 했어요. 그래서 '농부는 대체되었다' 게임도 다음 주에 할게요.
• 치지직 채널 링크: chzzk.naver.com/7b15632e2d01...
치지직 CHZZK
chzzk.naver.com
November 13, 2025 at 3:54 AM
2025. 11. 13.(목) 치지직 방송 목표
• 오후 5~6시: 멘티의 린 퀴즈 답안 검토하기
밀린 일을 먼저 해야 돼서 린 해설 영상은 다음 주에 녹화할게요. 그리고 제가 아직 근력 운동을 못 했어요. 그래서 '농부는 대체되었다' 게임도 다음 주에 할게요.
• 치지직 채널 링크: chzzk.naver.com/7b15632e2d01...
• 오후 5~6시: 멘티의 린 퀴즈 답안 검토하기
밀린 일을 먼저 해야 돼서 린 해설 영상은 다음 주에 녹화할게요. 그리고 제가 아직 근력 운동을 못 했어요. 그래서 '농부는 대체되었다' 게임도 다음 주에 할게요.
• 치지직 채널 링크: chzzk.naver.com/7b15632e2d01...
국회 의원을 보좌하는 상임위 특화 보좌관 중에서 대중문화 정책을 전문하는 분들이 더 많아지면 좋겠어요.
November 12, 2025 at 4:09 PM
국회 의원을 보좌하는 상임위 특화 보좌관 중에서 대중문화 정책을 전문하는 분들이 더 많아지면 좋겠어요.
드디어 2025년 2월부터 11월까지 진행한 제 아청법 개정 활동이 끝났어요. 그 결과가 어떻든 이제 저는 올해 마지막 날까지 C 프로그래밍 학습에 집중할 거예요.
미래에 제가 논리학을 훨씬 더 깊이 공부하고 나면, 아동 및 청소년 성 착취물과 음란물의 관계를 형식적으로 기술해 볼게요.
미래에 제가 논리학을 훨씬 더 깊이 공부하고 나면, 아동 및 청소년 성 착취물과 음란물의 관계를 형식적으로 기술해 볼게요.
November 11, 2025 at 7:47 PM
드디어 2025년 2월부터 11월까지 진행한 제 아청법 개정 활동이 끝났어요. 그 결과가 어떻든 이제 저는 올해 마지막 날까지 C 프로그래밍 학습에 집중할 거예요.
미래에 제가 논리학을 훨씬 더 깊이 공부하고 나면, 아동 및 청소년 성 착취물과 음란물의 관계를 형식적으로 기술해 볼게요.
미래에 제가 논리학을 훨씬 더 깊이 공부하고 나면, 아동 및 청소년 성 착취물과 음란물의 관계를 형식적으로 기술해 볼게요.
제가 고소랑 고발의 차이도 몰랐고, 정당방위와 정당행위의 차이도 몰랐던 걸 보면 고등학교에서 법을 더 공부해야 했나 봐요. 물론 자퇴 갖고 이제 와서 변명할 수는 없겠죠. 그 뒤에도 법을 공부할 시간은 많았으니. 근데 프로그래밍부터 배워야 돼요.
November 11, 2025 at 7:28 AM
제가 고소랑 고발의 차이도 몰랐고, 정당방위와 정당행위의 차이도 몰랐던 걸 보면 고등학교에서 법을 더 공부해야 했나 봐요. 물론 자퇴 갖고 이제 와서 변명할 수는 없겠죠. 그 뒤에도 법을 공부할 시간은 많았으니. 근데 프로그래밍부터 배워야 돼요.
돈 없는 제가 변호사의 의견을 공짜로 들을 꾀를 부려서 방금 그분의 말씀을 들었는데, 그분이 "성인 배우만 나오는 성인물이나 애니메이션이 법정에서 아동 및 청소년 성 착취물로 판정되기는 어렵다."라고 하시더군요. www.lawtimes.co.kr/news/153415
[판결] "교복 차림 성행위 애니메이션도 아동·청소년 이용 음란물"
교복을 입은 등장인물이 성행위를 하는 애니메이션도 아동·청소년의 성보호에 관한 법률이 금지하는 '아동·청소년 이용 음란물'에 해당한다는 대법원 판결이 나왔다. 대법원은 청소년성보호법이 규정하고 있는 '아동·청소년으로 인식될 수 있는 표현물'은 사회 평균인 시각에서 명백히 청소년으로 인식될 수 있는 표현물이라고 해석 기준을 제시했다. 대법원이 '아동·청소년으...
www.lawtimes.co.kr
November 11, 2025 at 7:13 AM
돈 없는 제가 변호사의 의견을 공짜로 들을 꾀를 부려서 방금 그분의 말씀을 들었는데, 그분이 "성인 배우만 나오는 성인물이나 애니메이션이 법정에서 아동 및 청소년 성 착취물로 판정되기는 어렵다."라고 하시더군요. www.lawtimes.co.kr/news/153415
올해 여름과 가을에 제가 '어느 분'에게 이런 얘길 들었어요. "불휘 님은 당사자가 아닌데, 당사자가 호소해야 의원님들이 더 강력한 의지로 법을 발의하실 수 있다."
근데 당사자들에게 그건 너무 무리한 요구잖아요? 그래서 갑갑했죠. 저도 이제 슬슬 손 떼려고요.
근데 당사자들에게 그건 너무 무리한 요구잖아요? 그래서 갑갑했죠. 저도 이제 슬슬 손 떼려고요.
November 10, 2025 at 11:56 AM
올해 여름과 가을에 제가 '어느 분'에게 이런 얘길 들었어요. "불휘 님은 당사자가 아닌데, 당사자가 호소해야 의원님들이 더 강력한 의지로 법을 발의하실 수 있다."
근데 당사자들에게 그건 너무 무리한 요구잖아요? 그래서 갑갑했죠. 저도 이제 슬슬 손 떼려고요.
근데 당사자들에게 그건 너무 무리한 요구잖아요? 그래서 갑갑했죠. 저도 이제 슬슬 손 떼려고요.
2025. 11. 11.(화) 영상 공개 목표
• 영상 주제: 아동·청소년 성 착취물의 정의 개선하기
11월 10일(월) 새벽 2시에 발표 자료를 다 만들었어요. 월요일에는 제가 작성한 문서들에 관한 법률 검토를 받고, 마트서 식재료를 사고, 근력 운동을 할게요. 그다음 날에 영상을 녹화할게요.
• 영상 주제: 아동·청소년 성 착취물의 정의 개선하기
11월 10일(월) 새벽 2시에 발표 자료를 다 만들었어요. 월요일에는 제가 작성한 문서들에 관한 법률 검토를 받고, 마트서 식재료를 사고, 근력 운동을 할게요. 그다음 날에 영상을 녹화할게요.
November 9, 2025 at 5:23 PM
2025. 11. 11.(화) 영상 공개 목표
• 영상 주제: 아동·청소년 성 착취물의 정의 개선하기
11월 10일(월) 새벽 2시에 발표 자료를 다 만들었어요. 월요일에는 제가 작성한 문서들에 관한 법률 검토를 받고, 마트서 식재료를 사고, 근력 운동을 할게요. 그다음 날에 영상을 녹화할게요.
• 영상 주제: 아동·청소년 성 착취물의 정의 개선하기
11월 10일(월) 새벽 2시에 발표 자료를 다 만들었어요. 월요일에는 제가 작성한 문서들에 관한 법률 검토를 받고, 마트서 식재료를 사고, 근력 운동을 할게요. 그다음 날에 영상을 녹화할게요.
교재의 앞선 내용을 이해하는 데 뒤선 내용이 필요한 상황을 가리키는 개념이 있는지 모르겠는데, 어떤 교재에서 그런 상황이 발생하지 않음을 형식적으로 증명하는 일이 가능할지 이따금 생각하곤 해요.
November 9, 2025 at 5:01 AM
교재의 앞선 내용을 이해하는 데 뒤선 내용이 필요한 상황을 가리키는 개념이 있는지 모르겠는데, 어떤 교재에서 그런 상황이 발생하지 않음을 형식적으로 증명하는 일이 가능할지 이따금 생각하곤 해요.
한국 아청법과 미국 형법을 조사하면서 올해 봄에 '그 비스크 돌은 사랑을 한다', '코미 양은 커뮤증입니다'를 비롯한 여러 일본 애니메이션과 만화를 봤어요. 그 결과, 성적 표현에 대한 제 심정과 반응이 정말 크게 달라졌어요. 오타쿠의 관점에서 제 입장은 여전히 보수적일 수 있지만요.
절대로 작품을 일부분만 보고 그 전체를 평가하지 말아야겠다는 교훈을 얻기도 했네요. 그래서 일본 대중문화 콘텐츠에서 흔히 볼 수 있는 성적 표현을 재생산하는 창작자들과 그 창작물을 소비하는 팬들을 어떻게 바라봐야 할지 정하기가 매우 어려워요.
절대로 작품을 일부분만 보고 그 전체를 평가하지 말아야겠다는 교훈을 얻기도 했네요. 그래서 일본 대중문화 콘텐츠에서 흔히 볼 수 있는 성적 표현을 재생산하는 창작자들과 그 창작물을 소비하는 팬들을 어떻게 바라봐야 할지 정하기가 매우 어려워요.
November 7, 2025 at 3:42 PM
한국 아청법과 미국 형법을 조사하면서 올해 봄에 '그 비스크 돌은 사랑을 한다', '코미 양은 커뮤증입니다'를 비롯한 여러 일본 애니메이션과 만화를 봤어요. 그 결과, 성적 표현에 대한 제 심정과 반응이 정말 크게 달라졌어요. 오타쿠의 관점에서 제 입장은 여전히 보수적일 수 있지만요.
절대로 작품을 일부분만 보고 그 전체를 평가하지 말아야겠다는 교훈을 얻기도 했네요. 그래서 일본 대중문화 콘텐츠에서 흔히 볼 수 있는 성적 표현을 재생산하는 창작자들과 그 창작물을 소비하는 팬들을 어떻게 바라봐야 할지 정하기가 매우 어려워요.
절대로 작품을 일부분만 보고 그 전체를 평가하지 말아야겠다는 교훈을 얻기도 했네요. 그래서 일본 대중문화 콘텐츠에서 흔히 볼 수 있는 성적 표현을 재생산하는 창작자들과 그 창작물을 소비하는 팬들을 어떻게 바라봐야 할지 정하기가 매우 어려워요.
한국 아청법과 미국 형법을 조사하면서 올해 봄에 '그 비스크 돌은 사랑을 한다', '코미 양은 커뮤증입니다'를 비롯한 여러 일본 애니메이션과 만화를 봤어요. 그 결과, 성적 표현에 대한 제 심정과 반응이 정말 크게 달라졌어요. 오타쿠의 관점에서 제 입장은 여전히 보수적일 수 있지만요.
November 7, 2025 at 3:33 PM
한국 아청법과 미국 형법을 조사하면서 올해 봄에 '그 비스크 돌은 사랑을 한다', '코미 양은 커뮤증입니다'를 비롯한 여러 일본 애니메이션과 만화를 봤어요. 그 결과, 성적 표현에 대한 제 심정과 반응이 정말 크게 달라졌어요. 오타쿠의 관점에서 제 입장은 여전히 보수적일 수 있지만요.
이제 저도 C 프로그래밍, 린 멘토링, 게임 방송을 다시 진행하려고 해요. 다만, 그동안의 제 아청법 개정 활동을 요약하는 영상을 한 편 만들어 제 치지직 채널과 유튜브 채널에 올릴까 해요.
사실 한민수 민주당 의원님은 과학기술정보방송통신위원회 소속 국회의원이셔서 저도 그 분야의 입법을 제안하는 편이 나았을 거예요.
근데 하필 제가 올해 2월에 민주당 온라인정책참여단에서 맨 처음으로 고른 주제가 아청법이었고, 그 개정 활동에 약 80시간 이상을 들일 줄 몰랐어요.
사실 한민수 민주당 의원님은 과학기술정보방송통신위원회 소속 국회의원이셔서 저도 그 분야의 입법을 제안하는 편이 나았을 거예요.
근데 하필 제가 올해 2월에 민주당 온라인정책참여단에서 맨 처음으로 고른 주제가 아청법이었고, 그 개정 활동에 약 80시간 이상을 들일 줄 몰랐어요.
November 7, 2025 at 3:10 PM
이제 저도 C 프로그래밍, 린 멘토링, 게임 방송을 다시 진행하려고 해요. 다만, 그동안의 제 아청법 개정 활동을 요약하는 영상을 한 편 만들어 제 치지직 채널과 유튜브 채널에 올릴까 해요.
사실 한민수 민주당 의원님은 과학기술정보방송통신위원회 소속 국회의원이셔서 저도 그 분야의 입법을 제안하는 편이 나았을 거예요.
근데 하필 제가 올해 2월에 민주당 온라인정책참여단에서 맨 처음으로 고른 주제가 아청법이었고, 그 개정 활동에 약 80시간 이상을 들일 줄 몰랐어요.
사실 한민수 민주당 의원님은 과학기술정보방송통신위원회 소속 국회의원이셔서 저도 그 분야의 입법을 제안하는 편이 나았을 거예요.
근데 하필 제가 올해 2월에 민주당 온라인정책참여단에서 맨 처음으로 고른 주제가 아청법이었고, 그 개정 활동에 약 80시간 이상을 들일 줄 몰랐어요.
아청법 제11조 제5항에 대한 헌법소원심판청구서의 초고를 방금 제가 오픈넷에 보냈어요. 이제 거기서 제 초고를 검토한 뒤에 제게 답변할 거예요.
November 7, 2025 at 6:12 AM
아청법 제11조 제5항에 대한 헌법소원심판청구서의 초고를 방금 제가 오픈넷에 보냈어요. 이제 거기서 제 초고를 검토한 뒤에 제게 답변할 거예요.
• 제가 한민수 의원님에게 드린 아청법 개정안: git.sr.ht/~chabulhwi/t...
• 제가 작성한 아청법 헌법소원심판청구서(웹 문서): git.sr.ht/~chabulhwi/t...
• 제가 작성한 아청법 헌법소원심판청구서(PDF 문서): git.sr.ht/~chabulhwi/t...
• 제가 작성한 아청법 헌법소원심판청구서(웹 문서): git.sr.ht/~chabulhwi/t...
• 제가 작성한 아청법 헌법소원심판청구서(PDF 문서): git.sr.ht/~chabulhwi/t...
git.sr.ht
November 6, 2025 at 2:55 PM
• 제가 한민수 의원님에게 드린 아청법 개정안: git.sr.ht/~chabulhwi/t...
• 제가 작성한 아청법 헌법소원심판청구서(웹 문서): git.sr.ht/~chabulhwi/t...
• 제가 작성한 아청법 헌법소원심판청구서(PDF 문서): git.sr.ht/~chabulhwi/t...
• 제가 작성한 아청법 헌법소원심판청구서(웹 문서): git.sr.ht/~chabulhwi/t...
• 제가 작성한 아청법 헌법소원심판청구서(PDF 문서): git.sr.ht/~chabulhwi/t...
가상의 미성년자 등장인물을 단지 일부 여성 오타쿠의 성적 욕구를 충족하기 위한 수단으로 전락시키는 창작물은 페미니즘의 관점에서도 윤리적으로 비판할 만해요. 실제 미성년자 대상의 성범죄를 유발하지 않는다고 해도, 그런 창작물은 미성년자를 성욕의 대상으로만 여기는 태도를 퍼뜨리니까요.
November 3, 2025 at 3:46 PM
가상의 미성년자 등장인물을 단지 일부 여성 오타쿠의 성적 욕구를 충족하기 위한 수단으로 전락시키는 창작물은 페미니즘의 관점에서도 윤리적으로 비판할 만해요. 실제 미성년자 대상의 성범죄를 유발하지 않는다고 해도, 그런 창작물은 미성년자를 성욕의 대상으로만 여기는 태도를 퍼뜨리니까요.
진짜 제가 이번 입법 제안과 헌법소원심판 청구만 끝내고 나면 게임 개발에 집중해야겠어요. 청구서의 초고를 작성하는 데 벌써 9시간 반이 쓰였어요.
November 2, 2025 at 3:34 PM
진짜 제가 이번 입법 제안과 헌법소원심판 청구만 끝내고 나면 게임 개발에 집중해야겠어요. 청구서의 초고를 작성하는 데 벌써 9시간 반이 쓰였어요.
오늘 오후 5시로 예정된 C 프로그래밍 방송을 끝낸 뒤부터 제가 헌법소원심판청구서를 완성하기 전까지 모든 일정을 중단할게요.
• 치지직 채널 링크: chzzk.naver.com/7b15632e2d01...
• 치지직 채널 링크: chzzk.naver.com/7b15632e2d01...
치지직 CHZZK
chzzk.naver.com
November 1, 2025 at 6:03 AM
오늘 오후 5시로 예정된 C 프로그래밍 방송을 끝낸 뒤부터 제가 헌법소원심판청구서를 완성하기 전까지 모든 일정을 중단할게요.
• 치지직 채널 링크: chzzk.naver.com/7b15632e2d01...
• 치지직 채널 링크: chzzk.naver.com/7b15632e2d01...
제가 타이프스트(Typst)의 wonderous-book 문서 양식을 이용해 문서를 작성하려고 했는데, 그러면 한글 글꼴이 바뀌지 않더군요. 그래서 문서 양식 없이 그냥 제가 표지를 만들었어요.
제가 저녁을 늦게라도 먹어야 돼서 마감 시간을 넘길 듯해요. 죄송합니다. typst.app/universe/pac...
제가 저녁을 늦게라도 먹어야 돼서 마감 시간을 넘길 듯해요. 죄송합니다. typst.app/universe/pac...
wonderous-book – Typst Universe
A fiction book template with running headers and serif typography
typst.app
October 31, 2025 at 11:35 AM
제가 타이프스트(Typst)의 wonderous-book 문서 양식을 이용해 문서를 작성하려고 했는데, 그러면 한글 글꼴이 바뀌지 않더군요. 그래서 문서 양식 없이 그냥 제가 표지를 만들었어요.
제가 저녁을 늦게라도 먹어야 돼서 마감 시간을 넘길 듯해요. 죄송합니다. typst.app/universe/pac...
제가 저녁을 늦게라도 먹어야 돼서 마감 시간을 넘길 듯해요. 죄송합니다. typst.app/universe/pac...
카카오가 이 미러를 운영하나 봐요? 여기 덕분에 지금 제가 TeX Live(테흐 라이브)를 설치하고 있어요. mirror.kakao.com
Home - mirror.kakao.com
kakao 오픈소스 미러저장
mirror.kakao.com
October 31, 2025 at 8:18 AM
카카오가 이 미러를 운영하나 봐요? 여기 덕분에 지금 제가 TeX Live(테흐 라이브)를 설치하고 있어요. mirror.kakao.com
아마 유럽 만화책 중에는 영어로도 번역되지 않은 작품이 많은 듯해요. 전자책을 구할 수도 없고요.
October 31, 2025 at 5:01 AM
아마 유럽 만화책 중에는 영어로도 번역되지 않은 작품이 많은 듯해요. 전자책을 구할 수도 없고요.
10월 말까지 제가 아청법 헌법 소원 청구서의 초고를 작성하겠다고 말했는데, 이제야 시간이 나네요. 하루밖에 안 남았군요.
이 청구서는 한민수 의원님이 제가 제안한 아청법 개정안을 발의하지 않으실 때만 필요해요.
이 청구서는 한민수 의원님이 제가 제안한 아청법 개정안을 발의하지 않으실 때만 필요해요.
October 30, 2025 at 12:19 PM
10월 말까지 제가 아청법 헌법 소원 청구서의 초고를 작성하겠다고 말했는데, 이제야 시간이 나네요. 하루밖에 안 남았군요.
이 청구서는 한민수 의원님이 제가 제안한 아청법 개정안을 발의하지 않으실 때만 필요해요.
이 청구서는 한민수 의원님이 제가 제안한 아청법 개정안을 발의하지 않으실 때만 필요해요.
두 번 실패한 끝에 영상을 녹화했어요. 귀납형[inductive type]의 매개 변수와 첨자[index]가 서로 어떻게 다른지를 설명하기가 꽤 어려웠어요. 그런데 그 뒤에 나온 같음 유형[equality type]의 재귀자도 만만찮아요. youtu.be/CiDGFSrVkTE?...
"린 4로 하는 정리 증명" 7장 (11) 귀납족
YouTube video by Bulhwi Cha (차불휘)
youtu.be
October 30, 2025 at 12:16 PM
두 번 실패한 끝에 영상을 녹화했어요. 귀납형[inductive type]의 매개 변수와 첨자[index]가 서로 어떻게 다른지를 설명하기가 꽤 어려웠어요. 그런데 그 뒤에 나온 같음 유형[equality type]의 재귀자도 만만찮아요. youtu.be/CiDGFSrVkTE?...