プログラミング言語書籍一覧１０
｜ 一覧９へ | 書籍一覧目次へ | トップページへ | 一覧１１へ ｜
|
ISBN4-7649-0181-1 近代科学社 原書：Functional Programming (Prentice-Hall (UK)、 Ltd.版) R.バード･P.ワドラー 著 武市正人(東京大学教授) 訳 A5判 336頁 本体価格 4,369円 1991年4月発売 [内容] 関数プログラミングはプログラミングを数学的な活動としてとらえる考え方であり、本書ではそれを特定のプログラミング言語によらず数学の表記法を用いて紹介する。大学初年級の教科書として、また熟達したプログラマ参考書として、最適な新しい形の入門書である。[目次] 1. 基本的な概念 2. 基本データ型 3. リスト 4. リスト処理の例 5. 再帰法と帰納法 6. 効率 7. 無限リスト 8. 新しい型 9. 木 付録A. ASCII文字集合 付録B. 標準的な関数 付録C. Mirandaによるプログラミング 参考文献
|
||||||||||||||||
|
関数プログラミングJSSST’91
レクチャーノート/ソフトウェア学3 ISBN4-7649-0203-6 近代科学社 日本ソフトウェア科学会関数プログラミング研究会 編 B5判 200頁 本体価格 2,136円 [内容] 「関数プログラミング研究会」のワークショップの発表論文集である。 [目次]
|
||||||||||||||||
|
レクチャーノート/ソフトウェア学10 ISBN4-7649-0232-X 近代科学社 武市正人(東京大学教授) 編 B5判 256頁 本体価格 3,204円 [内容] 「関数プログラミング研究会」のワークショップの発表論文集である。 [目次]
|
||||||||||||||||
|
計算論計算可能性とラムダ計算
コンピュータサイエンス大学講座24 ISBN4-7649-0184-6 近代科学社 高橋正子(東京工業大学教授) 著 A5判 208頁 本体価格 3,398円 [内容] 計算の本質は何だろうか、計算できる関数はどのような構造をもっているか、原理的に計算できない関数があるというがそれは一体どんな関数だろうか、…これらの問題について最初に数学的にわかりやすく解説する。また、プログラムの意味論や関数型言語と関連して注目を集めているラムダ計算の基礎理論を計算可能性の問題と関連させながら展開する。従来、ラムダ計算に関する書物は少なく、しかもチャーチ･ロッサの定理や正規形定理などの基本定理の証明をきちんと与えているものは専門家向きのものに限られていたが、本書では簡潔で見通しのよい証明をこれらの基本定理に対して与える。また、プログラムの数学的意味論にとって不可欠であるラムダ計算のモデルと、それに関するスコットらの理論を紹介する。 [目次] 1. 計算可能な関数 2. λ計算の基礎 3. λ計算のモデル 参考文献
|
