蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
資料の状態
各蔵書資料に関する詳細情報です。
No. |
資料番号 |
資料種別 |
請求記号 |
配架場所 |
状態 |
貸出
|
1 |
0015010390 | 図書一般 | 007.64/オオ19/ | 2F自然 | 貸出可 |
○ |
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
書誌情報サマリ
タイトル |
プログラミング言語の基礎理論
|
人名 |
大堀 淳/著
|
人名ヨミ |
オオホリ アツシ |
出版者・発行者 |
共立出版
|
出版年月 |
2019.8 |
書誌詳細
この資料の書誌詳細情報です。
書誌種別 |
図書 |
タイトル |
プログラミング言語の基礎理論 |
タイトルヨミ |
プログラミング ゲンゴ ノ キソ リロン |
人名 |
大堀 淳/著
|
人名ヨミ |
オオホリ アツシ |
版 |
新装版 |
出版者・発行者 |
共立出版
|
出版者・発行者等ヨミ |
キョウリツ シュッパン |
出版地・発行地 |
東京 |
出版・発行年月 |
2019.8 |
ページ数または枚数・巻数 |
9,272p |
大きさ |
21cm |
価格 |
¥4600 |
ISBN |
978-4-320-12450-9 |
ISBN |
4-320-12450-9 |
注記 |
文献:p263〜268 |
分類記号 |
007.64
|
件名 |
プログラミング(コンピュータ)
|
内容紹介 |
高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。関数型プログラミング言語の動作やその型システムの原理、型推論、レコード計算等を含むプログラミング言語の種々の高度な機能の基礎を習得できる。 |
著者紹介 |
1957年生まれ。ペンシルバニア大学大学院計算機・情報科学科博士課程修了。東北大学電気通信研究所教授。著書に「計算機システム概論」など。 |
言語区分 |
JPN |
タイトルコード |
1009812332610 |
目次 |
第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 多相型レコード計算 |
目次
内容細目
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
もどる