カドカワストア
すべて
一般文庫・新書
ライトノベル・BL・TL・新文芸
コミック・コミックエッセイ
文芸・ノンフィクション
ビジネス・資格・自己啓発・雑学・IT
美容・健康・料理・趣味・実用
学参・辞典・語学・児童書
雑誌・ムック
攻略本・TV・映画・タレント本
写真集・カレンダー・年賀状・その他
映像・音楽・ゲーム・ソフト
フィギュア・ホビー・アパレル
カード・その他グッズ
数量:
利用可能なお支払方法
関数プログラミングの考え方・思考法を学ぶ!
◆関数プログラミングの思考法を伝える教科書!本書では、「関数と関数適用を使ってプログラムを構成する」「数学で用いる単純な記法で問題を簡潔明快に記述する」「単純な数学を基盤とし等式論証を用いてプログラムの性質に関して証明やプログラム運算する(意味を変えることなくプログラムを変換する)」ことで、意図どおり正しく合理的な時間で動作するプログラムを手早く書くというプログラマ共通の課題に挑み、関数プログラミングの基本的な考え方を学んでいく。
著訳者プロフィール
関心分野:プログラミングの代数、仕様からのアルゴリズム運算、関数プログラミング、アルゴリズムデザイン。
●山下伸夫:聖徳大学准教授、株式会社タイムインターメディア顧問。
関心分野:関数プログラミング言語設計、Haskellによる関数プログラミング、Haskellを通じてプログラミングの楽しさをどう伝えるか。
目次
第2章 式,型,値
第3章 数値
第4章 リスト
第5章 単純な数独ソルバー
第6章 証明
第7章 効率
第8章 プリティプリント
第9章 無限リスト
第10章 命令的関数プログラミング
第11章 構文解析
第12章 単純等式運算器