[일반] 성태게이야 논리 재미있음??

[익명(219.255)]

나중에 그런 분야로 갈거임? 전혀 문외한인 사람이 보기엔 졸라 열심히하는 것 같은데

[김민성태팬클럽회장(thecoqproofassistant)]

저 옛날에 빌런인 기괴공학도임. 올해에 논리를 응용하는 컴퓨터 공학 분야 랩 컨택 성공함 ㅎㅎ

[익명(219.255)]

ㅇㅇ알고 있음 깃허브도 관리하잖아 논리를 이용한다길래 완전 computer "science"쪽인 줄 알았는데 engineering쪽도 있음?

[김민성태팬클럽회장(thecoqproofassistant)]

뭐라고 해야 되지? 그 ... 컴파일러 검증 분야인데 Coq으로 작업하니까 논리를 응용한다고 말한 거임.

[익명(219.255)]

존나 몰라서 하는 말인데 fundamental해보임 나중에 직장 잡으면 밥줄 끊길 일은 없겠누ㅋㅋㅋㅋㅋ

[김민성태팬클럽회장(thecoqproofassistant)]

ㄳㄳ ㅋㅋㅋㅋㅋ

[익명(219.255)]

근데 그 분야가 마이너함? 아님 그냥 보통?

[김민성태팬클럽회장(thecoqproofassistant)]

내가 관심 있는 분야를 넓게 보면 프로그래밍 언어론이고 컴파일러 검증도 프로그래밍 언어론에 들어가는데, 이 분야는 약간 변태들만 하는 분야임 ㅋㅋㅋㅋㅋㅋ

[익명(219.255)]

ㅋㅋㅋㅋㅋㅋ국내에 교수님 찾기 꽤 힘들었겠네 어디로 가냐?

[익명(219.255)]

씨빠! 믔있네!

[김민성태팬클럽회장(thecoqproofassistant)]

ㄳㄳ

[ExHentai.org(nsa15464)]

너 집합론 공부하면서 이해 안된다고 징징대던 때가 기억난다.. 그 찐따같던 기괴공학도가 맞냐? 가슴이 웅장해진다.. 근데 난 왜 아직도 찐따냐

[김민성태팬클럽회장(thecoqproofassistant)]

ㄴ 너도 편입 성공했잖아. 복소 엄청 즐기는 것 같던데

[ExHentai.org(nsa15464)]

즐기긴 무슨 개같이 어려워서 뒤지기 직전이다

[익명(118.235)]

전남대? - dc App

[ExHentai.org(nsa15464)]

얜 전남대인걸로 아는데 난 아니다

[익명(118.235)]

기괴공학도였음?? 몰랐네

[익명(118.235)]

꽤 마이너하지만 너드들이 많이들 궁금해하는 동네인듯. 한국에도 그쪽 연구 본격적으로 하는분들이 좀 있나? 한분정도 들어본거같은뎅

[익명(121.130)]

허충길교수님랩인가