¥ 7,344
通常配送無料 詳細
一時的に在庫切れ; 入荷時期は未定です。 在庫状況について
注文確定後、入荷時期が確定次第、お届け予定日をEメールでお知らせします。万が一、入荷できないことが判明した場合、やむを得ず、ご注文をキャンセルさせていただくことがあります。商品の代金は発送時に請求いたします。
この商品は、Amazon.co.jp が販売、発送します。 ギフトラッピングを利用できます。
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
この画像を表示

型システム入門 −プログラミング言語と型の理論− 単行本(ソフトカバー) – 2013/3/26

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

その他(2)の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
価格
新品 中古品
Kindle版
単行本(ソフトカバー)
¥ 7,344
¥ 7,344 ¥ 5,110

booksPMP

【まとめ買いキャンペーン開催中】

書籍3冊以上を購入する際、クーポンコード「MATOME3」を入力すると最大8%ポイント還元!今すぐチェック
click to open popover


よく一緒に購入されている商品

  • 型システム入門 −プログラミング言語と型の理論−
  • +
  • プログラミング言語の基礎概念 ((ライブラリ情報学コア・テキスト))
  • +
  • プログラム意味論 (情報数学講座)
総額: ¥13,338
ポイントの合計: 360pt (3%)
選択された商品をまとめて購入

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

  • Apple
  • Android
  • Android

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


【2018年本屋大賞】受賞作発表!
2018年本屋大賞は 『かがみの孤城』 辻村深月 、2位は『盤上の向日葵』 柚月裕子。 3~10位まではこちらへ

商品の説明

内容紹介

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

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

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

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


登録情報

  • 単行本(ソフトカバー): 528ページ
  • 出版社: オーム社 (2013/3/26)
  • 言語: 日本語
  • ISBN-10: 4274069117
  • ISBN-13: 978-4274069116
  • 発売日: 2013/3/26
  • 梱包サイズ: 25.8 x 18.4 x 2.8 cm
  • おすすめ度: 5つ星のうち 3.4 3件のカスタマーレビュー
  • Amazon 売れ筋ランキング: 本 - 264,658位 (本の売れ筋ランキングを見る)
  • さらに安い価格について知らせる
    この商品を出品する場合、出品者サポートを通じて更新を提案したいですか?

  • 目次を見る


カスタマーレビュー

他のお客様にも意見を伝えましょう
すべてのカスタマーレビューを見る(3)

トップカスタマーレビュー

2017年11月30日
形式: 単行本(ソフトカバー)
3人のお客様がこれが役に立ったと考えています
|コメント|違反を報告
2016年9月22日
形式: 単行本(ソフトカバー)
18人のお客様がこれが役に立ったと考えています
|コメント|違反を報告
殿堂入りNo1レビュアー
2013年3月30日
形式: 単行本(ソフトカバー)
8人のお客様がこれが役に立ったと考えています
|コメント|違反を報告
同様の商品をご覧になりませんか? こちらのリンクで参照ください。プログラミング 入門