計算モデルとプログラミング [単行本]
    • 計算モデルとプログラミング [単行本]

    • ¥3,520106ポイント(3%還元)
    • 在庫あり2021年1月25日月曜日までヨドバシエクストリームサービス便(無料)がお届け
計算モデルとプログラミング [単行本]
画像にマウスを合わせると上部に表示
100000009003113922

計算モデルとプログラミング [単行本]

猪股 俊光(共著)山田 敬三(共著)
価格:¥3,520(税込)
ポイント:106ポイント(3%還元)(¥106相当)
お届け日:在庫あり今すぐのご注文で、2021年1月25日月曜日までヨドバシエクストリームサービス便(無料)がお届けします。届け先変更]詳しくはこちら
出版社:森北出版
販売開始日: 2019/04/19
お取り扱い: のお取り扱い商品です。
ご確認事項:返品不可
店舗受け取りが可能です
NEWマルチメディアAkibaマルチメディア梅田マルチメディア博多にて24時間営業時間外でもお受け取りいただけるようになりました

計算モデルとプログラミング [単行本] の 商品概要

  • 要旨(「BOOK」データベースより)

    様々な計算モデルを通して、プログラミング言語のメカニズムを解き明かす。
  • 目次

    第1章 計算の世界と計算モデル
    第2章 抽象機械型計算モデル
    第3章 命令型計算モデル
    第4章 関数型計算モデル ―帰納的関数― 
    第5章 関数型計算モデル ―ラムダ計算―
    第6章 論理型計算モデル

    付録A 数学の準備
    付録B チューリング機械シミュレータ
    付録C レジスタ機械シミュレータ
  • 出版社からのコメント

    様々な計算モデルを取り上げ,その基礎理論と計算可能性,さらにはモデルを基に実装したプログラミング言語について解説.
  • 内容紹介

    コンピュータによる計算とは何か?コンピュータで行える計算の限界はどこにあるのか?――計算機科学におけるもっとも基本的,かつ重要な疑問を,プログラミングを通して紐解く一冊.

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

    また,計算モデルの数学的基礎だけでなく,これらのモデルをもとに実装されたプログラミング言語についても,紙面を割いて解説しています.計算の理論と実装例とを比較しながら学習することで,スコープ・カリー化・継続など,抽象的で掴みづらいプログラミング技法への理解が深まります.
  • 著者紹介(「BOOK著者紹介情報」より)(本データはこの書籍が刊行された当時に掲載されていたものです)

    猪股 俊光(イノマタ トシミツ)
    1984年豊橋技術科学大学工学部生産システム工学課程卒業。1986年豊橋技術科学大学工学研究科生産システム工学専攻修士課程修了。1989年豊橋技術科学大学工学研究科システム情報工学専攻博士後期課程修了、工学博士。豊橋技術科学大学工学部助手。1992年静岡理工科大学理工学部講師。1995年静岡理工科大学理工学部助教授。1998年岩手県立大学ソフトウェア情報学部助教授。2007年岩手県立大学ソフトウェア情報学部教授、現在に至る

    山田 敬三(ヤマダ ケイゾウ)
    1995年九州工業大学情報工学部知能情報工学科卒業。1997年九州工業大学大学院情報工学研究科情報科学専攻博士前期課程修了。2000年九州工業大学大学院情報工学研究科情報科学専攻博士後期課程修了、博士(情報工学)。九州工業大学情報工学部知能情報工学科助手。2006年岩手県立大学ソフトウェア情報学部講師、現在に至る
  • 著者について

    猪股 俊光 (イノマタ トシミツ)
    岩手県立大学教授 工博

    山田 敬三 (ヤマダ ケイゾウ)
    岩手県立大学講師 博士(情報工学)

計算モデルとプログラミング [単行本] の商品スペック

商品仕様
出版社名:森北出版
著者名:猪股 俊光(共著)/山田 敬三(共著)
発行年月日:2019/04/19
ISBN-10:4627854714
ISBN-13:9784627854710
判型:A5
対象:専門
発行形態:単行本
内容:情報科学
言語:日本語
ページ数:212ページ
縦:22cm
横:16cm
他の森北出版の書籍を探す

    森北出版 計算モデルとプログラミング [単行本] に関するレビューとQ&A

    商品に関するご意見やご感想、購入者への質問をお待ちしています!