일단 제가 지망하는 랩실의 연구내용, 프로덕트는 첨부한 사진과 같습니다,
서울대학교 컴퓨터공학부 이광근 교수님이십니다.
대충 컴파일타임에 정적으로 코드를 분석해서 무결성을 체크하는 그런 일을 하고있는듯 합니다.
1. 제 해석이 맞습니까? 혹시 제 해석이 틀리거나, 겉으로 보이는것 그 이상의 주제를 랩실에서 다룰 가능성도 있습니까?
개인적으로 재미있어보입니다.
애초에 함수형 공부를 빡세게 시작하게된 계기도 제가 이광근교수님의 수업을 하나 들었기 때문입니다.
(크게 아파서 휴학했기에 강의수강기록은 남지 않았습니다. 과제 두번 제출해서 만점받은 기록정돈 있을까요)
수업은 오카멜로 이뤄졌었고, 수업에서 오카믈의 절차지향적 문법은 다루지 않아서(혹은 배우기전에 제가 휴학하는바람에) 당시 이걸로 어떻게 프로그래밍을 해, 하면서 의문을 가졌었는데
그 물음을 해소하고 함수형 프로그래밍이 어떤 기법을 쓰는지 알아보자고 파고 들어간게 제 함수형 공부의 시작입니다.
즉, 제가 함수형공부에 진심이 되고, 그에 따라 자바부터 시작해서 객체지향과 함수형, 그리고 융합 이라는 키워드로 공부를 시작하게 된 계기가 이광근 교수님의 수업을 통해 오카멜을 경험했기 때문입니다.
재귀적인 타입과 재귀적인 알고리즘은 당시 저에게 굉장한 충격이었습니다.
그. 럼. 에. 도
2. PL배워서 어디에 씁니까? 진로는 어떻게 됩니까?
라는 의문을 떨쳐낼 수가 없습니다.
전 개인적으로 창업하고 싶습니다.
그래요 솔직히 창업과 연결점이 조금이라도 더 많고, 투자금받기에 용이한 ML 랩실 들어가고 싶습니다.
다만
ㆍ 목적에 의해 바쁘게 바쁘게 파이썬으로 라이브러리써가며 코딩하는것보다
프로그래밍언어의 본질에 집중하면서 "정식으로 프로그램"하는 재미를 느껴가며 학문 그 자체에 몰두해보는쪽이 제 성향입니다. 제 글들 보시면 아실겁니다. 그리고 제 이런 성향은 백그라운드가 없는 상태에서 저 혼자만의 세계를 세계수처럼 뻗어나가기보단 대가의 밑에서 단단한 뿌리를 가지고 진행하는것이 바람직하다고 생각합니다. 물론, 진로를 생각한다면 그거 해서 뭐하게? 대세인 머신러닝이나 탑승해! 싶지만 일단 제 성향은 이쪽입니다.
너무 늦게 밝혔군요. 저는 자연대, 수학과입니다. 그리고 수학에서 제일 좋아하는 과목은 집합론과 선형대수입니다.
근본중의 근본, 그 뿌리부터 파고 들어서 단단한 시작점에서 출발하는것을 좋아하기 때문입니다. 완벽주의적 성향을 가지고 있어요.
ㆍ 저는 인생을 굉~장히 장기적으로 바라봅니다. ML이 단기적으로 쓸모가 있고, 어느 과를 가더라도, 그리고 대학원을 가지 않더라도 저는 개인적으로라도 무조건 공부할 생각인데요,
PL이 더 근원적이고 ML보다 근간에 깔려있지 않나 싶습니다. PL이 단순히 근간에깔린 기술이라기에는 범용성도 넓다고 생각하고, 또 PL 이쪽이 ML과 연관이 없다고 생각하지도 않습니다.
ML의 주 관심사중 하나가 코드짜는 인공지능이라고 보여지는데, "코드를 짠다" 와 "인공지능" 두 키워드 모두 PL과 관련 있다고 생각합니다. 코드짜기 자동화 혹은 코드짜는데 도움을 주는 애드온 이런걸 생각한다면 창업각도 보이지 않을까요? 꼭 거창한 창업일 필요 없습니다. 제가 주도하는 세상을 앞서나가는 첨단 테크 프로그래밍 협업 이면 만족입니다.
3. PL 인기 많나요? 컴공 대학원들이 전반적으로 인기가 높을것으로 예상됩니다만...
제 학점이 무지무지 낮습니다. 대학원포기학점이에요 가고싶을줄도 몰랐고..
자대 대학원가고싶지만 안된다면 눈을 낮춰야겠죠.
그럼에도 이광근교수님께 컨택해볼 생각입니다.
1 2 3 질문에 답변해주시면 감사하겠습니다.
서울대학교 컴퓨터공학부 이광근 교수님이십니다.
대충 컴파일타임에 정적으로 코드를 분석해서 무결성을 체크하는 그런 일을 하고있는듯 합니다.
1. 제 해석이 맞습니까? 혹시 제 해석이 틀리거나, 겉으로 보이는것 그 이상의 주제를 랩실에서 다룰 가능성도 있습니까?
개인적으로 재미있어보입니다.
애초에 함수형 공부를 빡세게 시작하게된 계기도 제가 이광근교수님의 수업을 하나 들었기 때문입니다.
(크게 아파서 휴학했기에 강의수강기록은 남지 않았습니다. 과제 두번 제출해서 만점받은 기록정돈 있을까요)
수업은 오카멜로 이뤄졌었고, 수업에서 오카믈의 절차지향적 문법은 다루지 않아서(혹은 배우기전에 제가 휴학하는바람에) 당시 이걸로 어떻게 프로그래밍을 해, 하면서 의문을 가졌었는데
그 물음을 해소하고 함수형 프로그래밍이 어떤 기법을 쓰는지 알아보자고 파고 들어간게 제 함수형 공부의 시작입니다.
즉, 제가 함수형공부에 진심이 되고, 그에 따라 자바부터 시작해서 객체지향과 함수형, 그리고 융합 이라는 키워드로 공부를 시작하게 된 계기가 이광근 교수님의 수업을 통해 오카멜을 경험했기 때문입니다.
재귀적인 타입과 재귀적인 알고리즘은 당시 저에게 굉장한 충격이었습니다.
그. 럼. 에. 도
2. PL배워서 어디에 씁니까? 진로는 어떻게 됩니까?
라는 의문을 떨쳐낼 수가 없습니다.
전 개인적으로 창업하고 싶습니다.
그래요 솔직히 창업과 연결점이 조금이라도 더 많고, 투자금받기에 용이한 ML 랩실 들어가고 싶습니다.
다만
ㆍ 목적에 의해 바쁘게 바쁘게 파이썬으로 라이브러리써가며 코딩하는것보다
프로그래밍언어의 본질에 집중하면서 "정식으로 프로그램"하는 재미를 느껴가며 학문 그 자체에 몰두해보는쪽이 제 성향입니다. 제 글들 보시면 아실겁니다. 그리고 제 이런 성향은 백그라운드가 없는 상태에서 저 혼자만의 세계를 세계수처럼 뻗어나가기보단 대가의 밑에서 단단한 뿌리를 가지고 진행하는것이 바람직하다고 생각합니다. 물론, 진로를 생각한다면 그거 해서 뭐하게? 대세인 머신러닝이나 탑승해! 싶지만 일단 제 성향은 이쪽입니다.
너무 늦게 밝혔군요. 저는 자연대, 수학과입니다. 그리고 수학에서 제일 좋아하는 과목은 집합론과 선형대수입니다.
근본중의 근본, 그 뿌리부터 파고 들어서 단단한 시작점에서 출발하는것을 좋아하기 때문입니다. 완벽주의적 성향을 가지고 있어요.
ㆍ 저는 인생을 굉~장히 장기적으로 바라봅니다. ML이 단기적으로 쓸모가 있고, 어느 과를 가더라도, 그리고 대학원을 가지 않더라도 저는 개인적으로라도 무조건 공부할 생각인데요,
PL이 더 근원적이고 ML보다 근간에 깔려있지 않나 싶습니다. PL이 단순히 근간에깔린 기술이라기에는 범용성도 넓다고 생각하고, 또 PL 이쪽이 ML과 연관이 없다고 생각하지도 않습니다.
ML의 주 관심사중 하나가 코드짜는 인공지능이라고 보여지는데, "코드를 짠다" 와 "인공지능" 두 키워드 모두 PL과 관련 있다고 생각합니다. 코드짜기 자동화 혹은 코드짜는데 도움을 주는 애드온 이런걸 생각한다면 창업각도 보이지 않을까요? 꼭 거창한 창업일 필요 없습니다. 제가 주도하는 세상을 앞서나가는 첨단 테크 프로그래밍 협업 이면 만족입니다.
3. PL 인기 많나요? 컴공 대학원들이 전반적으로 인기가 높을것으로 예상됩니다만...
제 학점이 무지무지 낮습니다. 대학원포기학점이에요 가고싶을줄도 몰랐고..
자대 대학원가고싶지만 안된다면 눈을 낮춰야겠죠.
그럼에도 이광근교수님께 컨택해볼 생각입니다.
1 2 3 질문에 답변해주시면 감사하겠습니다.
님 설수리임? 안 믿기는데 - dc App
석박은 너무 전문 분야라서 뭐라 나대면서 답해주기가 곤란한데, 제일 좋은건 님 말대로 교수한테 직접 물어보고 답변을 받는게 제일 확실하지. ㅅㅂ 이거 어따씁니까. 하고.. 근데 안 물어봐도 알수 있는 방법이 있긴한데, 제1저자, 제2저자등등 제자들을 전부 링크드인에서 검색해서 어느 회사 어느 파트에서 일하는지 보면 대충 감이 온다. 보통 퇴사하고나서는 Project에 대한 summary를 보면 이걸 전공해서 회사에서 대략 어떤 일을 하면서 먹고 사는지가 나오니까.
그 다음에 제자로 있던 사람들 한테 개인적으로 연락해서 이거 전공하고 싶다고 사람인생이 달린일이니 꼭 도움 좀 달라고 연락하면 반겨줄꺼임. 마지막 답변은 항상 "왜 노예짓을 할려고 하니 생각을 바꿔서 도망가라"일테지만. 랩실에 대한 장단점, 산업계의 장단점을 들을 수 있겠지? (물론 나는 컴파일이나 랭귀지쪽 학문은 쥐뿔도 모르는데, 생태계는 비슷비슷해서 그냥 아는데까지 말해줌)
그리고 너는 지금 모순적인 이야기를 하고 있어. 학문과 근본을 좋아하는데, 창업은 상당히 반대거든. 창업은 수요를 따라가야 함. 대신 학문은 수요와는 관계가 없이 전문성으로 깊게 깊게 들어가는 것이지. 돈이 되서 연구하는게 아니라 가능성이 보이면 그냥 닥치고 연구하는거지. 그래서 수익화는 교수직으로 하는거고. 교수가 창업을 한다? 연구한 기술로 IP 만들고 산업에서 수요가 나왔기 때문에 창업을 하는거지. 사건의 순서가 학문을 하다보니 니즈가 있어서 창업하게 됨인데, 너님은 순서가 잘못된 것 같다.
그냥 남자라면 개썅마이웨이 남들이 뭐라하건 스승이 있건 없건 하고 싶은 공부 끝까지 해보는거임.
ㄱㅅㄱㅅ 제자들한테도 연락해보고 제자들을 검색해보는방법이 있었군요. 창업얘기가 나온거는 인생을 무지 길게 봐서 그런겁니다. 제 인생에 목표랄게 딱히 없어요. 꿈은 있긴한데 막 꼭 이뤄야만해! 는 아니고 그냥 삶의 나침반처럼 활용해서 추진력으로 사용하는거라 못이뤄도 딱히 상관은 없습니다. 인생을 무한히 산다면 내가 지금 열심히 사는것의 최종목표가 무엇인가
라고 했을때 내 배움과 탐구들을 직접 써먹을수 있었으면 좋겠다 입니다. 그래서 학부도 수학으로갔구요. 물리를 하더라도 결국 수학에서의 자기계발에서 연결시킬 수 있고 금융을 하더라도 수학에서부터 연결시킬 수 있다고 생각했습니다. 학문과 배움이 상업적인것과 멀리떨어져있긴 해도, 그걸 연결시켜내서 거대한 작품을 이뤄내려는건 모든사람들의 로망 아닐까요?
인류가 분업을 하고 있고 학문하는사람은 학문하는역할이 있고 그게 이리저리 여러사람들을 거쳐 상업화가 되거나 아니면 학문을 위한 학문으로만 남거나 하는걸텐데 여하튼 전 말도 안되는 로망을 조금 갖고 있습니다. 창업하더라도 "코딩하는 CEO"가 되고싶은데 이 생각을 금융권선배들한테 얘기했다가 된통깨졌습니다. CEO는 코딩하는사람 아니라고. 퇴물님 말대로
전 모순덩어리입니다. 근데 그냥 불가능한 이상을 안고 현실을 바쁘게 살면. "저새낀 왜 저렇게까지 해?" 라고 할때 "저 븅신은 시발 대단한 수학적탐구를 기반으로 창업을하고 창업자가 코딩할거랜다. 창업아이템도없는 븅신임" 이라는 평가를 들으면 그걸로 족합니다.
그냥 의미 없어보이는거 열심히과몰입하고 의미부여하면 그걸로 즐겁고 행복합니다. 그래서 창업얘기한건, 교수생각없고 학위를 통한 스펙쌓기에도 관심없고 그저 자기계발을 즐길 뿐이라는 얘기와 동치에요. 그러면서 한편으론 "시바 진짜 해보자 인생 길다 60살에 창업하더라도 내 꿈을 이뤄보자" 라는 꿈이 있어서 추진력삼을 수 있어요.
전 거의 무소유주의자에요.인생에서 즐기고싶은것도 없고 (프로그래밍이랑 공부가 제일 재밌고 해외여행도 귀찮습니다)결혼생각도 없고집 차 욕심도 없고하고싶은게 있다면 내 지적인 노력의 결과가 담긴 작품을 만들어내는거에요.스티브잡스, 리눅스토르발스 가 워너비입니다.잡스는 개비ㅏㄹ자가아니니까 리누스가 워너비에요
젊은 친구라 생각이 너무 앞서기만 한 것 같군. 정말 관심 있고 하고 싶어 하는 애들은 진로를 생각하기 전에 이미 하고 있어. 학문이라는게 꼭 정해진 코스 (대학, 대학원)을 가야만 할 수 있는게 아니잖아? 여기 겔 ㅂㅅ들은 어느 언어가 좋니 나쁘니 전망이 있니 없니 '최적의 선택'을 하려고 고민만 몇일 하고 있는 반면에 영리한 친구들은 그냥 몇일 시간내서 책보고 두언어 다 써보면서 뭔가 만들고 있어. 너도 그냥 PL 쪽 전문서적 보면서(컴파일러 이론이려나?) 직접 한번 만들어보고 적성에 맞나 안맞나 찾아도 될 것 같은데?
내가 볼때 너는 가장 큰 문제가 롤 모델이 없는게 문제인 것 같다. 그리고 동경할만한 정말 대단한 사람을 못 만난 것 같아. 롤모델과 멘토 이 둘이 내 삶에 있는건 인생에 큰 행운이라 생각함. 저기 교수가 네 롤모델일까? 아니지? 그럼 그 길이 아닐꺼야. 최선을 다해서 설대 교수까지 하는 정도면 그 분야 탑티어인데. 네가 그 길을 가서 최선을 다해서 도달할 수 있는 지점이 저 교수거든. 회사도 마찬가지야. 그 분야 탑티어에 있는 사람이 결국 내 미래의 예상도임.
롤 모델하니까 생각났는데, 토발즈도 운영체제론이나 이딴거 제대로 공부해서 만들기보단 그냥 학생때 취미삼아 만들어 본 걸로 시작한거잖어. 그니까 저런 천재 과들은 '제대로'한다는 생각으로 하는게 아니라 그냥 하는거임. 네가 토발즈를 롤모델을 삼은 것 처럼 하는 것도 '유명하기'때문이란 것 뿐이야. 왜 그사람이 되고싶은지 솔직해지길.
컴파일러론을 보는것도 좋을것같네요
딱국추
Shut Up, Show me Your Code
카테고리 이론이나 공부해라
1번 => 정적분석 말고 프로그램 합성도 다루심
그건 뭔지 검색해봐야겠네요
프로그램을 고치거나 쓰는걸 의미하나보군요. 이 분야가 머신러닝으로 학습해서 코드를 작성해주는 챗지피티나 코파일럿과 어떻게 공생하는지 궁금해지는데요?
kaist prosys lab? - dc App
비추 멍석말이 추하네