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

• Material Type: 図書
• ISBN: 978-4-627-85471-0
• Title: 計算モデルとプログラミング
• Title Transcription: ケイサン モデル ト プログラミング
• Author/Editor: 猪股俊光, 山田敬三 共著
• Author Heading: 猪股, 俊光, 1961- イノマタ, トシミツ, 1961- ( 00348537 )Authorities; 山田, 敬三 ヤマダ, ケイゾウ ( 001321053 )Authorities
• Publication, Distribution, etc.: 東京 : 森北出版
• Publication Date: 2019.4
• Publication Date (W3CDTF): 2019
• Extent: 212p
• Size: 22cm
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Subject Heading: オートマトン オートマトン ( 00568995 )Authorities; プログラミング (コンピュータ) プログラミング (コンピュータ) ( 00569223 )Authorities
• NDC 10th ed.: 007.1 : Information science. Informatics
• NDLC: M121
• Target Audience: 一般
• Note (Bibliography): 文献あり 索引あり
• Price: 3200円
• Holding library: 国立国会図書館
• Call No.: M121-M77
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 029624453; http://id.ndl.go.jp/bib/029624453
• National Bibliography No. (JPNO): 23216241
• TOHAN MARC No.: 33913010
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

• Summary, etc.: 様々な計算モデルを取り上げ，その基礎理論と計算可能性，さらにはモデルを基に実装したプログラミング言語について解説．(Provided by: 出版情報登録センター（JPRO）)
• Author introduction: 猪股 俊光 岩手県立大学教授 工博山田 敬三 岩手県立大学講師 博士（情報工学）(Provided by: 出版情報登録センター（JPRO）)

Table of Contents

第1章　計算の世界と計算モデル

第2章　抽象機械型計算モデル

第3章　命令型計算モデル

第4章　関数型計算モデル ―帰納的関数―

第5章　関数型計算モデル ―ラムダ計算―