新装版プログラミング言語の基礎理論[大堀淳]
  • Googleプレビュー

新装版 プログラミング言語の基礎理論
大堀 淳

5,060円(税込)送料無料

この商品が関連するクーポン・キャンペーンがあります

※エントリー必要の有無や実施期間等の各種詳細条件は、必ず各説明頁でご確認ください。

楽天ブックス初めてご利用の方限定!

初めてご利用&条件達成でポイント最大5倍!

電子書籍版はまだありません。

商品基本情報

  • 発売日:  2019年08月08日頃
  • 著者/編集:   大堀 淳
  • 出版社:   共立出版
  • 発行形態:  単行本
  • ページ数:  288p
  • ISBNコード:  9784320124509

商品説明

【内容情報】(出版社より)
高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。これら基礎理論の学習を通じて,関数型プログラミング言語の動作やその型システムの原理,さらに,多相型,型推論,継続計算,レコード計算などを含むプログラミング言語の種々の高度な機能の基礎を習得できる。『情報数学講座9 プログラミング言語の基礎理論』として1997年初版発行後,以来,長年にわたり多数の読者にご愛読いただいてまいりました。この度,多くの読者からの要望を受け単行本に改装し発行するものです。
第1章 プログラミング言語のモデル
1.1 計算モデルの必要性
1.2 本書で使用する集合に関する記法
1.3 言語の文法構造の定義
1.4 型無しラムダ計算

第2章 型付きラムダ計算
2.1 定数と基底型の導入
2.2 単純な型付きラムダ計算Λの定義
2.3 de Bruijnインデックスと束縛変数に関する約束
2.4 Λの表示的意味論
2.5 Λの公理的意味論
2.6 公理的意味論の健全性と完全性
2.7 Λのモデル間の論理関係
2.8 Λの簡約システム
2.9 Λの操作的意味論

第3章 型付きラムダ計算の拡張
3.1 種々のデータ構造の導入
3.2 再帰的データ型
3.3 再帰的関数の定義
3.4 ユーザ定義のデータ型とパターンマッチング
3.5 手続き型言語機能の導入

第4章 型推論システム
4.1 暗黙に型付けられたラムダ計算
4.2 λの型推論アルゴリズム
4.3 種々のデータ構造への拡張

第5章 多相型言語のモデル
5.1 プログラムの汎用性の表現
5.2 多相型ラムダ計算Λ^∀
5.3 Λ^∀の表示的意味論
5.4 Λ^∀の公理的意味論および簡約関係
5.5 種々のデータ構造の表現
5.6 ML の多相型システム

第6章 レコード計算系の理論
6.1 レコード計算系の登場の背景
6.2 サブタイプを含むレコード計算
6.3 多相型レコード計算

【目次】(「BOOK」データベースより)
第1章 プログラミング言語のモデル/第2章 型付きラムダ計算/第3章 型付きラムダ計算の拡張/第4章 型推論システム/第5章 多相型言語のモデル/第6章 レコード計算系の理論

【著者情報】(「BOOK」データベースより)
大堀淳(オオホリアツシ)
1957年生まれ。1981年東京大学文学部哲学科卒業。1989年ペンシルバニア大学大学院計算機・情報科学科博士課程修了。1981年沖電気工業株式会社勤務。1993年京都大学数理解析研究所助教授。2000年北陸先端科学技術大学院大学教授。2005年東北大学電気通信研究所教授(本データはこの書籍が刊行された当時に掲載されていたものです)

商品レビュー

ブックスのレビュー

まだレビューがありません。 レビューを書く

楽天ブックスランキング情報

  • 週間ランキング

    ランキング情報がありません。

  • 日別ランキング

    ランキング情報がありません。

ご購入はこちらから

在庫あり

残りあと12

あす楽対象商品

のご注文で
送料無料で  にお届け

あす楽利用条件
カード払い、ご自宅への配送に限ります。代引き、コンビニなど一部条件において対象外となります。
詳細は「あす楽」利用条件をご確認ください。

5,060円(税込)

送料無料

個数 

最近チェックした商品

    ※表示を削除したい場合は閲覧履歴のページから削除お願いいたします

    ランキング:パソコン・システム開発

    ※1時間ごとに更新

    1. 1
      遅いインターネット
      遅いインターネット

      宇野常寛

      1,760円(税込)

    2. 2
      沈黙のWebライティング
      沈黙のWebライティング

      松尾茂起

      2,200円(税込)

    3. 3
      令和02年 イメージ&クレバー方式でよくわかる 栢木先生のITパスポート教室
      令和02年 イメージ&クレバー方式でよく…

      栢木厚

      1,738円(税込)

    4. 4
      【入荷予約】野村メモ
      【入荷予約】野村メモ

      野村克也

      1,540円(税込)

    5. 5
      Microsoft Office Specialist Excel 2016 対策テキスト& 問題集
      Microsoft Office Specialist Excel 2016…

      富士通エフ・オー・エム株式会社 (FOM出…

      2,200円(税込)

    購入データ自動連携!楽天ブックス公式 無料 読書管理パプリ Readee

    このページの先頭へ