Amazon.co.jpで購入する

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

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

萩谷昌己　著

Ａ５判　　242ページ　　本体価格￥2900　　1998.3月発売

[内容]

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

[目次]
第１章　再帰的関数
第２章　簡約
第３章　種々の再帰的定義
第４章　帰納的定義
第５章　リスト
第６章　高階関数
第７章　S式
第８章　Lisp
第９章　Lispプログラミング
第10章　帰納的述語
第11章　型のはなし
付録A　Boomborg-red
付録B　Lisp
付録C　Scheme
付録D　ML
付録E　Prolog