通常配送無料 詳細
残り1点(入荷予定あり) 在庫状況について
この商品は、Amazon.co.jp が販売、発送します。 ギフトラッピングを利用できます。
型システム入門 −プログラミング言語と型の理論− がカートに入りました

お届け先住所
アドレス帳を使用するにはサインインしてください
または
-
正しい郵便番号を入力してください。
または
コンディション: 中古品: 良い
コメント: 中古品になりますので、多少の傷み、よごれ、ヤケ等がございますが、中古本としましては並以上の状態の商品です。書き込みありません。★Amazonが在庫管理しておりますので、在庫切れの心配はございません★ 万が一、商品に問題がありました場合、アマゾンのカスタマーサービスが迅速に対応いたします。アマゾンカスタマーサービスまでご連絡ください。
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
この画像を表示

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

5つ星のうち 3.0 2件のカスタマーレビュー

その他()の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
Amazon 価格
新品 中古品
単行本(ソフトカバー)
"もう一度試してください。"
¥ 7,344
¥ 7,344 ¥ 6,236

AmazonStudent

Amazon Student会員なら、この商品は+10%Amazonポイント還元(Amazonマーケットプレイスでのご注文は対象外)。

click to open popover

キャンペーンおよび追加情報


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

  • 型システム入門 −プログラミング言語と型の理論−
  • +
  • コンピュータの構成と設計 第5版 下
  • +
  • コンピュータの構成と設計 第5版 上
総額: ¥16,416
ポイントの合計: 652pt (4%)
選択された商品をまとめて購入

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

  • Apple
  • Android
  • Android

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



【Amazon Global】OTAKU Store
Figures, Video Games, Blu-ray, DVD and Music of Japanese Anime, Games and Pop Culture Shop now

商品の説明

内容紹介

型システムを理解するうえでの定番書を翻訳!
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説した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.0 2件のカスタマーレビュー
  • Amazon 売れ筋ランキング: 本 - 131,712位 (本の売れ筋ランキングを見る)
  • さらに安い価格について知らせる
    この商品を出品する場合、出品者サポートを通じて更新を提案したいですか?

  • 目次を見る

カスタマーレビュー

5つ星のうち 3.0
あなたのご意見やご感想を教えてください

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

形式: 単行本(ソフトカバー)
2000年以降のプログラミング関連の訳書の質の低下が甚だしい例に漏れません。

肝心なところで、英語の構文が取れておらず、直訳すらまともでありません。(語彙もひどいですが。substitution を代入と訳すコンパイラの人間はおそらくいないでしょう)
この本が難しいと感じるのは、訳が悪いからです。1%程度ですが、理論的に少し込み入ったところで必ずと言っていいほど、誤訳があります。
コンパイラの基本的な深い知識を前提とせず、数学書だと勘違いすれば、当然、意味がわからないでしょう。
訳者もその勘違いしている部類であるように見受けられます。
さらにこの監修の方が、ひどいことは、英語が理解できない上、実装と違うからという理由で、厳密でないという文句を、著者に言って、抽象論に難癖をつけています。これほどたちの悪い事はありません。学力がある有能な方が、よく分からない、などと言って途中で読みやめてしまうというのをたくさん見ました。

私は原著で読んでいますが、語学力のある方なら、理路整然と理解できる内容です。
コメント 7人のお客様がこれが役に立ったと考えています. このレビューは参考になりましたか? はい いいえ 評価を送る...
フィードバックありがとうございました。
申し訳ありませんが、お客様の投票の記録に失敗しました。もう一度試してください。
違反を報告
投稿者 kaizen #1殿堂 投稿日 2013/3/30
形式: 単行本(ソフトカバー)
読み始めました。

読書記録を取り始めました。
[・・・]

プログラマの視点で、何がどう役立つかを考えながら読んでいます。

訳者の住井英二郎が作ったMinCamlをMacintoshで動かそうとしながら読んでいます。
ご意見、ご指摘をお願いします。

ps.
Software Foundationの輪講には参加しています。
[・・・]

ps2.
某TH大学の某U先生が、歴史的な流れ、必要なことについての記述の不十分性を指摘されていました。
内容がわかりかけたら確認してみます。

ps3.
2年前のPPLの時、「何のために」がない研究についての反省を聞いたことがあります。
型システムが、何のためにあるのかの理解を第一目標にします。
コメント 7人のお客様がこれが役に立ったと考えています. このレビューは参考になりましたか? はい いいえ 評価を送る...
フィードバックありがとうございました。
申し訳ありませんが、お客様の投票の記録に失敗しました。もう一度試してください。
違反を報告