A Gentle Introduction to Functional Programming in English （Second Edition）（オーム社） [電子書籍]

A Gentle Introduction to Functional Programming in English （Second Edition）（オーム社） の 商品概要

• 　英語とHaskellで学ぶ関数プログラミンの入門書（日本名：関数プログラミング入門，in English！［第2版］）
  
  　本書は、Haskellを用いて関数プログラミングの入門的な内容を英語で解説した書籍です。多くのプログラミング言語はもともと英語が母体であり、プログラミング自体を英語で学習することは、日本をはじめ特に非欧米語圏の人々にとって、きわめて重要かつ有用です。
  　なお本書では、日本の学生の英語での学習を支援するために、本文中の重要キーワードについては、適宜、日本語の訳や解説を加えています。本書を読み進めれば，英文の読解力と情報関係の専門用語の知識を自然に得ることができ，今後，英語論文や英文原書を読みこなすための確かな力が身につきます．
  

• 目次

  Preface（序文）
  Chapter 1　About Functional Programming（関数プログラミングについて）
  1.1　Preamble（はじめに）
  1.2　Four main programming paradigms（主なプログラミングパラダイム）
  1.3　Recent quotes（最近の引用）
  1.4　What is it, functional programming?（関数プログラミングとは何か）
  　1.4.1　What is a mathematical function?（数学の関数とは何か）
  　1.4.2　Functions in computer science（計算機科学での関数）
  　1.4.3　Function vs. procedure（関数対手続き）
  　1.4.4　What about functional programming?（関数プログラミングとの関係）
  　1.4.5　The real world（現実の世界）
  　1.4.6　A word on performance（実行性能について）
  1.5　About Haskell（Haskellについて）
  1.6　Application examples（応用例）
  
  Chapter 2　Haskell Syntax and Evaluation Model（Haskell文法と評価モデル）
  2.1　The GHCi environment（GHCi環境）
  2.2　Arithmetic expressions（演算式）
  2.3　Expression evaluation（式の評価）
  
  Chapter 3　Variables（変数）
  3.1　About variables（変数について）
  3.2　Variables in Haskell（Haskellでの変数）
  3.3　Data types（データ型）
  　3.3.1　Typing（型付け）
  　3.3.2　Haskell basic data types（Haskell基本データ型）
  　3.3.3　Booleans, characters and strings（ブーリアン、文字、文字列）
  　3.3.4　Variables and types（変数と型）
  　3.3.5　Type conversion（型変換）
  3.4　Scope（スコープ）
  　3.4.1　Global bindings（大域束縛）
  　3.4.2　Local bindings（局所束縛）
  　3.4.3　ame conflicts（名前の衝突）
  
  Chapter 4　Functions in Haskell（Haskellで関数）
  4.1　Basic definition（基本定義）
  4.2　Currying（カリー化）
  4.3　Signatures（プロトタイプ）
  4.4　Generic data types（総称型）
  4.5　Contracts（契約）
  4.6　Functions and the where clause（関数とwhere節）
  
  Chapter 5　Lists and Tuples（リストとタプル）
  5.1　Lists in Haskell（Haskellでリスト）
  　5.1.1　List accessors（リストのアクセス関数）
  　5.1.2　In signatures（リストとプロトタイプ）
  5.2　Tuples（タプル）
  　5.2.1　Tuple accessors（タプルのアクセス関数）
  　5.2.2　In signatures（タプルとプロトタイプ）
  5.3　Infinite lists（無限リスト）
  　5.3.1　Two-dot notation（ツードット形式）
  　5.3.2　Manipulating infinite lists（無限リストの活用）
  5.4　Laziness（遅延評価）
  5.5　List comprehension（リストの内包表記）
  
  Chapter 6　Control Structures（制御構造）
  6.1　Binary relations and Boolean algebra（二項関係とブール代数）
  6.2　Control structures in Haskell（Haskellの制御構造）
  　6.2.1　Predicates（述語）
  　6.2.2　The if-then-else structure（if-then-else構造）
  　6.2.3　Guards（ガード）
  　6.2.4　An important remark（注意点）
  
  Chapter 7　Recursion（再帰）
  7.1　Preamble（はじめに）
  7.2　About recursion（再帰について）
  　7.2.1　Formal definition（正式な定義）
  　7.2.2　A famous example（有名な例）
  　7.2.3　Summarising（まとめ）
  7.3　Recursion in Haskell（Haskellで再帰）
  7.4　Recursion on lists（リストに対する再帰）
  　7.4.1　Recall（確認）
  　7.4.2　List recursion（再帰的リスト処理）
  7.5　Tail recursion（末尾再帰）
  7.6　Warning: base case（注意事項）
  
  Chapter 8　Pattern Matching（パターンマッチ）
  8.1　Introducing pattern matching（パターンマッチについて）
  　8.1.1　Matching literals（リテラルのマッチ）
  　8.1.2　Matching tuples and lists（タプルとリストのマッチ）
  　8.1.3　List dissection（リスト解剖）
  　8.1.4　emarks（注意点）
  8.2　Pattern matching and recursion（パターンマッチと再帰）
  　8.2.1　First steps（はじめに）
  　8.2.2　With lists（リストの場合）
  　8.2.3　About list processing（リストの処理について）
  
  Chapter 9　Selected Applications（応用例）
  9.1　Sorting（整列）
  9.2　Abstract data types（抽象データ型）
  　9.2.1　Type synonyms（型の同義語）
  　9.2.2　Stack（スタック）
  　9.2.3　Queue（キュー）
  9.3　Procedural graphics（手続的グラフィックス）
  　9.3.1　The Koch snowflake（コッホ曲線）
  　9.3.2　Bezier curves（ベジエ曲線）
  　9.3.3　3D graphics（三次元グラフィックス）
  9.4　About this function h…（関数hについて）
  
  Chapter 10　Towards Logical Programming（論理プログラミングに向けて）
  10.1　About logical programming（論理プログラミングについて）
  　10.1.1　Preamble（はじめに）
  　10.1.2　Propositional logic（命題論理）
  　10.1.3　First-order logic（一階述語論理）
  　10.1.4　In practice（実際のところ）
  10.2　Facts, rules and queries（事実、規則と質問）
  10.3　Recursion with logical programming（論理プログラミングによる再帰）
  　10.3.1　Recursive rules（再帰的規則）
  　10.3.2　Recursive programming（再帰的プログラミング）
  10.4　Lists with logical programming（論理プログラミングによるリスト）
  10.5　Prolog: arithmetic, cuts and negation（Prolog: 演算、カットと否定）
  　10.5.1　Arithmetic with system predicates（組込述語による演算）
  　10.5.2　Cuts（カット）
  　10.5.3　egation（否定）
  
  Chapter 11　Concluding Remarks（最後に）
  
  The Prelude - A Short Reference（The Prelude関数一覧（短縮））
  Exercise Solutions（演習課題の解答例）
  Bibliography（参考文献）
  Index（索引）
  

A Gentle Introduction to Functional Programming in English （Second Edition）（オーム社） の商品スペック