プログラミング言語書籍一覧13

|   一覧12へ   |   書籍一覧目次へ   |    トップページへ   |    一覧14へ    |

BD10219_.GIF (978 バイト)

 

Amazon.co.jpで購入する

プログラミング言語書籍一覧 目次

関数プログラミング

ISBN4-535-60817-2  日本評論社

萩谷昌己 著

A5判  242ページ  本体価格¥2900  1998.3月発売

[内容]

通常の数学との連続性を保つために再帰的関数を用い、計算の形式的な記述について解説する。プログラミング言語の知識は仮定しないが、最終的には、帰納的関数からLispにたどりつく。

[目次]
第1章 再帰的関数
第2章 簡約
第3章 種々の再帰的定義
第4章 帰納的定義
第5章 リスト
第6章 高階関数
第7章 S式
第8章 Lisp
第9章 Lispプログラミング
第10章 帰納的述語
第11章 型のはなし
付録A Boomborg-red
付録B Lisp
付録C Scheme
付録D ML
付録E Prolog

 

プログラミング言語書籍次のページ        プログラミング言語書籍目次       トップページ