HOME > Detail View

Detail View

하스켈로 배우는 프로그래밍 (Loan 21 times)

Material type
단행본
Personal Author
Hutton, Graham 안기영, 역 박정훈, 역
Title Statement
하스켈로 배우는 프로그래밍 / Graham Hutton 지음 ; 안기영 , 박정훈 옮김
Publication, Distribution, etc
서울 :   대림,   2009  
Physical Medium
368 p. : 삽화 ; 24 cm
Varied Title
Programming in Haskell
ISBN
9788972808183
General Note
감수: 우균  
Bibliography, Etc. Note
참고문헌(p. 362-363)과 색인수록
Subject Added Entry-Topical Term
Haskell (Computer program language)
000 00927camcc2200313 c 4500
001 000045565224
005 20121222185232
007 ta
008 090806s2009 ulka b 001c kor
020 ▼a 9788972808183 ▼g 13560
035 ▼a (KERIS)BIB000011719575
040 ▼a 241050 ▼c 241050 ▼d 211009
041 1 ▼a kor ▼h eng
082 0 4 ▼a 005.133 ▼2 22
085 ▼a 005.133 ▼2 DDCK
090 ▼a 005.133 ▼b H349 2009
100 1 ▼a Hutton, Graham
245 1 0 ▼a 하스켈로 배우는 프로그래밍 / ▼d Graham Hutton 지음 ; ▼e 안기영 , ▼e 박정훈 옮김
246 1 9 ▼a Programming in Haskell
260 ▼a 서울 : ▼b 대림, ▼c 2009
300 ▼a 368 p. : ▼b 삽화 ; ▼c 24 cm
500 ▼a 감수: 우균
504 ▼a 참고문헌(p. 362-363)과 색인수록
650 0 ▼a Haskell (Computer program language)
700 1 ▼a 안기영, ▼e
700 1 ▼a 박정훈, ▼e
900 1 0 ▼a 허튼, 그라함, ▼e
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks1)/ Call Number 005.133 H349 2009 Accession No. 121187829 Availability In loan Due Date 2022-07-13 Make a Reservation Service M
No. 2 Location Science & Engineering Library/Sci-Info(Stacks1)/ Call Number 005.133 H349 2009 Accession No. 121187830 Availability Available Due Date Make a Reservation Service B M

Contents information

Book Introduction

Haskell 언어로 프로그램 짜는 법을 일러주는 책. Haskell은 그 내용이 비교적 적지만 의미가 명료하면서도 표현력을 갖춘 언어이다. 따라서 프로그래밍 작업은 명확하게, 코딩 수정은 간단하게 만드는 장점이 있다. 프로그래밍을 처음 배우는 사람이 익히기 적합한 책으로, 프로그래밍의 모든 개념을 기초부터 차근차근 엄선된 예제를 곁들여 설명하고자 했다.

강의 능력이 검증된 저명한 하스켈 연구자이자 강사인 그라함 허튼 교수가 직접 집필한 이 책은 프로그래밍의 아주 간단한 문제부터 책에서 다루는 프로젝트를 확장하는데 이르기까지 다양한 난이도의 연습문제를 제공할 뿐 아니라, 고급 주제에 대한 더 읽을거리도 추천하고 있다. PPT 슬라이드 및 연습문제 모범답안을 하스켈 홈페이지에서 제공한다.

프로그래밍 작업은 명확하게, 코딩 수정은 간단하게 만드는 Haskell!
프로그래밍 언어 연구자들이 선호하는 세련된 타입의 시스템!
프로그램 성질 증명법을 익히기 좋은 함수형 프로그래밍!
군더더기 없는 간결한 문법으로 깔끔한 코드 작성!
오픈소스로 제공되는 편리한 대화식 REPL 개발 환경 및 컴파일러!

