本棚登録 : 
感想 : 
- Amazon.co.jp ・本 (528ページ)
- / ISBN・EAN: 9784274069116
感想・レビュー・書評
-
コメント0件をすべて表示
-
電子ブック（Maruzen eBook Library）をご利用いただけます。
https://elib.maruzen.co.jp/elib/html/BookDetail/Id/3000007368
0
-
【書誌情報】
原題：Types And Programming Languages (The MIT Press. 2002)
著者：Benjamin C. Pierce
企画編集：オーム社開発局
監訳：住井 英二郎
訳者：遠藤 侑介、酒井 政裕、今井 敬吾、黒木 裕介、今井 宜洋、才川隆文、今井 健男
発行元：オーム社
定価：7,480円 （本体6,800円＋税）
判型：B5
頁：528頁
ISBN：978-4-274-06911-6
発売日：2013/03/26
NDLC：M159
NDC：007.64 情報科学
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
https://www.ohmsha.co.jp/book/9784274069116
【メモ】
・紙版と電子版がある。
・版元ドットコムでも 13桁の ISBN しか示されない（ちなみに登録日が発売日より３年後）。
https://www.hanmoto.com/bd/isbn/9784274069116
【目次】
日本語版に寄せて
監訳者序文
実用的情報
序文
謝辞
第1章 はじめに
第2章 数学的準備
■第1部 型無しの計算体系
第3章 型無し算術式
第4章 算術式のML実装
第5章 型無しラムダ計算
第6章 項の名無し表現
第7章 ラムダ計算のML実装
■第2部 単純型
第8章 型付き算術式
第9章 単純型付きラムダ計算
第10章 単純型のML実装
第11章 単純な拡張
第12章 正規化
第13章 参照
第14章 例外
■第3部 部分型付け
第15章 部分型付け
第16章 部分型付けのメタ理論
第17章 部分型付けのML実装
第18章 事例：命令的オブジェクト
第19章 事例：Featherweight Java
■第4部 再帰型
第20章 再帰型
第21章 再帰型のメタ理論
■第5部 多相性
第22章 型再構築
第23章 全称型
第24章 存在型
第25章 System F のML実装
第26章 有界量化
第27章 事例：命令的オブジェクト再考
第28章 有界量化のメタ理論
■第6部 高階の型システム
第29章 型演算子とカインド
第30章 高階多相
第31章 高階部分型付け
第32章 事例：純粋関数的オブジェクト
付録A 演習の解答
付録B 記法
参考文献
訳語集
規則図一覧
索引
0
-
電子ブックへのリンク：https://elib.maruzen.co.jp/elib/html/BookDetail/Id/3000007368（学外からのアクセス方法：1.画面に表示される[学認アカウントをお持ちの方はこちら]をクリック→2.[所属機関の選択]で 神戸大学 を選んで、[選択]をクリック→3.情報基盤センターのID/PWでログイン）【推薦コメント：関数型言語に関連の深い型システムについて学べる。】
0
Benjamin C. Pierceの作品
