プログラミング言語の基礎理論 新装版 [単行本]

販売休止中です

    • プログラミング言語の基礎理論 新装版 [単行本]

    • ¥4,968150ポイント(3%還元)
100000009003157918

プログラミング言語の基礎理論 新装版 [単行本]

価格:¥4,968(税込)
ポイント:150ポイント(3%還元)(¥150相当)
日本全国配達料金無料
出版社:共立出版
販売開始日:2019/08/10
ご確認事項:返品不可

カテゴリランキング

  • 書籍
  • - 36315位

プログラミング言語の基礎理論 新装版 [単行本] の 商品概要

  • 目次

    第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 多相型レコード計算
  • 出版社からのコメント

    高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳説。読者の要望を受け,『情報数学講座9』を装い新たに発行した。
  • 内容紹介

    高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。これら基礎理論の学習を通じて,関数型プログラミング言語の動作やその型システムの原理,さらに,多相型,型推論,継続計算,レコード計算などを含むプログラミング言語の種々の高度な機能の基礎を習得できる。『情報数学講座9 プログラミング言語の基礎理論』として1997年初版発行後,以来,長年にわたり多数の読者にご愛読いただいてまいりました。この度,多くの読者からの要望を受け単行本に改装し発行するものです。
  • 著者紹介(「BOOK著者紹介情報」より)(本データはこの書籍が刊行された当時に掲載されていたものです)

    大堀 淳(オオホリ アツシ)
    1957年生まれ。1981年東京大学文学部哲学科卒業。1989年ペンシルバニア大学大学院計算機・情報科学科博士課程修了。1981年沖電気工業株式会社勤務。1993年京都大学数理解析研究所助教授。2000年北陸先端科学技術大学院大学教授。2005年東北大学電気通信研究所教授

プログラミング言語の基礎理論 新装版 [単行本] の商品スペック

商品仕様
出版社名:共立出版
著者名:大堀 淳(著)
発行年月日:2019/08/10
ISBN-10:4320124502
ISBN-13:9784320124509
旧版ISBN:9784320026599
判型:A5
対象:専門
発行形態:単行本
内容:数学
言語:日本語
ページ数:272ページ
縦:21cm

    共立出版 プログラミング言語の基礎理論 新装版 [単行本] に関するレビューとQ&A

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