이 입문서는 처음 프로그래밍을 배우는 사람에게 가장 적합한 책이다. 프로그래밍 경험이 전혀 없는 사람도 이해할 수 있도록 모든 개념을 기초부터 차근차근 엄선된 예제를 곁들여 설명한다. 각 장에는 아주 간단한 문제부터 책에서 다루는 프로젝트를 확장하는 데 이르기까지 다양한 난이도의 연습문제를 제공할 뿐 아니라, 고급 주제에 대한 더 읽을거리도 추천하고 있다. 저자는 여러 해 동안 강의한 경험을 바탕으로 분명하고 간결하게 내용을 표현하고 있다.이 책의 특징은 다음과 같다.NO1. 강사와 학생들을 위해 PPT 슬라이드 및 연습문제 모범답안을 하스켈 홈페이지에서 제공한다.NO2. 강사들은 이 책으로 진행하는 수업의 시험문제 샘플을 (모범답안과 함께) 요청할 수 있다.NO3. 책에서 다루는 코드는 모두 최근 하스켈 구현에서 잘 동작하며 홈페이지에서 받을 수 있다.NO4. 강의 능력이 검증된 저명한 하스켈 연구자이자 강사인 그라함 허튼 교수가 직접 집필하였다.

이 책은 Haskell이란 언어로 프로그램 짜는 법을 일러주는 책이다. Haskell은 그 내용이 비교적 적지만 의미가 명료하면서도 비할 데 드문 표현력을 갖춘 돋보이는 언어이다. 외서를 번역한 책이지만 다양한 실무예제를 추가로 작성해 넣었으며, 문제에 대한 해답 및 해설 또한 책에서 설명하고 있는 하스켈 홈페이지에서 무료로 사용이 가능하다. 또한 이 프로그래밍 방법은 간결한 함수형 프로그램을 기초로 하기 때문에 전체적인 메커니즘을 한눈에 파악하면서 코드를 작성하고 수정하기에 편리하다. 이런 강점 때문에 해외의 대학에서는 기본 수업 과정으로 교육되고 있다. 따라서 어지러운 프로그래밍 작업에 고단함을 느끼거나, 좀 더 쉽고 간결한 프로그래밍 작업을 선호하는 개발자라면 적극 추천하는 프로그래밍 언어이다.


Information Provided By: : Aladin

Author Introduction

그라함 허튼(지은이)

그라함 허튼 교수는 함수형 프로그래밍에 대한 선도적인 연구와 교육을 하는 네 곳의 연구 중심 대학에서 일하였다. 그는 15년 이상 함수형 프로그래밍을 연구하며 30여 편의 연구 논문을 냈으며, 하스켈 워크샵(현재 하스켈 심포지움) 학회장과 함수형 프로그래밍 저널(Journal of Functional Programming)의 하스켈 특별 이슈에 대한 편집장을 역임하기도 하였다. 2009년에 곧 스코틀랜드에서 개최될 ACM SIGPLAN 국제 함수형 프로그래밍 학회(International Conference of Functional Programming)의 학회장을 역임하고 있다. 또한 그는 10년 이상 하스켈로 강의하며 대학 교과과정에서 함수형 프로그래밍을 소개하는 데 노력하고 있다.

안기영(옮긴이)

2002년 KAIST 전산학과 졸업 후 (주)그래텍에서 팝폴더, 파일뱅크(2005년 일본) 등의 분산 네트웍 스토리지 서버 개발 및 유지보수를 하였고, 2005년부터 포틀랜드 주립대학에서 Tim Sheard 교수의 Omega 프로그래밍 언어 연구팀에서 박사과정을 밟고 있다. 박사과정 재학 중 한국인 최초로 2008 하스켈 심포지움(예전 하스켈 워크샵)에 논문을 발표하였고, Credit Suisse 2008 QSI 여름 인턴과 NASA Ames 연구소에서 2009년 여름 인턴 연구원으로 일하며 Haskell과 F#등의 함수형 프로그래밍 기술을 금융파생상품 및 항공우주 SW 분석에 활용하였다.

