전산주의

http://2015.ecoop.org/track/research-track#event-overview

ECOOP 2015의 accepted paper 목록이 떴다. JavaScript 논문 짱 많네...

http://slownews.kr/30957 이 시리즈를 재미있게 읽고 있다.

(자연)언어학이랑 프로그래밍 언어 연구의 뿌리를 타고 올라가면 그 선구자들 중에 노안 촘스키가 있다는 것은 알고 있었지만, syntax(통사부, 형식구조)라든지 semantics(의미부, 의미구조), modularity(단원성)과 같은 용어와 개념을 공유하고 있는 줄은 몰랐었다. 각 분야에서 번역이 다른 걸 보면 나만 몰랐던 게 아닐 수도 있을 것 같기도 하다.

아니면 글에서 말했듯, 각 언어에는 그걸 들었을 때 떠오르는 어떤 이미지 같은 것 (글에서 말하는 은유;metaphor)가 있을 수 밖에 없는데, (자연)언어학에서의 용어와 프로그래밍 언어학에서의 용어를 들었을 때 떠오르는 이미지가 미묘하게 다르기 때문에, 용어가 다른 언어로 번역되었을 때 다른 단어로 번역되는 것은 아닐까.

굳이 인문학과 공학을 넘어다니지 않아도, 전산학 내에서도 같은 용어를 다른 개념을 나타내기 위해서 쓰이는 경우가 적지 않고, 분야가 달라지면 말이 통하지 않는 것도 용어 통일이 이루어지지 않기 때문이니까.

사고의 폭을 넓히기 위해 언어학을 공부하고 싶다고 생각한다는 건, 논문을 좀 더 깊이 있게 이해하기 위해 대수2랑 위상수학을 듣겠다는 것과 비슷하게 시간과 노력 낭비라고 생각할 수도 있겠지만, 굉장히 흥미로워 보인다.

두 사람이 하나의 원기둥을 보고 이야기를 해도 어떤 사람은 원에 대해 이야기하고 어떤 사람은 사각형에 대해 이야기하면서 평행선을 달리는 경우를 생각할 수 있다. 그런데, 이 경우에는 서로의 시각이 독립적이라는 것을 인정하기만 하면, 하나의 객체에 대해 최소한의 정보로 최대한의 정보를 유추해 낼 수 있는 이상적인 경우이다.

하나의 원기둥을 보고 어떤 사람은 찌그러진 원이라고 생각하고 어떤 사람은 완전한 원이라고 생각할 수도 있다. 처음에 두 사람은 같은 것에 대해 이야기하고 있다고 생각했지만 대화가 전개될수록 둘이 완전히 같지는 않다는 것을 알게 될 것이다. 그치만 둘이 아무리 이야기를 해도 어떤 방향에서는 원기둥이 네모로도 보일 수 있다는 걸 알아낼 수는 없겠지.

흔히 말하는 "관점"을 선형대수에서의 "축"으로 이해할 수도 있을 것이다. 선대에서 흔히 하듯이 어떤 식으로든 연산을 할 수 있다면, 두 축이 직교한다는 것을 보일 수 있다면, 좋을텐데. n 명의 사람들이 모여서 n개의 독립적인 생각으로 서로 싸워대도 사실은 m (<< n)개로 함축될 수 있는 경우가 얼마나 많은가.

요즘의 연구 주제는 하나의 객체를 보고 기술한 여러 가지의 명세를 병합하는 일이다. 명세를 병합하기 위해서 서로의 정보를 들여다볼 수 있게 만드는 일을 근 몇주?간 하고 있는 것 같다. 명세를 쓴 사람들의 관점이 다르다보니 명세끼리 얘기를 나눌 수 있게 만드는 것도 쉽지 않다. 결국 둘 중 하나는 거의 다시 써야 하는 지경인 것 같기도 하고.

Anders Hejlsberg, Microsoft Technical Fellow.

Erik Meijer and Peter Drayton

