￥15,923 税込
ポイント: 159pt  (1%)  詳細はこちら
配送料 ¥257 6月9日-20日にお届け（17 時間 11 分以内にご注文の場合）
詳細を見る
通常4～5日以内に発送します。 在庫状況について
￥￥15,923 () 選択したオプションを含めます。 最初の月の支払いと選択されたオプションが含まれています。 詳細
価格
小計
￥￥15,923
小計
初期支払いの内訳
レジで表示される配送料、配送日、注文合計 (税込)。
出荷元
SuperBookDeals_
出荷元
SuperBookDeals_
販売元
SuperBookDeals_
（4795件の評価）
販売元
SuperBookDeals_
（4795件の評価）
支払い方法
お客様情報を保護しています
お客様情報を保護しています
Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。 詳細はこちら
支払い方法
お客様情報を保護しています
Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。 詳細はこちら
Kindleアプリのロゴ画像

無料のKindleアプリをダウンロードして、スマートフォン、タブレット、またはコンピューターで今すぐKindle本を読むことができます。Kindleデバイスは必要ありません。

ウェブ版Kindleなら、お使いのブラウザですぐにお読みいただけます。

携帯電話のカメラを使用する - 以下のコードをスキャンし、Kindleアプリをダウンロードしてください。

KindleアプリをダウンロードするためのQRコード

著者をフォロー

Benjamin C. Pierce
+ フォロー
この著者の他の本
何か問題が発生しました。後で再度リクエストしてください。

Types and Programming Languages (The MIT Press) ハードカバー – 2002/1/4

英語版 Benjamin C. Pierce (著)
4.8 5つ星のうち4.8 78個の評価
すべての形式と版を表示
ダブルポイント 詳細
{"desktop_buybox_group_1":[{"displayPrice":"￥15,923","priceAmount":15923.00,"currencySymbol":"￥","integerValue":"15,923","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"S5DEkpKfottVecPgBo%2BC6sol4T8ia2WQ7n3kQi%2FChsdjEybknCowqQWl7GIqHzTxlISYDyM%2Fl27G2YudUPWhLe9Nm3uwtWTa6A8wTmIS3FZhk6l67pfxssWy8jlCUNOWSUmfvOa6mAGT6Gz7RNQgFtVPdHADFPskMDbPgvl5vx2VOzWC5d3LkuJE8efFP6xk","locale":"ja-JP","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}]}

購入オプションとあわせ買い

A comprehensive introduction to type systems and programming languages.

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems―and of programming languages from a type-theoretic perspective―has important applications in software engineering, language design, high-performance compilers, and security.

This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.

The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

続きを読む もっと少なく読む
Previous page
  1. 本の長さ
    648ページ
  2. 言語
    英語
  3. 出版社
    The MIT Press
  4. 発売日
    2002/1/4
  5. 対象読者年齢
    18 歳以上
  6. 寸法
    23.88 x 20.62 x 3.61 cm
  7. ISBN-10
    0262162091
  8. ISBN-13
    978-0262162098
  9. すべての詳細を表示
Next page

商品の説明

レビュー

"Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects."--Robin Milner, Computer Laboratory, University of Cambridge

& quot; Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects.& quot; --Robin Milner, Computer Laboratory, University of Cambridge

" Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects." --Robin Milner, Computer Laboratory, University of Cambridge

--Robin Milner, Computer Laboratory, University of Cambridge

著者について

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.

登録情報

  • 出版社 ‏ : ‎ The MIT Press (2002/1/4)
  • 発売日 ‏ : ‎ 2002/1/4
  • 言語 ‏ : ‎ 英語
  • ハードカバー ‏ : ‎ 648ページ
  • ISBN-10 ‏ : ‎ 0262162091
  • ISBN-13 ‏ : ‎ 978-0262162098
  • 対象読者年齢 ‏ : ‎ 18 歳以上
  • 寸法 ‏ : ‎ 23.88 x 20.62 x 3.61 cm
  • カスタマーレビュー:
    4.8 5つ星のうち4.8 78個の評価

著者について

著者をフォローして、新作のアップデートや改善されたおすすめを入手してください。
Benjamin C. Pierce

Benjamin C. Pierce

Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.

著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう

カスタマーレビュー

星5つ中4.8つ
5つのうち4.8つ
78グローバルレーティング

この商品をレビュー

他のお客様にも意見を伝えましょう
カスタマーレビューを書く

上位レビュー、対象国： 日本

Amazon_太郎
5つ星のうち5.0 星６つでも足りない。星７つ。
2020年7月21日に日本でレビュー済み
日本で、最近まで
本書をまともに読まれている方が非常に少ないことに驚く限りである。

Riehl をはじめ、世界的な人材を輩出しているPenn （Pierce 率いるペンシルベニア工科大学の情報系）と比べ、
日本と、世界とのレベルの隔たりが明確にあることを感じさせてくれる。

本書を読む前に、英語が日本語のように曖昧に文脈がとれる言語である、などという甘い考え方は捨てた方が良い。
もし、その程度の英語力で本書を読むくらいであれば、お金を払ってでも、英語の直訳（つまりは構文がとれる力）を明確に養う必要がある。（通常、センター試験でふるい落とすはずなのだが、）英語の直訳すらまともにできない大学生、社会人などが多すぎるのではなかろうか。通常、英語を日本語に直すとき、日本語の文書の曖昧性から英語の同等の文書より情報量が少なくなっている。ということが多々生じるのであるが、その行間を埋める作業が意訳であるとも言うことができる。（例えば、十分に英語の具体性を享受している人が読めば、あのような邦訳の出版にはならないであろう。）