박정훈(옮긴이)

대학 휴학 중 인천광역시 정보화 사업 및 대전광역시 전자 회의록 구축 사업에 참여 하였으며(2000-2001), 국회의원 웹사이트 구축 및 전산화 업무(2003), ATCIS 육군전술지휘정보체계 서버 및 데이터베이스 유지보수(2004-2006) 등을 비롯한 다양한 공공 프로젝트에 참여하였다. 2008년 동아대학교에서 컴퓨터 공학과를 졸업한 후 그 동안 경험을 바탕으로 Sun Microsystems Solaris Network Administrator, Microsoft SQL SERVER 공인 엔지니어로 미국에서 일하고 있으며, 주요 관심 분야는 함수형 프로그래밍 패러다임을 실제 업무에 적용하는 것이며 현재 VSTS 2010에 들어갈 차기 F#에 대해 연구 중이다.

우균(감수)

우균 교수는 KAIST 전산학과 학사(1991), 석사(1993), 박사(2003)를 취득하고, 2000년부터 2004년까지 동아대학교 조교수로, 2004년부터는 부산대학교 정보컴퓨터공학부 부교수로 학생들을 가르치고 있다. 박사학위 연구 주제는 함수형 언어(functional languages)였으며, 현재는 프로그래밍 언어 및 컴파일러 구현, 소프트웨어 공학, 프로그램 분석 및 시각화, 로봇 프로그래밍 등을 연구하는 프로그래밍 언어 연구실을 이끌고 있다.

Information Provided By: : Aladin

Table of Contents

목차
CHAPTER 01 소개
 1.1 함수 = 28
 1.2 함수형 프로그래밍(functional programming) = 30
 1.3 하스켈의 특징 = 33
 1.4 역사적 배경 = 35
 1.5 하스켈 맛보기 = 36
 살펴보기 = 39
 연습문제 = 40
CHAPTER 02 첫걸음 떼기
 2.1 Hugs 시스템 = 42
 2.2 표준 서막(standard prelude) = 42
 2.3 함수 = 49
 2.4 하스켈 스크립트 = 54
 살펴보기 = 63
 연습문제 = 64
CHAPTER 03 타입과 클래스
 3.1 기본 개념 = 65
 3.2 기본 타입 = 68
 3.3 리스트 타입 = 72
 3.4 순서쌍 타입 = 74
 3.5 함수 타입 = 75
 3.6 커리된(curried) 함수 = 77
 3.7 여러 모양(polymorphic) 타입 = 80
 3.8 여러 의미(overloaded) 타입 = 82
 3.9 기본 클래스 = 83
 살펴보기 = 96
 연습문제 = 97
CHAPTER 04 함수 정의
 4.1 새것을 옛것으로부터 = 98
 4.2 조건식(conditional expression) = 100
 4.3 보초선 등식(guarded equation) = 101
 4.4 패턴 매칭(pattern matching) = 102
 4.5 람다식(lambda expression) = 108
 살펴보기 = 112
 연습문제  = 113
CHAPTER 05 리스트 조건제시식(comprehension)
 5.1 생성원(generator) = 114
 5.2 보초(guard) = 117
 5.3 Zip 함수 = 120
 5.4 글줄(string) 조건제시식(comprehension) = 122
 5.5 카이사르 암호(Caesar cipher) = 123
 살펴보기 = 132
 연습문제 = 133
CHAPTER 06 되도는 함수(recursive)
 6.1 기본 개념 = 136
 6.2 리스트로 되돌기 = 138
 6.3 인자가 여럿일 때 = 142
 6.4 여러 갈래로 되돌기 = 144
 6.5 서로 부르며 되돌기(mutual recursion) = 145
 6.6 되도는 함수 정의를 위한 도움말 = 147
 살펴보기 = 154
 연습문제 = 155
