[카테고리:] 일상

어제 새벽 1시 반 쯤 아키 숙제를 끝으로 석사 2학기를 마쳤다. 석사 4학기 중에 가장 정신없을 것이라 예상했던 2학기를 무사히 넘기고 삼주만에 집에 돌아왔다.

어제 밤 갑작스럽게 한환수 교수님께서 부친상 당하셨다는 소식을 듣고 아침에 랩사람들과 모여서 일산병원에 문상을 다녀왔다. 처음으로 장례식장이라는 곳을 가봤는데, 예상했던 것 만큼 어둡기만 한 분위기는 아니였다. 아직 내가 가깝게 지내던 사람을 떠나보낸 적이 없어서 삶과 죽음에 대해서 와닿는 것은 없었지만, 부모님께 잘해야겠다는 생각이 들었다.

잠깐 형들과 이야기를 나누고 장례식장을 나와 백석역으로 가서 3호선을 타고 연신내에서 6호선으로 갈아탄 후 월드컵경기장에서 내렸다. 왠지 놀아줘야 할 것만 같은 그 곳에서 그냥 버스를 타고 집으로 향했다.

부모님은 모두 송년회, 망년회로 집에 안계시고, 집에 도착하자마자 나와서 한 일은 컵라면과 김밥 2줄을 사들고 와서 신문을 보며 맛있게 먹었다.

이런저런 이유로 통장에 만얼마 밖에 없고 지갑에는 몇백원 있다. 집에서 게임이나 하자 ㅡㅡa
돈줄이 풀릴 때 까지 조용히 지내자 …

대학교 4학년 때, 난생처음으로 시험 기간 중에 소모임 사람들과 술을 마셨다. 그 때 이야기 나누기를 이제 이런 sequence가 너무나 지겹다라고 했던 것이 생각난다. 벼락치기 시험공부와 부담, 걱정 …

한 때 걱정돌이로 명성이 자자했던 나를 보던 한 친구는 시험기간 중에 술마시는 나를 보고 많이 달라졌다는 이야기를 했었다. 그리고 대학원에 와있는 지금 나는 더 많이 달라졌다 ㅡㅡa

‘대학원까지 와서 무슨 학점 놀음이냐’ 라고 스스로를 합리화하기에는 명분이 부족하다. 세미나 준비한다고 시험 공부의 시작이 매우 늦었지만 지금 나에게 주어진 시간은 온전히 시험공부에 열을 올릴 수 있는 시간이였는데 그렇게 활용하지 못했기 때문이다.

개인적으로 방황을 할 일이 있었던 중간고사 기간에는 지금보다 상황이 심각했는데 어처구니 없게 생각보다 시험을 잘 보게 된 것이 반성의 기회를 앗아간 듯 하다 …

다음학기에 두 과목만 더 들으면 내 생에 수업은 끝이다. 박사진학만 안한다면 …

여튼 이번 학기는 3일 남았고 남은 시간을 잘 활용해서 유종의 미를 거두자!
그리고 집에 가서 마음 놓고 쉬어보자!

Esterel을 model checker인 SMV의 input으로 변환하면 어떨까 고민하던 중 발견하게 된 논문이 있었다. “Symbolic Anaysis Laboratory” 라는 제목의 논문은 Esterel, ASM, Java 등의 source language로 부터 입력을 받아 SAL이라는 자신의 intermediate langauge로 변환하고 그로 부터 여러가지 theorem prover, model checker, static analyzer의 input으로 변환해주는 translator를 포함하는 system verification의 종합선물세트같은 framework를 소개하고 있었다.

다음주 랩세미나의 주제를 SAL에 대한 survey talk로 정하고 논문을 탐독하던중 Framework의 전체그림에 그려져 있던 Esterel to SAL translator가 실제로 구현되어 있는 건지 아직 개발이 안된건지 궁금해졌고 바로 엉터리 영어를 동원해 메일을 보냈다.

그리고 오늘 아침 답장을 받았다.

이름부터 멋진 이 친구는 친절하게 답장을 써줘서 참 고마웠다. 결론은 쓸만한 Esterel to SAL translator는 현존하지 않는다는 것이며 Berry의 논문이 힌트가 될 수 있을 것이라는 것!

석사논문 주제로 해볼만 한 일인지 계속 고민해봐야겠다 …

어제밤 첫 눈이 내렸다. 이제는 나이가 들어서 그런지 혼자라서 그런지 첫 눈이 와도 아무런 감흥이 없고 저 것이 얼어서 교통체증이나 일으키지 않을까 걱정이 앞선다.

첫 눈이 내리기 시작할 무렵 동네 홈플러스에 엄마와 동생과 함께 옷을 사러 갔다. 홈플러스에서 만족스러운 옷을 찾지 못하고 까르푸로 옮겨갔다. 그 때까지 동생이 운전하다가 집으로 돌아올 때 내가 운전하고 싶어 운전대를 잡았다.

홈플러스는 주차장을 내려오는 경사길에 지붕이 있는 구조라서 눈이 안쌓여 있었는데, 까르푸는 지붕이 뚤려 있어 눈이 많이 쌓여 있었다. 경사길에 회전코스에서 브레이크를 밟았는데 차가 비틀리며 통제불능 사태에 빠졌고 질질 끌려가더니 측면 범퍼가 벽을 긁고 지나가고 있었다. 나머지 내려오는 길에서 미끄러지지 않으려고 브레이크를 안밟고 핸들을 이리저리 돌리며 묘기를 부려 겨우 내려왔다.

3년이 넘는 나의 운전인생에 있어서 가장 치욕적인 날이였다 …