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

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

試し読みをする

※電子書籍ストアBOOK☆WALKERへ移動します。

試し読みをする

※電子書籍ストアBOOK☆WALKERへ移動します。

  • 定価: (本体円+税)
発売日:
2017年02月28日
判型:
B5変形判
商品形態:
単行本
ページ数:
336
ISBN:
9784048930536

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

  • 定価: 円 (本体円+税)
発売日:
2017年02月28日
判型:
B5変形判
商品形態:
単行本
ページ数:
336
ISBN:
9784048930536

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

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

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

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

※画像は表紙及び帯等、実際とは異なる場合があります。

もくじ

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

最近チェックした商品