Smullyan #4, To Mock a Mockingbird

To Mock a Mockingbird Raymond Smullyan

이 책은 논리 퍼즐을 다룬 전반부와 combinatory logic을 다룬 후반부로 나뉘어져있다. 전반부는 퍼즐책이라 해도 좋지만, 후반부는 퍼즐의 탈을 쓴 수학책이다. 전반부 논리 퍼즐부분은 스멀리언씨의 후반부 저작물답게 적절한 난이도 - 반 정도는 풀 수 있는 난이도 - 를 가지고 있다.

후반부의 combinatory logic에선 먼저 combinator들을 소개한다. 콤비네이터는 쉽게 말하면 함수(function)이다. 하지만 함수가 다른 함수에 대입될 수 있고, 함수의 결과값으로 함수가 나올 수 있기 때문에 (higher order function이라고 한다) 함수의 입력값과 결과값이 보통 숫자라고 알고 있던 나의 머리속을 헷갈리게 하기 시작한다. 소개된 여러 combinator들은 서로 조합되어 여러 가지를 만들어낼 수 있는데, Church (수학자 이름이다)의 number를 표현할 수 있으며, lambda calculus에 대응되어 현대 프로그래밍과 동등한 계산 능력을 발휘할 수 있다. 스멀리언씨가 좋아하는 괴델의 불완전성 정리를 combinator를 이용하여 이야기한다.

스멀리언씨의 이야기꾼 재능과, combinatory logic 자체의 재미가 조합되어 후반부는 그리 복잡하지는 않았다. 단지 난 퍼즐책을 보면서 퍼즐을 풀고 싶었는데 이 책에서는 수학 문제를 푼 셈이 되어버려서, 굳이 말하지면 그 점이 아쉬웠다고나 할까.

combinatory logic의 기본인 higher order function은 점점 각광받고 있는 함수형 프로그래밍 언어의 특징이다. combinator들을 이용하여 문제를, 실제 프로그램을 보다 쉽고 재미있게 풀 수 있을까? 궁금해지고 있다.

This book might be most well-known puzzle book of Raymond Smullyan in Computer Science society, for it deals with combinatory logic which is equivalent to lambda calculus and in turns lambda calculus is equivalent to modern computer programming languages. During my study of Haskell programming language at spring 2009, I came across with that information and bought this book right then. At that time, I read some former parts, and there are normal logic puzzle, like truth-telling Knights and lying Knaves, and put it down without serious reading combinatory logic parts.

I'm solving some puzzles daily before sleep this year and I finally take a trip to Smullyan's forest full of combinatory birds. The latter part of this book deals with combinatory logic. This is a puzzle book, but combinatory logic is definetly math, no matter what the author calls combinators as birds. So this is a math book. But I enjoyed this book. Combinatory logic might be one of few math topic which is not boring but interesing. I was very glad to find out variety of combinators, the relationship between combinatory logic and lambda calculus. "introduction to combinator logic and lambda calclus" should be the subtitle of this book.

Can combinatory logic be practical? It might be.

So.. I ordered a book named "Lambda calculus and combinators: introduction".

New Shoes/ 새 운동화

새 운동화를 샀다. HM이 완벽하다며 추천한 Reebok Realflex Transition. 품번은 J87794. 신어보니 신발바닥이 잘 휘어지는 것은 나이키 프리와 비슷하지만,  바닥에 발 닫는 면 (그 부분을 무엇이라고 해야하나 족심인가..)이 두텁게 대어져 있어 색다른 느낌이다. 뭐라고 할까, 억지로 맨발 느낌을 내려고 했다고나 할까? 달릴때 보다는 실내에서 운동할 때 어울릴 느낌.

수명을 다 하여 가고 있는 Asics Gel Nimbus-13 LE와 함께 한 컷 찍어 주었다. 사이즈는 270mm. 딱 맞다. 아식스도 270mm인데 아식스는 좀 크다.


My favorite and only one pair of running shoes Asics Gel Nimbus-13 LE are wearing out. I bought new shoes Reebok Realflex Transition. Reebok says Transition line is for fitness, and there is Optimal line for running. I chose Transition line because my knee hurts still now. Be my good friend, Flex!

아버지의 패널토크 / My Father's Panel Talk

보건복지부 주최 제 6회 전국노인자원봉사대축제에 아버지가 참석하신다. 아마 지금 진행하고 계시겠다. KOICA봉사 활동 및 여러 도전에 대하여 이야기를 하시고 있으리라. 아버지 화이팅이에요!

HO's grandfather is participating in Senior Volunteer Festival at Daejeon now. He is on the panel talking about volunteering in front of an audience of about a thousand. He's awesome, isn't he? :-D

Smullyan #3, The Riddle of Scheherazade

The Riddle of Scheherazade: And Other Amazing Puzzles Raymond Smullyan

사고력을 키워주는 논리퍼즐, 레이먼드 스멀리언 저, 박만엽 역, 문예출판사

스멀리언의 책을 모으다 보니 벌써 여섯권이다.

• 1977 The Tao is Silent
• 1978 What Is the Name of This Book?
• 1985 To Mock a Mockingbird
• 1987 Forever Undecided
• 1997 The Riddle of Scheherazade
• 2010 King Arthur in Search of His Dog

