出版社内容情報
関数プログラミングの考え方・思考法を学ぶ!関数プログラミングが最高の技法である理由は、関数プログラムを数学的に考察できる点にある。本書を読むことで、関数プログラミングの本質を身に着け、Haskellの真の能力を理解できるだろう。
第1章 関数プログラミングとは何か
第2章 式,型,値
第3章 数値
第4章 リスト
第5章 単純な数独ソルバー
第6章 証明
第7章 効率
第8章 プリティプリント
第9章 無限リスト
第10章 命令的関数プログラミング
第11章 構文解析
第12章 単純等式運算器
Richard Bird[リチャード バード]
オックスフォード大学名誉教授、同大学リンカーンカレッジフェロー。
関心分野:プログラミングの代数、仕様からのアルゴリズム運算、関数プログラミング、アルゴリズムデザイン。
山下伸夫[ヤマシタノブオ]
聖徳大学准教授、株式会社タイムインターメディア顧問。
関心分野:関数プログラミング言語設計、Haskellによる関数プログラミング、Haskellを通じてプログラミングの楽しさをどう伝えるか。
目次
第1章 関数プログラミングとは何か
第2章 式、型、値
第3章 数値
第4章 リスト
第5章 単純な数独ソルバー
第6章 証明
第7章 効率
第8章 プリティプリント
第9章 無限リスト
第10章 命令的関数プログラミング
第11章 構文解析
第12章 単純等式運算器
著者等紹介
バード,リチャード[バード,リチャード] [Bird,Richard]
オックスフォード大学名誉教授、同大学リンカーンカレッジフェロー。関心分野はプログラミングの代数、仕様からのアルゴリズム運算、関数プログラミング、アルゴリズムデザイン
山下伸夫[ヤマシタノブオ]
聖徳大学准教授、株式会社タイムインターメディア顧問。関心分野は関数プログラミング言語設計、Haskellによる関数プログラミング、Haskellを通じてプログラミングの楽しさをどう伝えるか(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。