本, 猪股 俊光

平均的な顧客フィードバック : 3.6 5つ星のうち（797人の読者）
ファイルサイズ : 20.89 MB

計算モデルとプログラミング epubダウンロード - 内容紹介 コンピュータによる計算とは何か?コンピュータで行える計算の限界はどこにあるのか?――計算機科学におけるもっとも基本的,かつ重要な疑問を,プログラミングを通して紐解く一冊.本書では,チューリング機械・帰納的関数・ラムダ計算などのさまざまな計算モデルを取り上げ,それぞれのモデルにおける計算の基礎理論と計算可能性を,豊富な具体例と問題を通して解説します.また,計算モデルの数学的基礎だけでなく,これらのモデルをもとに実装されたプログラミング言語についても,紙面を割いて解説しています.計算の理論と実装例とを比較しながら学習することで,スコープ・カリー化・継続など,抽象的で掴みづらいプログラミング技法への理解が深まります. 目次 第1章 計算の世界と計算モデル 第2章 抽象機械型計算モデル 第3章 命令型計算モデル 第4章 関数型計算モデル ―帰納的関数― 第5章 関数型計算モデル ―ラムダ計算― 第6章 論理型計算モデル 付録A 数学の準備 付録B チューリング機械シミュレータ 付録C レジスタ機械シミュレータ 内容（「BOOK」データベースより） 様々な計算モデルを通して、プログラミング言語のメカニズムを解き明かす。 著者について 岩手県立大学教授 工博 著者略歴 (「BOOK著者紹介情報」より) 猪股/俊光 1984年豊橋技術科学大学工学部生産システム工学課程卒業。1986年豊橋技術科学大学工学研究科生産システム工学専攻修士課程修了。1989年豊橋技術科学大学工学研究科システム情報工学専攻博士後期課程修了、工学博士。豊橋技術科学大学工学部助手。1992年静岡理工科大学理工学部講師。1995年静岡理工科大学理工学部助教授。1998年岩手県立大学ソフトウェア情報学部助教授。2007年岩手県立大学ソフトウェア情報学部教授、現在に至る 山田/敬三 1995年九州工業大学情報工学部知能情報工学科卒業。1997年九州工業大学大学院情報工学研究科情報科学専攻博士前期課程修了。2000年九州工業大学大学院情報工学研究科情報科学専攻博士後期課程修了、博士(情報工学)。九州工業大学情報工学部知能情報工学科助手。2006年岩手県立大学ソフトウェア情報学部講師、現在に至る(本データはこの書籍が刊行された当時に掲載されていたものです)

de 猪股 俊光

3.6 5つ星のうち (797 人の読者)

多くの人々はこれらの本をPDF形式で[ダウンロード]本タイトルをダウンロードしたり、無料の本を入手するためにタイトル本電子ブックPDFをダウンロードしたりするなど、いくつかのクエリで検索エンジンでこれらの本を検索しようとします。 検索クエリでより良い結果を得るには、検索クエリ 計算モデルとプログラミング Download eBook Pdf e Epub または Download 計算モデルとプログラミング PDF を使用することをお勧めします。