計算モデルとプログラミング

ラムダ計算を分かりやすく説明した本がありました。

「計算モデルとプログラミング」という本です。

計算モデルとプログラミング

作者:猪股俊光,山田敬三
発売日: 2019/04/19
メディア: 単行本

本書を参考にして、ラムダ計算の説明方法を学んでみたいと思います。

目次
著者紹介
出版社情報
書評

著者紹介

猪股　俊光（いのまた・としみつ）

1984年　豊橋技術科学大学工学部生産システム工学課程卒業

1986年　豊橋技術科学大学工学研究科生産システム工学専攻修士課程修了

1989年　豊橋技術科学大学工学研究科システム情報工学専攻博士後期課程修了

　　　　工学博士

1989年　豊橋技術科学大学工学部助手

1992年　豊橋技術科学大学工学部講師

1995年　豊橋技術科学大学工学部助教授

1998年　岩手県立大学ソフトウェア情報学部助教授

2007年　岩手県立大学ソフトウェア情報学部教授

　　　　現在に至る

http://souran.iwate-pu.ac.jp/html/100000112_ja.html

souran.iwate-pu.ac.jp

http://www.rts.soft.iwate-pu.ac.jp/rts_hp/

www.rts.soft.iwate-pu.ac.jp

http://www.hachinohe-ct.ac.jp/~euser/about/obog.html

八戸高専産業システム工学科電気情報工学コース

猪股　俊光　さん

　現在，大学でコンピュータ科学の基礎理論やプログラミング技法についての講義を担当しながら，各種機器（デジタル家電，輸送機器，航空宇宙機器など）に組み込まれているソフトウェアを開発するための設計法・実装法について研究をしています。研究では，試行錯誤や経験・勘だけに頼らずに，数理的なアプローチで高性能なソフトウェアを設計・実装することを目指しています。

山田　敬三（やまだ・けいぞう）

1995年　九州工業大学情報工学部知能情報工学科卒業

1997年　九州工業大学大学院情報工学研究科情報科学専攻博士前期課程修了

2000年　九州工業大学大学院情報工学研究科情報科学専攻博士後期課程修了

　　　　博士（情報工学）

2000年　九州工業大学情報工学部知能情報工学科助手

2006年　岩手県立大学ソフトウェア情報学部講師

　　　　現在に至る

http://souran.iwate-pu.ac.jp/html/100000144_ja.html

souran.iwate-pu.ac.jp

http://p-www.iwate-pu.ac.jp/~k-yamada/

p-www.iwate-pu.ac.jp

https://www.youtube.com/channel/UC-88BXqf7CpYG1NsixXw0LA/

www.youtube.com

出版社情報

https://www.morikita.co.jp/books/book/3372

www.morikita.co.jp

コンピュータによる計算とは何か?

コンピュータで行える計算の限界はどこにあるのか?

――計算機科学におけるもっとも基本的、かつ重要な疑問を,プログラミングを通して紐解く一冊。

本書では、チューリング機械・帰納的関数・ラムダ計算などのさまざまな計算モデルを取り上げ、それぞれのモデルにおける計算の基礎理論と計算可能性を、豊富な具体例と問題を通して解説します。

また,計算モデルの数学的基礎だけでなく、これらのモデルをもとに実装されたプログラミング言語についても,紙面を割いて解説しています。

計算の理論と実装例とを比較しながら学習することで、スコープ・カリー化・継続など、抽象的で掴みづらいプログラミング技法への理解が深まります。

ダウンロード

ソースファイル (zip)　プログラムとシミュレータ

補足資料 (pdf)　補遺（付録D～G）

正誤表 (pdf)

書評

「まえがき」によると、本書は大学の講義ノートを基に作られたそうです。

本書は、岩手県立大学ソフトウェア情報学部において、著者が担当してきた学部専門科目『情報学基礎A』（1998～2005年度）と『計算モデル論』（2006年度以降）の講義ノートをもとに作成したものです。

この講義ノートの一部は、中高生を対象とした『コンピュータサイエンス教室』（岩手県立大学ソフトウェア情報学部主催の公開講座、2017、2018年度）でも活用しました。

これらの実践を通じて、本文での説明内容、例題、演習問題等の手直しを繰り返してきました。