0.
본격 프로그램 분석 덕후의 논문 감상 포스팅
1.
Types as Abstract Interpretation, Patrick Cousot.
타입과 프로그램 분석은 본래 하나다.
2.
학부 현대대수학 마지막 챕터에서
5차 이상의 방정식에 근의 공식이 존재하지 않음을 보일 때 만큼 아름다운
컴퓨터공학에도 이런 것이 존재하다니!
3.
이것을 저것의 맥락에서 이야기할 수 있다면
그 때야 말로 저것을 온전히 이해했다고 할만 하다.
우리는 물리학으로 치면 뉴튼과 동시대를 살고 있다는 지도교수님 이야기.
4.
석 잔 술 마시면 대도에 통하고,
한 말 술 마시면 자연과 합치되네.
오직 술 먹는 자만 취흥을 알 터이니
깨어있는 자에게는 전하지 말지어다.
이백, 월하독작
Posted by 발당
- Response
- No Trackback , 1 Comment
Comments List
-
학부 현대대수학 마지막 챕터에서 얼마나 아름답게 표현하길래..
