商品・作品・著者名を入力してください
HOME
本
ビジネス・資格・自己啓発・雑学・IT
IT・PC・理工科学書
HOME
Haskellによる関数プログラミングの思考法
9784048930536
Haskellによる関数プログラミングの思考法
著:
Richard Bird
訳:
山下伸夫
3,080
円(税込)
発売日
2017年02月28日
数量
1
2
3
4
5
6
7
8
9
Tweet
Share
ご利用可能なお支払方法
送料について
配送について
キャンセル・返品について
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章 単純等式運算器
#ドワンゴ
#一般書
#単行本
#PC書
#生活・文化・実用
#PC・理工科学書
#Richard
#Bird
#山下伸夫
関数プログラミングの考え方・思考法を学ぶ!
◆関数プログラミングの思考法を伝える教科書!本書では、「関数と関数適用を使ってプログラムを構成する」「数学で用いる単純な記法で問題を簡潔明快に記述する」「単純な数学を基盤とし等式論証を用いてプログラムの性質に関して証明やプログラム運算する(意味を変えることなくプログラムを変換する)」ことで、意図どおり正しく合理的な時間で動作するプログラムを手早く書くというプログラマ共通の課題に挑み、関数プログラミングの基本的な考え方を学んでいく。
著訳者プロフィール
関心分野:プログラミングの代数、仕様からのアルゴリズム運算、関数プログラミング、アルゴリズムデザイン。
●山下伸夫:聖徳大学准教授、株式会社タイムインターメディア顧問。
関心分野:関数プログラミング言語設計、Haskellによる関数プログラミング、Haskellを通じてプログラミングの楽しさをどう伝えるか。
目次
第2章 式,型,値
第3章 数値
第4章 リスト
第5章 単純な数独ソルバー
第6章 証明
第7章 効率
第8章 プリティプリント
第9章 無限リスト
第10章 命令的関数プログラミング
第11章 構文解析
第12章 単純等式運算器