CWEB

취미가 직업으로

2009-02-22T00:30:46Z

최근에 회사에서 아래아 한글로 되어있는 수학 문제들을 텍코드로 변환하는

툴을 만들었다. 특히 아래아 한글의 수식을 텍 코드로 자동 변환해주는 간단한 프로그램을

만들었다.

아래아 한글 파일은 xml로 변환 할 수 있고 이때 수식들이 xml 파일 내에 텍스트로 나온다.

그래서 xml을 파싱하여 수식들 만을 다 뽑아내어 이를 텍코드로 바꿔주는 프로그램을

만든 것이다. 아래아 한글 수식을 텍에서 본따왔는지 상당히 유사하여 비교적 수월하게

작업 할 수 있었다.

그런데,

아래아 한글로 된 수식들은 여러 선생님들이 기존에 만들어 두신 문제들 인데,

그것들이 동일한 수식이라도 그 수식을 만든 선생님들에 따라서 아주 제각각이다.

예를들어 \frac{a}{b}를 아래아 한글로 표현하면, 대충 다음과 같이 할 수 있다.

a over b
{a} over {b}
a overb
a OVERb

overb, OVERb도 된다는 것에 놀랄 따름이다.

적어도 명령어와 인자는 구분해야 하지 않겠는가?

어쨌든 위 모든 것을 고려하여 최종적으로 \frac{a}{b} 를 만들어 내야 한다.

텍코드도 지저분하게 쓰려면 충분히 가능하지만, 그래도

텍 수식은 정말 훌륭하다. 이게 이번에 일을 하면서 느낀점이다.

이처럼 최근에 취미가 일이 되었다.

좋아해야 하는지 ... 잘 모르겠다. ")

2009 한국텍학회 학술대회가 열립니다.

2009-01-23T22:04:39Z

관심있는 분의 많은 참여를 바랍니다. :)

http://conf.ktug.kr

텍의 과거와 현재, 그리고 미래(TeX: Past, Present, and Future)

tag : 한국텍학회

산에서

2009-01-13T12:51:27Z

요즘 휴가를 대부분 등산으로 보내고 있습니다.

마침 집 바로 앞에 용인과 수원에 걸쳐있는 광교산의 등산로 입구가 있습니다.

광교산은 휴일이면 용인과 수원 혹은 서울에서도 많은 사람들이 찾는 괜찮은 산입니다.

집에서 출발하여 형제봉, 비로봉, 그리고 정상인 시루봉(해발 581M)을 거쳐서

나름 종주를 하면 대략 네 시간이 걸립니다.

이것을 매일 아침 8시 반에서 9시 사이에 집에서 출발하면 12시 조금 넘어서

집에 도착합니다.

아침에 쌀쌀하기는 하지만 평일이라 인적도 드물고 상쾌해서 기분이 매우 좋습니다.

광교산 형제봉에 박재삼 시인의 "산에서"라는 시가 한 편 적혀있습니다.

산에서

      그 곡절 많은 사람은
       기쁘던가 아프던가.



      젊어 한창때
       그냥 좋아서 어쩔 줄 모르던 기쁨이거든
       여름날 헐떡이는 녹음에 묻혀들고

       年中들어 간장(肝腸)이 저려오는 아픔이거든
       가을날 울음빛 단풍에 젖어 들거라.

       진실로 산이 겪는 사철 속에
       아른이 어린 우리 한평생

       그가 다스리는 시냇물도
       여름엔 시원하고
       가을엔 시려오느냐

       사랑을 기쁘다고 만 할 것이냐.
       아니면 아프다고 만 할 것이나.

                                                  ......박 재삼

tag : 박재삼, 산에서, 광교산

30일간의 여유

2008-12-30T16:33:04Z

회사에서 지난 6년여 동안 동안 고생 많았다고,

한 달간 푹 쉬라고 안식 휴가를 주었다.

고마운 회사...

앞으로 직장 생활을 하면서 이런 기회가 다시 올까?

뭘하지? :)

