PL
coinduction
- 코덕
- 무한한것포함시키기
- 전체부터 다듬어가기
- 코인덕
댓글 10개
이"
이재호 "Zeta"·코인덕·20일 전
코인덕을 제안해요.
이
이광근/YiKwangkeun·무한한것포함시키기·일 년 전
무한한것포함시키기를 제안합니다.
이
이광근/YiKwangkeun·일 년 전
유한한것만 포함하기(인덕)를 넘어서서 무한한것까지 포함하는 집합을 만들때 사용하므로.
이
이광근/YiKwangkeun·코덕·일 년 전
인덕,디덕,앱덕 으로 제안한 것과 같은 취지로
이
이광근/YiKwangkeun·전체부터 다듬어가기·일 년 전
"coinduction"으로 정의되는 집합은, 단조함수가 $f$를 가지고 $\bigcap_i f^i(\top)$ 으로 정의되므로 ($\top$은 가정하는 전체집합).
이
이광근/YiKwangkeun·일 년 전
그 집합을 다르게 정의하면 $\bigcup\{X | X \subseteq f(X)\}$ 이고 $f$의 고정점중에서 제일 큰 놈이다(최대고정점).
이
이광근/YiKwangkeun·일 년 전
인덕의 듀얼(dual)이므로, 뒤집어서 "덕인"으로.
이
이광근/YiKwangkeun·일 년 전
아니면 "코인덕" 또는 "여인덕" ("여집합"에서 "여"를 써서, 일본학계 작명법을 따라서)?
"dual"의 쉬운말이 뭐가 있을까요?
이
이광근/YiKwangkeun·일 년 전
"코덕"이 더 좋을듯.
이
이광근/YiKwangkeun·20일 전
좋습니다.
대비해보죠: "인덕", "앱덕", "디덕", "코덕" vs "귀납", "귀추", "연역", "??". 어차피 소리로만 읽을거면, "...덕" "...덕" "...덕" 운도 맞출겸 더 좋게 들리네요. ㅋ