품목정보
발행일	2008년 09월 05일
쪽수, 무게, 크기	401쪽 \| 638g \| 27522030mm
ISBN13	9788991268500
ISBN10	8991268501

더보기

4. 언어를 처리하는 기법 4.1 메타써큘러 실행기 4.1.1 언어 실행기의 알짜배기 4.1.2 식을 나타내는 방법 4.1.3 언어 실행기에서 쓰는 데이터 구조 4.1.4 언어 실행기를 보통 프로그램처럼 돌려보기 4.1.5 프로그램도 데이터처럼 4.1.6 안쪽 정의(internal definition) 4.1.7 문법 분석과 실행 과정을 떼어놓기 4.2 Scheme 바꿔보기 - 제때 계산법 4.2.1 식의 값을 구하는 차례 - 정의대로 계산법과 인자 먼저 계산법 4.2.2 제때 계산법을 따르는 실행기 4.2.3 제때셈 리스트와 스트림 4.3 Scheme 바꿔보기 - 비결정적 계산 4.3.1 amb와 찾기 4.3.2 비결정적 프로그램 짜기 4.3.3 amb 실행기 구현 4.4 논리로 프로그램 짜기 4.4.1 연역식 정보 찾기 4.4.2 쿼리 시스템의 동작 방식 4.4.3 논리 프로그래밍은 수학 논리를 따르는가? 4.4.4 쿼리 시스템 만들기 4.4.4.1 드라이버 루프와 쿼리 값 찍어내기(instantiation) 4.4.4.2 실행기(evaluator) 4.4.4.3 패턴 매칭으로 참말 찾아내기 4.4.4.4 규칙과 동일화 4.4.4.5 데이터베이스의 관리 4.4.4.6 스트림 연산 4.4.4.7 쿼리의 문법을 처리하는 프로시저 4.4.4.8 일람표와 정의 5. 레지스터 기계로 계산하기 5.1 레지스터 기계 설계하기 5.1.1 레지스터 기계를 묘사하는 언어 5.1.2 기계 디자인에서의 속 내용 감추기(abstraction) 5.1.3 서브루틴 5.1.4 스택(stack)을 이용해 되돌기(recursion) 구현하기 5.1.5 명령어 정리 5.2 레지스터 기계 시뮬레이터 5.2.1 기계 모형 5.2.2 어셈블러 5.2.3 명령에 해당하는 실행 프로시저 만들기 5.2.4 기계 성능 지켜보기 5.3 메모리 할당(memory allocation)과 재활용(garbage collection) 5.3.1 벡터로 나타낸 메모리 5.3.2 무한히 많은 메모리인 양 보이기 5.4 제어가 다 보이는 실행기 5.4.1 제어가 다 보이는 실행기의 핵심부 5.4.2 시퀀스 계산과 꼬리 되돌기(tail recursion) 5.4.3 조건 식, 덮어쓰기(assignment), 정의 5.4.4 실행기 돌리기 5.5 번역(compilation) 5.5.1 번역기의 구조 5.5.2 프로그램 식의 번역 5.5.3 조합 식 번역하기 5.5.4 명령줄 한데 합치기 5.5.5 번역된 코드의 예 5.5.6 텍스트에서 변수의 정의를 파악하기(lexical addressing) 5.5.7 번역된 코드를 실행기에 연결하기 용어 대역표 연습문제 목차 참고문헌 찾아보기

더보기

저자 소개 관련자료 보이기/감추기

저자 : 해럴드 애빌슨 외

해럴드 애빌슨(Harold Abelson)은 매사추세츠 공과대학(MIT)의 전기공학&컴퓨터과학 학부(Department of Electrical Engineering and Computer Science)에서 컴퓨터과학을 가르치며, 미국 전기전자기술자협회(IEEE)의 특별회원이다. Creative Commons와 Public Knowledge, 자유소프트웨어연합(FSF)을 세우는 일을 이끌었으며, MIT 교육기술자문위원회의 공동의장으로 일한다.

