プログラミング言語の基礎理論 (新装版)

個数:
電子版価格
¥5,060
  • 電書あり

プログラミング言語の基礎理論 (新装版)

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

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

出版社内容情報

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

目次

第1章 プログラミング言語のモデル
第2章 型付きラムダ計算
第3章 型付きラムダ計算の拡張
第4章 型推論システム
第5章 多相型言語のモデル
第6章 レコード計算系の理論

著者等紹介

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

感想・レビュー

※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。

kenitirokikuti

6
1997年に刊行された 情報数学講座9の新装版。第1章から。〈実際に計算機で実行可能な計算の最も直接的なモデルはvon Neuman型のコンピュータそのもの〉。だが、高水準プログラミング言語が表現する計算のモデルとしては相応しくない。一方、数学や論理学で採用されている諸概念は当然計算機向きではない。数学の場合、入力に対してすぐ出力が得られない関数も扱う。プログラみんくに有用なモデルは、(型付き)ラムダ計算である。用語 BNF文法。「メタ変数」を定める。定義する言語の要素を代表する変数。2019/12/17

外部のウェブサイトに移動します

よろしければ下記URLをクリックしてください。

https://bookmeter.com/books/14065269
  • ご注意事項

    ご注意
    リンク先のウェブサイトは、株式会社ブックウォーカーの提供する「読書メーター」のページで、紀伊國屋書店のウェブサイトではなく、紀伊國屋書店の管理下にはないものです。
    この告知で掲載しているウェブサイトのアドレスについては、当ページ作成時点のものです。ウェブサイトのアドレスについては廃止や変更されることがあります。
    最新のアドレスについては、お客様ご自身でご確認ください。
    リンク先のウェブサイトについては、「株式会社ブックウォーカー」にご確認ください。