検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数在庫数予約数などを確認できます。

所蔵数	1	在庫数	1	予約数	0

資料の状態

各蔵書資料に関する詳細情報です。

No.	資料番号	資料種別	請求記号	配架場所	状態	貸出
1	0015010390	図書一般	007.64/ｵｵ19/	2F自然	貸出可	○

この資料に対する操作

カートに入れるを押すとこの資料を予約する候補として予約カートに追加します。

いますぐ予約するを押すと認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

書誌情報サマリ

タイトル	プログラミング言語の基礎理論
人名	大堀淳／著
人名ヨミ	オオホリアツシ
出版者・発行者	共立出版
出版年月	2019.8

書誌詳細

この資料の書誌詳細情報です。

書誌種別	図書
タイトル	プログラミング言語の基礎理論
タイトルヨミ	プログラミングゲンゴノキソリロン
人名	大堀淳／著
人名ヨミ	オオホリアツシ
版	新装版
出版者・発行者	共立出版
出版者・発行者等ヨミ	キョウリツシュッパン
出版地・発行地	東京
出版・発行年月	2019.8
ページ数または枚数・巻数	9,272p
大きさ	21cm
価格	￥４６００
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 多相型レコード計算