제럴드 제이 서스먼(Gerald Jay Sussman)은 매사추세츠 공과대학의 전기전자공학부에서 전자공학을 가르치며, 1964년부터 MIT 인공지능 연구에 참여하여 문제해결 분야에 공헌하고 있다. ‘프로그램의 구조와 해석’(2판)에 공저자로 참여하였다.

줄리 서스먼(Julie Sussman)은 제럴드 서스먼의 부인으로, 자연어와 컴퓨터 언어를 모두 다루는 작가 겸 편집자다.

역자 : 김재우 외

김재우
동아대학교 컴퓨터공학과를 나왔고, 블루엣과 플라스틱 등 소프트웨어 개발 도구 전문회사에서 십여 년간 기술 지도자로 일했다. 이론 연구 성과를 교육과 실무에서 전하는 것을 즐거워하며, 현재는 메타프로그래밍과 선형 논리를 한 시스템으로 묶는 데 열을 올리고 있다. 자주 글을 쓰지 않아 찾는 사람도 없건만, http://kizoo.blogspot.com에 글자리를 펴놓았다. 현재는 동명대학교 컴퓨터공학과 전임강사와 (주)블루엣 인터내셔널의 소프트웨어 아키텍처 멘토로 일하고 있다.

안윤호
의대를 졸업하고 서울대학교 의용생체공학과에서 연구를 했으며 동대학원에서 공학을 전공했다. 전자공학과 컴퓨터를 취미로 다룬 지는 아주 오래되었다. 지금도 개인적인 호기심의 세계와 첨단 엔지니어링 세계에 차별을 두지 않고 전자공학과 컴퓨터 그리고 기술세계의 문화에 대한 관심을 기울이고 있다. 『과학 동아』에 과학과 기술과 문화에 대한 글을, 『마이크로소프트웨어』에 컴퓨터의 역사에 대한 새로운 시각과 리눅스 운영체제의 구조에 대한 칼럼을 오랫동안 기고하였으며 ZDNET에는 디지털 평전을 연재하고 있다. 개인적으로 LISP와 인공지능에 관심을 두고, FAB에 대해서도 나름대로 구현하는 방법을 연구 중이다.

김수정
동명대학교 MPS(Multi-paradigm Problem Solving) 교과의 강의팀에서 일했고, 현재는 동서대학교 전자공학과에서 강의를 하고 있다. 한국해양대학교 전자공학과를 졸업했다.

김정민
서울대 컴퓨터공학부를 졸업하고, 현재 SK Telecom 정보기술연구원에서 RM 및 PI 활동을 수행하며 모바일 고객센터, 디지털 홈 인프라, SPAM관리시스템 구축 등 다양한 소프트웨어 프로젝트의 PM으로 참여하였다. 옮긴 책으로 『소프트웨어 개발의 지혜』(야스미디어), 『실용주의 프로그래머를 위한 프로젝트 자동화』(인사이트), 『생각하는 Big Java』(사이텍미디어), 『LogOn Java2 Programming』(사이텍미디어), 『실용주의 프로그래머를 위한 단위 테스트 with JUnit』(인사이트)이 있다.

감수 : 이광근

서울대학교 자연과학대학에서 전산과학을 전공하고 미국 일리노이 대학교(UIUC)에서 박사 학위를 받았다. 미국 벨연구소 Software Principle Research Department에서 정규 연구원과 KAIST 전산학과 교수를 지내고, 현재 서울대학교 컴퓨터공학부 교수로 있다. 과학기술부 창의연구단인 ‘프로그램 분석 시스템 연구단’ 단장과, 파리 고등사범학교(ENS) 초빙교수를 역임했다. 프로그래밍 언어 이론을 응용한 무결점 소프트웨어 개발 도구에 대해 연구해 오고 있다. 홈페이지는 http://ropas.snu.ac.kr/~kwang

더보기

추천평 추천평 보이기/감추기