이번에 읽은 것은 The Riddle of Scheherazade. 국내 발매된 레이먼드 스멀리언의 퍼즐책 두권중 하나이다. 전반부는 평이했으나, 후반부는 갑자기 난이도가 상승하여 퍼즐을 풀었다기 보다는 답을 읽어나갔다. 이거이거... 머리가 못따라가는 것이다.
마지막의 두 봉투 패러독스 문제를 보곤 무릎을 쳤다. 몬티 홀 문제보다 교묘하다! 이런 문제도 있구나. 그러고 보면 세상에는 재미있는 것들이 참 많다.

The Riddle of Scheherazade is Dr. Smullyan's later part of work and has many brainteasers compared to What Is the Name of This Book. Too complex for my brainpower.
Next book is To Mock a Mocking bird. It's theme is combinatorial logic. I came across the name of Dr. Smullyan in learning programming language Haskell, the main features of which are based on combinatorial logic. I hope to enjoy the book.

Smullyan#2, King Arthur in Search of His Dogs

King Arthur in Search of His Dog and Other Curious Puzzles Raymond M. Smullyan

두달쯤 전에 Kindle e-book으로 구매하여 틈틈이 읽은 책. 출근시간에 차 기다릴때, HO 밥먹일때, HO 문화센터에서 기다릴때 등등...

What's the name of this book 보다 다음에 나온 책이지만, 어린이들을 대상으로 한 책이기 때문에 더 쉬웠고, 더 쉬웠기에 좋았다. 수준에 맞는 책이었다고나 할까..

"If children are not forced to learn a subject, but approach it fully in the spirit of a hobby, they learn so much more!" - R. Smullyan

This puzzle book is for children. It's easy but does not lacks joy. I've enjoyed this book for about two months in various spots and times. It was a perfect book to have as e-book in my iPhone.

Right eye keeps hurting

안경을 맞추었는데도 오른쪽 눈이 더 시력이 저하되는 느낌에, 오른쪽 눈이 아파 병원_N안과_에 갔다.

-2.5(L), -5.5(R), PD 68을 처방받았고, 두 눈에 모두 알러지성 결막염이 있다고 한다.
결국 잘 안보이는 스트레스를 오른쪽 눈이 받아서 그렇다는 이야기이다.
-2.75/-5.5로 이야기한 안경사의 말과 비슷하다.

그런데 안약넣고 나서 두세시간 지났는데, 오른쪽 눈의 시력이 좀 올라가는 느낌이다. (지난주 안경 맞추고 나서의 느낌) HM과 논의, 일단 안약을 일주일정도 넣고 나서 다른 안과를 방문해 볼 예정.

My right eye still hurts and the eyesight are getting worse. I visited an eye doctor. The doctor said that my glasses need to be replaced. My both eyes got inflammation, but it's not the reason of the pain, he said.

However, it feels good on my right eye after putting eye drops into it. I plan to visit another doctor after one week's eyecare.

최근 읽은 소프트웨어 개발 책들 / Recent Readings on Software Development

게을러져서 독서 후 삭히는 시간은 가지지 못하고 있지만 그래도 꾸준히 책은 읽고 있다. 최근  읽은 전공책들이다.
Recently I read following books on software development:

Land of Lisp: Learn to Program in Lisp, One Game at a Time! Conrad Barski

(2011) Conrad Barski의 만화때문에 읽은 책. 예상대로(?) 재미있게 썼다. 굳이 읽을 필요까지는 없었지만.
M.D. Barski is well-known in LISP society for his cartoon. This is an interesting introduction to LISP.

Googleを支える技術 ‾巨大システムの内側の世界 西田 圭介

(2012) 구글을 지탱하는 기술,  니시다 케이스케. 호기심에 일독. 그냥그냥
It's another book on google technology.

Seven Databases in Seven Weeks: A Guide to Modern Databases and the NoSQL Movement Eric Redmond Jim R. Wilson

(201208) 웹 개발중 핫이슈중의 하나인 NoSQL에 대한 좋은 소개. 알아야 면장을 하지라는 측면에서 읽기 시작했으나 예상외로 좋은 책이었다. RDB를 쓰기보단 NoSQL을 써야할 경우를 잘 설명해 놓았다. DB들 자체에 대한 설명은 주마간산. 어쩔 수 없지.
Good introduction to NoSQL Databases. I can grasp the point where NoSQL has strong points.

How Google Tests Software James A. Whittaker Jason Arbon Jeff Carollo

(201209) 버그를 가지는 소프트웨어를 작성한지 어언 십수년. 완벽함에의 열망은 항상 있다. 완벽을 위하여 필요한 소프트웨어 테스팅, 그에 대한 구글의 테스트 팀의 이야기. 관심을 가진 부분이어서 열심히 보았다. 영어가 점점 어렵다는 느낌이 든다. 현재의 일과 직결되었기 때문에 보고 느낀점이 많다. "나도 제대로 잘 해봐야지."
Google testing team's monologue. I am sold to them. If I was to join Google, I'd take testing group.
Very good book.. or Very important subject, at least to me.

C: A Reference Manual Samuel P. Harbison Guy L. Steele

(201209) 1999년 C언어 표준이 개정되었을 때 설렁설렁 넘겼기에, 최근 회사 동료(라고 쓰고 까마득한 후배라고 읽자)가 C99의 feature다.. 라고 말할 때 속으로 뜨끔했다. 그래서 다시 한번 흝어보았다. 읽고 나니 별거 없었다. 좀 시간이 아깝군.

I've missed some features of C99, which I learned from office colleagues. I was embarrassed at that time, so I skimmed a reference just to discover those are last important ones I missed from C99. :-(