바둑에 미쳐 볼까?

등산에 미쳐 볼까?

여행에 미쳐 볼까?

아무래도... 가정에 미쳐야 될 것 같다.

방학 중인 아내와 이제 막 4살이 된 아들과 한 달을 잘 보내야 겠다.

연분수 매크로

2008-12-12T21:06:44Z

\def\lifo#1,#2\ofil{%

\ifx\empty#2\empty\def\precf{#1}\ofil\fi

\lifo#2\ofil%

\ifx\empty#2\empty\else\process#1,\fi}

\def\ofil#1\ofil{\fi}

\def\process#1,{%

\edef\precf{{#1}+{\strut1\hfill\over\displaystyle\precf}}}

\def\rcfrac#1{\lifo#1,\ofil\precf}

\sqrt2=\rcfrac{1,2,2,2,\ddots}

tag : 연분수, 텍매크로

페르마의 마지막 정리

2008-12-12T20:09:51Z

페르마의 마지막 정리라는 책을 재미있게 읽어보신 분이라면, 다음 동영상을 꽤 마음에 들어하실 것입니다.

전체를 완벽하게 알아듣지 못하겠지만, 책의 내용이 오버랩되면서, 재미있게 보았습니다.

유명한 수학자들은 대부분 미남이네요. :)

와일즈 교수의 책상은 정말 대단합니다. 많은 논문들이 어지럽게 쌓여있네요.

그 어려운 정리를 증명한 분이 왜 책상 정리는 안하는 걸까요? :)

tag : 페르마의 마지막 정리, 앤드류 와일즈

Knuth 교수의 수표

2008-11-14T17:18:58Z

크누스 할아버지에게서 수표를 또 받았습니다.

http://people.ktug.or.kr/~sjnam/knuth_check.html

지난 번에는 CWEB의 메뉴얼에서 버그를 발견했는데요, 이번에는 프로그램 소스파일에서 발견했습니다.

다만, 그리 치명적인 버그가 아니기때문에 지금 당장에 반영은 안하고, 다음 버전 업 할때 반영해 주신다는 답장도 같이 왔습니다.

그런데, 이번 건은 수표가 아니라, personal certificates of deposit 이라고 합니다. 수표 위조 사건(?)이 있어서 더이상 수표는 발행하지 않는다는 안내문도 왔습니다. :)

자세한 내용은

http://www-cs-faculty.stanford.edu/~knuth/news.html

그동안 제 계좌에 0x$4.00 이 있었는데 0x$5.00이 되겠네요. (0x$1.00 = USD 2.56)

http://www-cs-faculty.stanford.edu/~knuth/boss.html

오늘(08/12/09) 한장 더 왔습니다. -_-;

tag : 수표, CWEB, Knuth reward check, taocp

카드 게임

2008-08-22T17:12:26Z

1부터 5까지 번호가 매겨진 카드 다섯 장이 있다. 이 카드를 잘 섞어서 쌓았는데, 순서가 31452라고 하자. 그리고나서, 맨 위의 숫자 만큼 카드를 취하여 역순으로 하여 다시 쌓는다. 즉, 맨 위의 숫자가 3이므로 3,1,4 세 장을 취하여 역순인 4,1,3으로 하여 쌓는다. 이제 전체 카드는 41352가 된다. 이번에는 맨 위의 숫자가 4이므로, 4135를 취하여 거꾸로하여 5314을 다시 쌓아 53142가 된다. 이런 식으로 하여 1이 쓰여진 카드가 맨 위에 오면 끝마친다.

31452
41352
53142
24135
42135
31245
21345
12345

위처럼, 31452로 시작하면, 7번만에 맨 위에 숫자 1의 카드가 온다. 사실 일곱 번, 7이란 숫자는 다섯장의 카드로 만들 수 있는 가장 큰 수이며, 그때의 최초의 숫자 배열은 31452 이다.

문제) 13장의 카드로 만들어 낼 수 있는 가장 큰 수와 그 최초의 숫자 배열은?

tag : 카드놀이