제가 이 책을 처음 대한 것은 20여 년 전 KAIST 전길남 박사님의 개가식 서재에서였는데 아직도 그 때의 감동과 충격이 생생하게 남아 있습니다. 개발자의 관심을 끌기 위해 수많은 책들이 출현하고 사라져 갔지만 적어도 이 책만큼은 아직도 저의 최고의 애독서이며, 아직도 저 스스로를 기술임원이니 소프트웨어 아키텍트니 하는 불편한 타이틀보다 개발자 마인드를 가진 전문인임을 자랑스럽게 생각하도록 하는 원동력이 되고 있습니다. 대학교에서 후학을 지도하던 시절, 강의실 복도를 메우며 의자도 없이 일어서서 혹은 벽에 기대어 제 강의를 청강하던 학생들은 지금도 그 때의 강의를 떠올리며 저를 기억에 남는 스승으로 생각하고 있습니다. 그러나 정작 저는 저의 열정이나 교수법보다 더 좋았던 것이 바로 이 책 때문이었음을 고백하지 않을 수 없습니다.
이 책의 대표적인 특징은 프로그래밍의 기본기와 기초체력을 충실히 다질 수 있는 필수 영양소 위주로 구성되어 있다는 것입니다. 대다수의 소위 프로그래밍 서적이 특정 언어의 문법이나 열심히 소개하고 예제 몇 개를 보여주는 것에 그치고 있는데 이는 잡식과 편식으로 허약해진 개발습관을 조장하는 것에 지나지 않습니다. 제대로 된 프로그래밍 교재라면 프로그래밍 자체를 가르쳐야 합니다. 프로그래밍이란 결국은 문제 해결을 의미합니다. 그런 의미에서 프로그래밍 교재와 프로그래밍 언어 교재는 엄격히 구별되어야 합니다. 감히 단언하건대 이 책에서 소개된 모든 문제나 예제를 스스로 가장 자주 사용하는 언어로 충실하게 표현할 수 없다면 불행하게도 그 독자는 문제 해결 능력도 언어에 대한 전문성도 부족한 어설픈 개발자입니다.

특정 언어에 구애 받지 않고 자유롭게 문제의 해법을 사고할 수 있도록 이 책에서는 Scheme이라는 언어를 사용하고 있습니다. 저의 경험상 이 언어를 학습하는 비용은 거의 0에 가깝습니다. 물론 어떤 언어이든 그 언어의 특이한 기능, 관용적 표현 및 라이브러리를 모두 학습하는 것은 시간이 걸리는 일이지만 적어도 이 책을 학습하는 동안에는 그런 일이 거의 필요 없습니다. 그 결과 이 책은 문제 해결에만 거의 대부분의 사고를 집중하고 폭넓은 분야에서의 여러 문제를 위한 다양한 해법을 학습하는 데 대부분의 시간을 활용할 수 있습니다.

그러나 무엇보다도 이 책의 가장 큰 매력은 프로그래밍이 즐겁다는 것을 확실하게 증명하고 있다는 점입니다. 이 책에서 소개되는 문제들과 그 해결 방법은 비록 처음에는 어려워 보일지 몰라도 결코 따분하거나 재미없지 않습니다. 오히려 이 책을 학습하다 보면 프로그래밍이 기쁘고 즐거운 일이라는 것을 깨닫는 것에 그리 오랜 시간이 걸리지 않습니다. 더구나 지금처럼 Scheme 인터프리터가 다양하고 폭넓게 보급되어 있고, MIT의 오픈코스웨어를 통해 강의 동영상까지 제공되고 있는 것은 어쩌면 저보다 20여 년 후에 이 책을 대하는 독자 여러분의 행운이라 생각됩니다.

어휘와 토씨 하나에 이르기까지 최선의 노력을 기울인 역자들의 노고는 이 책을 원서 이상의 가치를 가진 책으로 거듭나게 하였음을 확신합니다.
김명호 박사 : 한국 마이크로소프트(MS) 최고기술임원(NTO)

회원리뷰 (0건) 회원리뷰 이동

리뷰 쓰기

혜택 및 유의사항?

등록된 리뷰가 없습니다!

첫번째 리뷰어가 되어주세요.

한줄평 (0건) 한줄평 이동

한줄평 쓰기

작성 시 유의사항?

등록된 한줄평이 없습니다!

