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

個数:
電子版価格 ¥3,520
  • 電書あり

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

  • ウェブストアに1冊在庫がございます。(2022年07月04日 21時45分現在)
    通常、ご注文翌日~2日後に出荷されます。
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【ご注意事項】 ※必ずお読みください
    ◆在庫数は刻々と変動しており、ご注文手続き中に減ることもございます。
    ◆在庫数以上の数量をご注文の場合には、超過した分はお取り寄せとなり日数がかかります。入手できないこともございます。
    ◆事情により出荷が遅れる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆「帯」はお付けできない場合がございます。
    ◆画像の表紙や帯等は実物とは異なる場合があります。
    ◆特に表記のない限り特典はありません。
  • ●店舗受取サービス(送料無料)もご利用いただけます。
    ご注文ステップ「お届け先情報設定」にてお受け取り店をご指定ください。尚、受取店舗限定の特典はお付けできません。詳細はこちら
  • サイズ A5判/ページ数 212p/高さ 22cm
  • 商品コード 9784627854710
  • NDC分類 007.64
  • Cコード C3004

内容説明

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

目次

第1章 計算の世界と計算モデル
第2章 抽象機械型計算モデル
第3章 命令型計算モデル
第4章 関数型計算モデル―帰納的関数
第5章 関数型計算モデル―ラムダ計算
第6章 論理型計算モデル
付録A 数学の準備
付録B チューリング機械シミュレータ
付録C レジスタ機械シミュレータ

著者等紹介

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

山田敬三[ヤマダケイゾウ]
1995年九州工業大学情報工学部知能情報工学科卒業。1997年九州工業大学大学院情報工学研究科情報科学専攻博士前期課程修了。2000年九州工業大学大学院情報工学研究科情報科学専攻博士後期課程修了、博士(情報工学)。九州工業大学情報工学部知能情報工学科助手。2006年岩手県立大学ソフトウェア情報学部講師、現在に至る(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。