CHAPTER 07 함수를 주고받는(higher-order) 함수
 7.1 기본 개념 = 157
 7.2 리스트 다루기 = 159
 7.3 foldr 함수 = 163
 7.4 foldl 함수 = 167
 7.5 함수 합성 연산자 = 169
 7.6 글줄(string) 전송기 = 171
 살펴보기 = 178
 연습문제 = 179
CHAPTER 08 함수형 문법 분석기(functional parser)
 8.1 문법 분석기(parser) = 181
 8.2 문법 분석기 타입 = 182
 8.3 기본 문법 분석기 = 184
 8.4 순서대로 엮기(sequencing) = 186
 8.5 선택(choice) = 188
 8.6 간단한 문법 분석기 이끌어내기 = 189
 8.7 빈칸 처리 = 194
 8.8 산술식 문법 분석하기 = 200
 살펴보기 = 207
 연습문제 = 208
CHAPTER 09 대화식(interactive) 프로그램
 9.1 대화(interaction) = 210
 9.2 입출력 타입 = 211
 9.3 기본 동작(basic action) = 213
 9.4 순서대로 엮기(sequencing) = 214
 9.5 간단한 동작 이끌어내기 = 216
 9.6 계산기 = 219
 9.7 생명 게임(game of life) = 230
 살펴보기 = 240
 연습문제 = 241
CHAPTER 10 타입과 클래스 선언
 10.1 타입 선언 = 242
 10.2 데이터 선언 = 243
 10.3 되도는 타입 = 247
 10.4 늘 참(tautology) 검사기 = 251
 10.5 추상 기계(abstract machine) = 260
 10.6 클래스와 인스턴스 선언 = 264
 살펴보기 = 269
 연습문제 = 270
CHAPTER 11 카운트다운 문제(countdown problem)
 11.1 소개 = 272
 11.2 문제를 수식으로 정리하기 = 274
 11.3 짐승같이 무식한(brute-force) 풀이 = 278
 11.4 생성(generation)하면서 계산(evaluation)하기 = 280
 11.5 대수적 성질을 이용하기 = 282
 살펴보기 = 291
 연습문제 = 292
CHAPTER 12 느긋한 계산법(lazy evaluation)
 12.1 소개 = 293
 12.2 계산 방식(evaluation strategy) = 295
 12.3 끝남(termination) = 299
 12.4 줄이기(reduction) 횟수 = 300
 12.5 무한 구조(infinite structure) = 302
 12.6 모듈 방식(modular) 프로그래밍 = 304
 12.7 깐깐한 적용(strict application) = 308
 살펴보기 = 311
 연습문제 = 312
CHAPTER 13 프로그램에 대한 논리적 증명
 13.1 등식 바탕의 논증(equational reasoning) = 314
 13.2 하스켈 프로그램에 대한 논증 = 316
 13.3 간단한 보기들 = 317
 13.4 자연수에 대한 귀납법 = 319
 13.5 리스트에 대한 귀납법 = 323
 13.6 이어붙이기 연산자 없애기 = 326
 13.7 번역기 정확성(compiler correctness) = 331
 살펴보기 = 338
 연습문제 = 339
부록 A 표준 서막(standard prelude)
 클래스(class) = 341
 논리값(logical value) = 343
 글자(character)와 글줄(string) = 344
 수(number) = 346
 순서쌍(tuples) = 347
 아마도(Maybe) = 348
 리스트(list) = 348
 함수(function) = 353
 입출력(input/output) = 354
부록 B 기호표 및 Hugs 명령어
 B.1 기호표 = 356
 B.2 Hugs 명령 = 357
부록 C 번역 용례
참고문헌 = 362
찾아보기 = 364

New Arrivals Books in Related Fields

한국. 행정안전부 (2022)
Anson, Steve (2022)
한국. 행정안전부 (2022)
황기태 (2021)
Zumstein, Felix (2022)