전산학을 전공하고 있다고 말하면, 많은 사람들은 "컴퓨터가 고장났는 데 좀 고쳐줘"라든지 "윈도우 좀 깔아줘" 라든지 하는 것을 부탁하곤 한다. 어떤 사람들은 "새 컴퓨터를 사려고 하는데, 어떤 것을 사는 게 좋을까?"하고 물어보기도 한다. 그들은 아마 전산학을 "컴퓨터에 문제가 생겼을 때 해결하는 학문"이나 "특정 프로그램 사용법을 배우는 학문" 쯤으로 생각하고 있는 듯 하다. 하지만 저명한 전산학자 다익스트라는 "전산학에서 컴퓨터가 차지하는 비중은 천문학에서 망원경이 차지하는 비중과 같다"고 말했다. 전산학과에서 배우는 내용들은 컴퓨터 A/S 기사가 배우는 내용과 큰 차이가 있으며, 전산학자들도 컴퓨터에 문제가 생기면 - 물론 스스로 해결해보려는 노력을 하긴 하지만 - A/S 기사를 부른다.

그렇다면 전산학이란 무엇인가? 전산학이 다루는 범위가 워낙 넓고, 각 분야의 사람들이 모두 다른 관점을 가지고 있기 때문에, 전산학을 한 마디로 정의하는 것은 쉽지 않다. 하지만 전산학이 컴퓨터와 밀접한 관계를 가진 학문이라는 것만큼은 확실하기 때문에, 컴퓨터가 가지는 의의를 살펴보는 것이 전산학이 무엇인 지를 이야기하는 데 도움이 될 수 있다.

컴퓨터라는 존재가 처음 등장했을 때, 컴퓨터는 크게 세 가지 관점, 수학적, 공학적, 사회적인 관점에서 의의를 가졌다. 컴퓨터의 수학적 기반이 되는 튜링 머신은 수학의 난제에 대한 해법으로 고안되었던 가상의 기계였다. 이 기계의 특별한 점은 명령과 자료가 같은 형식을 하고 있다는 점이었는데, 명령을 자료로서 사용할 수 있기 때문에 컴퓨터는 다른 기계와는 달리 한 기계로 여러 가지 일을 할 수 있다. 전산학에서는 이런 컴퓨터의 수학적 기반에 대해 연구한다. 이런 연구는 주로 “계산이란 무엇인가”로 시작해서, “어떻게 하면 좀 더 효율적으로 계산을 할 수 있을까”, “어떤 패러다임을 사용하면 좀 더 쉽고 효율적으로 컴퓨터에게 명령을 내릴 수 있을까” 하는 것을 다룬다.

또한 컴퓨터는 공학적으로도 큰 의미를 지니는 데, 최초의 컴퓨터가 진공관을 사용하여 만든 기계들 중 가장 복잡한 기계였기 때문이다. 튜링 머신이라는 수학적 개념이 컴퓨터라는 실체로 만들어지기까지 많은 공학적 개념들이 사용되었고, 여전히 어떻게 하면 좀 더 효율적으로, 좀 더 빠른 컴퓨터를 구현할 수 있는 지가 연구되고 있다. 전산학은 튜링머신을 어떻게 구현할까에 대해서 또한 다루는 학문이다.

마지막으로 컴퓨터의 등장은 사회적으로 많은 영향을 미쳤다. 컴퓨터 덕분에 사람들은 방대한 양의 자료를 다룰 수 있게 되었으며, 먼 거리에 있는 사람들과 실시간으로 소통하는 것이 쉬워졌다. 무엇보다도, 사람들은 사람을 흉내내는 무언가를 얻게 되었다. 컴퓨터를 사용해서 어떤 일을 할 수 있는 지, 어떻게 그 일을 효율적으로 할 지 또한 전산학의 연구 분야이다.

Kyle Huey

Facebook Hacker Cup 2014 qualification round가 진행 중이다.

https://www.facebook.com/hackercup/problems.php?round=598486203541358

뭔가 SRM을 돈 지도 꽤 됐고, online round의 시간대가 전부 새벽인데다 내가 바쁜 기간이라 참가를 하진 않을 것 같지만, 내일 시간이 나면 풀어보기는 해야 겠다.

참고로 아래는 스케쥴 (한국 시간 기준):

Qualification Round: Nov. 12. 09:00AM, 72 hours

Online Round 1: Dec. 3. 03:00AM, 24 hours

Online Round 2: Dec. 15. 06:00AM, 3 hours

Online Round 3: Dec. 22. 06:00AM, 3 hours