また CoPL などの日本を代表する型推論の書籍と本書とを比べるのも少し趣が違うように思う。
本書 TaPL においては、（CoPL が古い高々ゲーデルの System T レベルで閉じた型推論器の実装であるのとは異なり）、その先50年の情報学科の発展がふんだんに盛り込まれている。

日本産 CoPL にはない、TaPL の有用性についてあげるときりがない。

* Untyped Lambda Calculus について言及がなければ、そもそもλ計算の面白み、有用性などが、
まるで消し飛んでしまう。これらは、System F や Infinite Type などを通じて、Type System の中で再現される。
* Subtype や、Existential Type などの融合で、
オブジェクトオリエントなプログラミングの型付け、隠蔽や継承の概念などが実現できることなど、現代のコンパイラの根幹をなす理論を形成することができる。
* System F に始まる、証明支援系言語への理解が、ラムダキューブを通じて図られ、pure type system, あるいは
dependent type system 強いて言えば、Homotopy Type Theory の基盤へと繋がる道が本書で与えられている。
* Algebraic Data Type 強いて言えば、W-types を理解するのに必要な、無限型、System F、などの概念が定義されている。
* 無限型における、部分型付けを例に、Coinduction / Induction と言った タルスキの重要な定理が事細かに記されており、マシンの安全性の証明をするための土台について学ぶことができる。

本書の日本語訳も私には相当悪い印象があるが、
それ以上に、「我々の英語に対する認識の甘さ」が、この希書を、通読する機会を奪っているのではないか。
と最近思う。

もちろん実装がついてあるので、
どれほど優秀な方であろうと二周は読める書籍ではないだろうか。
5人のお客様がこれが役に立ったと考えています
役に立った
 レポート
shelarcy
5つ星のうち4.0 型理論の入門に手ごろな一冊
2007年3月13日に日本でレビュー済み
普段関数プログラミングを行わないような一般のプログラマーが、ML や Haskell のような所謂静的な型を持つ関数型言語を学んだ次に、その理論的背景となっている型理論について学んでみようと思って手にとってみるのに手ごろな一冊です。

理論に手をつける時の最大の障害は、それがどのように役に立つのかが直ぐには見えてこなくて途中で放り出してしまいそうになることです。

本書では「オブジェクト指向の機能の実現方法を示す」という、一般プログラマーに馴染みのある題材を中核にして一本筋を通すことで、このような問題を回避しています。また、動かして試せるぐらいのおもちゃのようなレベルではあるものの、理論として示したものを実際に動作させることのできる処理系の作り方を示してい（たりサポートサイトにそのソースがあ）るのも、とりあえずこの本で学ぼうとする独習者にとっては魅力的だと思います。

その反面、関数プログラミングに十分に馴染みのあるようなプログラマーがさらに高みを目指すために読むには、記述してある内容が保守的過ぎて少々物足りないかもしれません。SML# や Haskell などの最先端をいっているような言語に対する興味が強い方は、章の最後の Note などに少しだけ書かれている話こそを知りたいと思うことが多々あるでしょう。

とはいえ、細々したところまで精読すれば、型理論の全体像をある程度俯瞰することができるので、そういった意味で関数プログラマーにとっても悪くはない入門書だと思います。参照型や例外など関数プログラミングにも関連するトピックもありますし、Types and Programming Languages であって Types and Functional Programming (Languages) ではないことを予め理解していれば、手にとって損はない一冊なのではないでしょうか？

最後に、本書の続編にあたる Advanced Topics in Types and Programming Languages という本が出ているので、この本を読むために前提知識として本書を読むのもありでしょう。続編には、ML のモジュールや（最新の成果を踏まえた）型推論の説明など、関数プログラマーにとっても興味のある題材もありますし。
35人のお客様がこれが役に立ったと考えています
役に立った
 レポート

他の国からのトップレビュー

すべてのレビューを日本語に翻訳
Ivan Migalev
5つ星のうち5.0 Great book, good delivery
2024年2月17日にオランダでレビュー済み
Amazonで購入
The tracking code was indeed not available right from the start (as some other commenters noted), but eventually I received the tracking info on the order page in Amazon.

The printing quality is good. The book itself — well, maybe you already know about it if you are here :)
レポート
nono
5つ星のうち5.0 Livre en bon état et livré à temps
2023年10月14日にフランスでレビュー済み
Amazonで購入
Le livre est arrivé en bon état et à la date butoir. Pas déçu du contenu de ce livre !
レポート
davor kljucevic
5つ星のうち5.0 Five Stars
2018年5月4日にカナダでレビュー済み
Amazonで購入
Thumbs up emoji
レポート
Donovan
5つ星のうち3.0 Spine was worn, and arrived on the very last day of expected delivery date.
2023年10月5日にオーストラリアでレビュー済み
Amazonで購入
I did not like that no tracking info was provided.
The spine was slightly worn when I received the book.
レポート
Amazon Customer
5つ星のうち5.0 Great readings.
2017年11月2日に英国でレビュー済み
Amazonで購入
Great book.
Be sure to understand that this book is not to teach you how to program.
2人のお客様がこれが役に立ったと考えています
 レポート