Haskellによる関数プログラミングの思考法

Haskellによる関数プログラミングの思考法

著: Richard Bird
訳: 山下伸夫
3,080円(税込)
発売日2017年02月28日

数量:

ほしいものリストに追加
電子書籍をブックウォーカーで購入

利用可能なお支払方法

クレジット(3Dセキュア) 代引き コンビニ atone キャリア 楽天Edy モバイルSuica Amazon Pay
  • ISBN コード : 9784048930536
  • サイズ : B5判 変形 総ページ数: 336ページ
  • 商品寸法(横/縦/束幅): 182 × 234 × 18.5 mm
  • ※総ページ数、商品寸法は実際と異なる場合があります

関数プログラミングの考え方・思考法を学ぶ!

◆関数プログラミングの思考法を伝える教科書!

本書では、「関数と関数適用を使ってプログラムを構成する」「数学で用いる単純な記法で問題を簡潔明快に記述する」「単純な数学を基盤とし等式論証を用いてプログラムの性質に関して証明やプログラム運算する(意味を変えることなくプログラムを変換する)」ことで、意図どおり正しく合理的な時間で動作するプログラムを手早く書くというプログラマ共通の課題に挑み、関数プログラミングの基本的な考え方を学んでいく。

著訳者プロフィール

●Richard Bird:オックスフォード大学名誉教授、同大学リンカーンカレッジフェロー。
関心分野:プログラミングの代数、仕様からのアルゴリズム運算、関数プログラミング、アルゴリズムデザイン。
●山下伸夫:聖徳大学准教授、株式会社タイムインターメディア顧問。
関心分野:関数プログラミング言語設計、Haskellによる関数プログラミング、Haskellを通じてプログラミングの楽しさをどう伝えるか。

目次

第1章 関数プログラミングとは何か
第2章 式,型,値
第3章 数値
第4章 リスト
第5章 単純な数独ソルバー
第6章 証明
第7章 効率
第8章 プリティプリント
第9章 無限リスト
第10章 命令的関数プログラミング
第11章 構文解析
第12章 単純等式運算器
最近チェックした商品