위상수학보고 GG쳤다
힌들리-밀너까지는 알아먹겠는데 이건 욕밖에 안나오네
뭔진 모르지만 1차원 2차원 3차워 4차원 이군아?
네넹
대충 https://ko.m.wikipedia.org/wiki/%ED%98%B8%EB%AA%A8%ED%86%A0%ED%94%BC
이 이론을 기반으로 만들어진다는데 너무 어려움...
왜 갑자기 대수위상이 튀어나오죠? 저거 수학과에서도 전공자 밖에 안 하는 건데
https://ncatlab.org/nlab/show/cubical+type+theory
개드립
눈물이주룩주룩
뭔진 모르지만 1차원 2차원 3차워 4차원 이군아?
lsp
네넹
대충 https://ko.m.wikipedia.org/wiki/%ED%98%B8%EB%AA%A8%ED%86%A0%ED%94%BC
이 이론을 기반으로 만들어진다는데 너무 어려움...
닥스핀똥개주인
자살의합리성
왜 갑자기 대수위상이 튀어나오죠? 저거 수학과에서도 전공자 밖에 안 하는 건데
lsp
https://ncatlab.org/nlab/show/cubical+type+theory