Kindle 端末は必要ありません。無料 Kindle アプリのいずれかをダウンロードすると、スマートフォン、タブレットPCで Kindle 本をお読みいただけます。

  • Apple
    Apple
  • Android
    Android
  • Windows Phone
    Windows Phone
  • Click here to download from Amazon appstore
    Android

無料アプリを入手するには、Eメールアドレスを入力してください。

kcpAppSendButton

購入オプション

Kindle 価格: ¥ 6,800

¥ 544の割引 (7%)

これらのプロモーションはこの商品に適用されます:

Kindle または他の端末に配信

Kindle または他の端末に配信

[BenjaminC.Pierce, 住井英二郎]の型システム入門 プログラミング言語と型の理論

著者をフォローする

 全てをチェック
何か問題が発生しました。後で再度リクエストしてください。


型システム入門 プログラミング言語と型の理論 [プリント・レプリカ] Kindle版

5つ星のうち 3.2 3件のカスタマーレビュー

その他(2)の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
価格
新品 中古品
Kindle版
¥ 6,800

【Kindle Unlimited】
120万冊以上の本・コミック・雑誌・洋書が、好きな時に好きなだけ読み放題。初回30日間無料体験 今すぐチェック
【注目の新刊ページ】: 紙とKindle本が同日発売の新刊、予約中のタイトルをご紹介。 今すぐチェック

商品の説明

内容紹介

※このKindle本はプリント・レプリカ形式で、Kindle Paperwhiteなどの電子書籍リーダーおよびKindle Cloud Readerではご利用いただけません。Fireなどの大きいディスプレイを備えたタブレット端末や、Kindle無料アプリ (Kindle for iOS、Kindle for Android、Kindle for PC、Kindle for Mac) でのみご利用可能です。また、文字列のハイライト、検索、辞書の参照、引用については、一部機能しない場合があります。文字だけを拡大することはできません。

※この電子書籍は紙版書籍のページデザインで制作した固定レイアウトです。

型システムを理解するうえでの定番書を翻訳
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”(TAPL)を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。

日本語版に寄せて
監訳者序文
実用的情報

序文
謝辞

第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 記法

参考文献
訳語集
規則図一覧
索引

著者略歴 (「BOOK著者紹介情報」より)

Pierce,Benjamin C.
Pennsylvania大学計算機・情報科学科教授(Salvatori Professor)。主な研究分野はプログラミング言語、静的型システム、ソフトウェアセキュリティ、並行・分散プログラミング、および同期技術。多くの一般ユーザを持つファイル同期ソフトウェアUnisonのメイン設計者でもある

住井/英二郎
1998年東京大学理学部情報科学科卒業。2000年Pennsylvania大学Visiting Scholar。2001年東京大学大学院情報理工学系研究科コンピュータ科学専攻助手(同情報学環流動教員)。2003年Pennsylvania大学Research Associate。2004年東京大学大学院博士(情報理工学)。2005年東北大学大学院情報科学研究科助教授(2007年同准教授)。日本学術振興会賞、日本IBM科学賞、マイクロソフトリサーチ日本情報学研究賞等受賞(本データはこの書籍が刊行された当時に掲載されていたものです)

登録情報

  • フォーマット: Kindle版
  • ファイルサイズ: 8773 KB
  • 出版社: オーム社 (2013/3/25)
  • 販売: Amazon Services International, Inc.
  • 言語: 日本語
  • ASIN: B07CBB69SS
  • Text-to-Speech(テキスト読み上げ機能): 有効になっていません。
  • X-Ray:
  • Word Wise: 有効にされていません
  • おすすめ度: 5つ星のうち 3.2 3件のカスタマーレビュー
  • Amazon 売れ筋ランキング: Kindleストア 有料タイトル - 100,410位 (Kindleストア 有料タイトルの売れ筋ランキングを見る)
  • さらに安い価格について知らせる


3件のカスタマーレビュー

5つ星のうち3.2

この商品をレビュー

他のお客様にも意見を伝えましょう

3件中1 - 3件目のレビューを表示

2017年11月30日
形式: 単行本(ソフトカバー)
4人のお客様がこれが役に立ったと考えています
コメント 違反を報告
2018年9月22日
形式: 単行本(ソフトカバー)
30人のお客様がこれが役に立ったと考えています
コメント 違反を報告
殿堂入りNo1レビュアー
2013年3月30日
形式: 単行本(ソフトカバー)
8人のお客様がこれが役に立ったと考えています
コメント 違反を報告
click to open popover