사내 알고리즘 강의자료

2008-07-31T22:43:37Z

Programming Pearls와
Concrete Math 책을 참고로 만든 자료.

tag : 알고리즘, CWEB

문학적 프로그래밍

2008-07-31T22:37:21Z

CWEB 발표 자료.

tag : CWEB, 문학적프로그래밍

알고리즘의 중요성

2008-07-26T13:54:07Z

The Art of Computer Programming 제 4 권의 서문에 다음과 같은 글이 있습니다.

한때 결코 해답을 얻을 수 없었을 것처럼 보였던 많은 조합론과 관련된 문제들이 지금은 해결된 상태이다. 이처럼 어려운 문제들을 풀 수 있었던 것은 컴퓨터의 프로세서의 성능이 나아졌기때문이 아니라 알고리즘이 발전한데 그 주된 원인이 있다.

프로그래밍의 즐거움

2008-07-26T13:33:06Z

tag : 즐거움, 프로그래밍, 취미

복면산

2008-07-25T23:43:44Z

다음 복면산의 답은 무엇일까?

종이와 연필로 풀 수 있겠지만, 쉬워보이지 않는다. 프로그래밍이 필요할 것 같은데...

AN + ACCELERATING + INFERENTIAL + ENGINEERING + TALE + ELITE + GRANT + FEE + ET + CETERA = ARTIFICIAL + INTELLIGENCE

두번째,

이보다 더 큰 수를 다루는 복면산이 있을까?

NINETYNINENONILLIONNINETYNINESEXTILLIONNINETEEN + SIXTEEN + ELEVEN + NINE + SIX = NINETYNINENONILLIONNINETYNINESEXTILLIONSIXTYONE

tag : 복면산, TAOCP

살아있는 전설들

2008-07-25T13:50:33Z

돌아가신 분도 계시네요...

표본 추출 알고리즘(2)

2008-07-19T23:52:52Z

알고리즘 S의 문제점을 간파한 플로이드는 크기가 M인 표본을 만들기 위해서 정확히 M번만 RandInt() 함수를 호출하는 재귀적인 알고리즘을 고안해 냈다.

플로이드의 알고리즘은 재귀 알고리즘인데, 예를 들어, 모집단 [1,10]에서 크기가 5인 표본을 만드는 방법은 [1,9]에서 크기가 4인 표본을 만들고, 거기에 5번째 원소를 넣는 식이다. 이러한 재귀 알고리즘을 대략 스케치하면 다음과 같다.

   [알고리즘 F]
    function Sample(M, N)
        만일 M=0 이면
            공집합을 반환하라.
        그렇지 않다면,
            S = Sample(M-1, N-1)
            T = RandInt(1, N)
            만일 S 안에 T가 없으면
                T를 S 안에 넣어라
            그렇지 않다면
                N을 S 안에 넣어라
            S를 반환하라.

플로이드의 알고리즘을 좀 더 자세히 확인해보자. M=5 이고 N=10 일 때, 알고리즘 F는 먼저 재귀적으로 [1,9]로 부터 크기가 4인 표본을 추출한다. 그 다음에 알고리즘은 [1,10]에서 생성한 난수를 T에 할당한다. 변수 T가 가질 수 있는 10개의 수 중에서 정확하게 다섯 개 만이 10을 집합 S 안에 넣게 한다. 네 개는 이미 S안에 있는 수들이고 나머지 하나는 10 그 자체이다. 따라서 10은 정확히 5/10의 확률로 집합
속으로 들어가게 된다. 비슷하게 9는 4/9, 8은 3/8, 7은 2/7, 마지막으로 6은 1/6의 확률로 표본 집합 S에 들어가게 된다. 따라서 표본이 {6,7,8,9,10}일 확률은 각각의 확률을 모두 곱한 1/10C5가 된다. 열 개에서 다섯 개를 고르는 가짓 수가 10C5 이므로표본이 {6,7,8,9,10}일 확률은 정확하다.

sampling.pdf

tag : 플로이드, 표본 추출