[%] 평생 목표가 하스켈 이해하고 증명언어 갖고 배워서 놀아보는거

[익명(141.223)]

범주론도 하드하게 배우고 그게 목푠데 죽기전까지 할 수 있을까

[커헠(msca8h)]

그게 평생까지나 필요함? - return 0;

[익명(141.223)]

머리가 안 좋고 다른거 배우거 싶은 거도 많고 해서

[커헠(msca8h)]

머리가 안 좋다는건 어케 암 - return 0;

[익명(141.223)]

글쎄.. 좋은 편은 아닌 거 같으

[커헠(msca8h)]

앨런 튜링이 3수 하고서도 가고 싶은 대학 못간건 알고 있음? - return 0;

[익명(202.150)]

증명 언어 머 말하는 거냐. 요즘은 증명 언어도 너무 많아..

[익명(141.223)]

하나도 모름 Coq 일단 잡고 시작하는데 사실 언어보다는 범주론적으로 쓰여진 거에 더 집중하고 싶음

[다믜(damhiya)]

결국 증명언어도 다 범주론 됨

[익명(202.150)]

그리고 먼가를 배우겠다, 또는 이해하겠다는 목표는 최종 목표가 되어서는 안 됨. 무언가를 만들어내는 것을 목표로 하고, 배우는 것은 그 과정에 있는 것이다

[익명(141.223)]

뭐 만들고 싶은 게 없고 그냥 그 체계가 이뻐보여서 배워보려는거임. 그니까 취미수준인거지.. 몰라 하다보면 내가 만들고 싶은게 생길 수도 있을건데 그러려면 그걸 업으로 삼아야지.. 근데 그거까진 못해

[익명(218.147)]

취미로 학문적으로 공부하는 것도 좋지. 난 지금껏 컴퓨터 언어를 사용하면 뭔가를 만드는 것만 생각했는데.. 컴퓨터과학 학문으로서 공부하는 사람도 있네.

[익명(218.147)]

그리고 틀딱곤대로서 한마디 하는데, 평생 목표는 "행복하게 사는 것"을 목표로 삼으삼.

[익명(110.70)]

저런 거 공부하는게 내가 행복해지는 방법이라 ㅋㅋ 저건 내 평생 목표 중 하나일 뿐임

[익명(39.7)]

사람마다 하고싶은게 다르고 행복 느끼는 방식, 수단도 다른데 진짜 훈수 좆되네 ㅅㅂ ㅋㅋㅋ

[익명(218.147)]

그러니까 사람마다 다르니까 행복을 목표로 삼으라는겨

[익명(218.147)]

평생 목표로 뭔가를 하다가 좌절 겪을 때, 아... 원래 목표가 "행복"이지.. 이러면서 극복하라는 거임.

[Penguin(175.208)]

난 맛있는 맥주 배합을 스스로 연구하는 인공지능