첫번째 한줄평을 남겨주세요.

배송/반품/교환 안내

배송 안내

반품/교환 안내에 대한 내용입니다.
배송 구분	예스24 배송 배송비 : 무료배송
포장 안내	안전하고 정확한 포장을 위해 CCTV를 설치하여 운영하고 있습니다. 고객님께 배송되는 모든 상품을 CCTV로 녹화하고 있으며, 철저한 모니터링을 통해 작업 과정에 문제가 없도록 최선을 다 하겠습니다. 목적 : 안전한 포장 관리 촬영범위 : 박스 포장 작업

반품/교환 안내

상품 설명에 반품/교환과 관련한 안내가 있는경우 아래 내용보다 우선합니다. (업체 사정에 따라 달라질 수 있습니다)

반품/교환 안내에 대한 내용입니다.
반품/교환 방법	고객만족센터(1544-3800), 중고샵(1566-4295) 판매자 배송 상품은 판매자와 반품/교환이 협의된 상품에 한해 가능합니다.
반품/교환 가능기간	출고 완료 후 10일 이내의 주문 상품 디지털 콘텐츠인 eBook의 경우 구매 후 7일 이내의 상품 중고상품의 경우 출고 완료일로부터 6일 이내의 상품 (구매확정 전 상태) 모바일 쿠폰의 경우 유효기간(발행 후 1년) 내 등록하지 않은 상품
반품/교환 비용	고객의 단순변심 및 착오구매일 경우 상품 반송비용은 고객 부담임 직수입양서/직수입일서중 일부는 변심 또는 착오로 취소시 해외주문취소수수료 20%를 부과할수 있음 단, 아래의 주문/취소 조건인 경우, 취소 수수료 면제 오늘 00시 ~ 06시 30분 주문을 오늘 오전 06시 30분 이전에 취소 오늘 06시 30분 이후 주문을 익일 오전 06시 30분 이전에 취소 직수입 음반/영상물/기프트 중 일부는 변심 또는 착오로 취소 시 해외주문취소수수료 30%를 부과할 수 있음 단, 당일 00시~13시 사이의 주문은 취소 수수료 면제 박스 포장은 택배 배송이 가능한 규격과 무게를 준수하며, 고객의 단순변심 및 착오구매일 경우 상품의 반송비용은 박스 당 부과됩니다.
반품/교환 불가사유	소비자의 책임 있는 사유로 상품 등이 손실 또는 훼손된 경우 소비자의 사용, 포장 개봉에 의해 상품 등의 가치가 현저히 감소한 경우 : 예) 화장품, 식품, 가전제품, 전자책 단말기 등 복제가 가능한 상품 등의 포장을 훼손한 경우 : 예) CD/LP, DVD/Blu-ray, 소프트웨어, 만화책, 잡지, 영상 화보집 소비자의 요청에 따라 개별적으로 주문 제작되는 상품의 경우 디지털 컨텐츠인 eBook, 오디오북 등을 1회 이상 다운로드를 받았을 경우 eBook 대여 상품은 대여 기간이 종료 되거나, 2회 이상 대여 했을 경우 취소 불가 모바일 쿠폰 등록 후 취소/환불 불가 중고상품이 구매확정(자동 구매확정은 출고완료일로부터 7일)된 경우 LP상품의 재생 불량 원인이 기기의 사양 및 문제인 경우 (All-in-One 일체형 일부 보급형 오디오 모델 사용 등) 시간의 경과에 의해 재판매가 곤란한 정도로 가치가 현저히 감소한 경우 전자상거래 등에서의 소비자보호에 관한 법률이 정하는 소비자 청약철회 제한 내용에 해당되는 경우
소비자 피해보상	상품의 불량에 의한 반품, 교환, A/S, 환불, 품질보증 및 피해보상 등에 관한 사항은 소비자분쟁해결기준(공정거래위원회 고시)에 준하여 처리됨
환불 지연에 따른 배상	대금 환불 및 환불 지연에 따른 배상금 지급 조건, 절차 등은 전자상거래 등에서의 소비자 보호에 관한 법률에 따라 처리