中古品: ￥12,032

無料配送 3月21日木曜日にお届け
詳細を見る

または最も早い配送明日 3月20日にお届け（7 時間 49 分以内にご注文の場合）
詳細を見る

お届け先を選択

中古商品: 良い | 詳細

発売元クリーンレア　【電話でのお問い合わせには対応しておりません】

Amazon.co.jp が発送

画像はありません

選択したカラーの画像がありません。
カラー：

このビデオを見るには、次をダウンロード Flash Player

著者をフォローする

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

Benjamin C. Pierce (著), 住井英二郎 (監訳), 遠藤侑介 (翻訳),

4.3 9個の評価

すべての形式と版を表示

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

この商品に関する問題を報告する

本の長さ

528ページ
言語

日本語
出版社

オーム社
発売日

2013/3/26
寸法

18.5 x 2.3 x 25.8 cm
ISBN-10

4274069117
ISBN-13

978-4274069116
すべての詳細を表示

Liz Rice
7
単行本（ソフトカバー）
14個の商品：￥3,300から
Liz Rice
31
単行本（ソフトカバー）
25個の商品：￥2,330から
Christian Ciceri
1
単行本（ソフトカバー）
18個の商品：￥3,080から
Michał Płachta
26
単行本（ソフトカバー）
17個の商品：￥3,740から
結城浩
5
単行本（ソフトカバー）
12個の商品：￥3,080から
Robert Nystrom
9
単行本（ソフトカバー）
32個の商品：￥4,400から

登録情報

出版社 ‏ : ‎ オーム社 (2013/3/26)
発売日 ‏ : ‎ 2013/3/26
言語 ‏ : ‎ 日本語
単行本（ソフトカバー） ‏ : ‎ 528ページ
ISBN-10 ‏ : ‎ 4274069117
ISBN-13 ‏ : ‎ 978-4274069116
寸法 ‏ : ‎ 18.5 x 2.3 x 25.8 cm

Amazon 売れ筋ランキング: - 502,998位本 (本の売れ筋ランキングを見る)
- - 2,923位プログラミング (本)

カスタマーレビュー:
4.3 9個の評価

著者について

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

酒井政裕
Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.
著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう
著者ページでもっと見る
今井敬吾
Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.
著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう
著者ページでもっと見る
遠藤侑介
Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.
著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう
著者ページでもっと見る

カスタマーレビュー

5つのうち4.3つ

9グローバルレーティング

星3つ

0%

星2つ

0%

星1つ

9%

評価はどのように計算されますか?

この商品をレビュー

カスタマーレビューを書く

レビューのソート基準

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

レビューのフィルタリング中に問題が発生しました。後でもう一度試してください。

kaizen

読み始めました。

2013年3月30日に日本でレビュー済み

読み始めました。

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

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

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

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

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

ps3.
２年前のPPLの時、「何のために」がない研究についての反省を聞いたことがあります。
型システムが、何のためにあるのかの理解を第一目標にします。

13人のお客様がこれが役に立ったと考えています

役に立った

Amazon_太郎

原著を読んでください。

2021年12月14日に日本でレビュー済み

2000年以降のプログラミング関連の訳書の質の低下が甚だしい例に漏れません。

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

私は原著で読んでいますが、語学力のある方なら、理路整然と理解できる内容です。

追記：

この本の原著ピアースの書籍は、類を見ない本当に素晴らしいものです。
若い方は、必ず諦めないで英語で読んでください。
最初は苦しいかもしれませんが、将来あなたの力になることと所望します。

追記２：

日本の学者の頭の言語空間は変によじれていて、本来の文字の意味を取れていなく、
知識のバランス、センスが悪く、言語の用を足していないことはよくあることです。
英語を読み書きしましょう。

追記３：

substitution には「置換（読み：チカン）」という素晴らしい訳語が存在します。
replacement は「取替（読み：とりかえ）、再配置」など競合しません。

追記４：

SNS 上で、デマがまわりますとレビューの信憑性に関わりますので、経緯を補足致します。
共同の勉強会において、私は英訳を、他の方は邦訳を読まれると言う状況におきまして、
しばしば、優秀な方から「意味がわからない」と苦情を頂きました。
原著で確認しますと、直訳すらできていないところがあり、問題の意味を改竄している、ということがしばしばありました。5-11章あたりだと記憶しています。

プロの翻訳家であれば、
1. 直訳をする
2. 意味のわからない単語を英英辞典で語源から用途まで幅広く調べる。
3. 専門用語で訳語を、業界問わず、幅広く調べる。
4. 現在用いられている多種の訳語の中から、衝突性、一対一対応しているかなど慎重に検討する。
5. 万が一、見つからなければ新しい訳語を検討に加える。
6. 日本ではあまり用いられないような直訳表現を意訳する。
7. 例えば、主語、目的語を取り換える、修飾、限定などの構造を保ちつつ、流暢な日本語に入れ替える。
8. 英文法に現れて、日本語に現れにくい、三次元的構造に関する記述を補足する
9. 専門用語に関して、日本語表現で伝わりにくい場合は補足する。
10. どうしても曖昧性が残るような場合は、原著での記述を併用する。
11. 読み直して意味が通っているように見えるか確認する。
12. 誤字脱字、変な表現がないか、何度も読み返す。

などの作業を必ず踏みますが、
このテキストの翻訳過程では、2-11 の過程をすべてすっ飛ばして、翻訳していることは、
明らかです。そうでなければ、あのような記述は得ないでしょう。
ろくに英語が話すことができない技術者を寄せ集めて、
小遣い稼ぎをすることは、このような世の中で、必ずしも悪いことではありませんが、
そのような出版が許されるのであれば酷評にさらされて当然と考えています。
たとえ翻訳をされた方々が素晴らしい技術をもっていたからといって、翻訳作業を舐め腐っていいとはなりません、彼らは原著を読んでおり邦訳を読んでいるわけではありません。

これら邦訳のテキストの読み上げで意味がとれないところが多々ありましたのは、5-11章あたりで、
それ以降（11章以降）は、我々に邦訳を併読する選択肢などあり得ませんでした。

追記５；
世界の常識として、substitution が、groupoid 上の操作であり、
さらに衝突性などの問題などにもすでに言及済みであるのに関わらず、
頑なに「代入」が相応しいと主張するのは、日本の情報科学の専門家としての程度を疑う。
コンパイラの理論や、計算論に必要な数学を少し学習すれば、
非常に見識の狭い悪訳であることは明らかです。
さらにもう一度述べておくと「翻訳」つまり translation 強いて言えば、言語の平行移動つまりは、一対一対応が大前提です。assignment --英訳--> 「破壊的代入」---邦訳--> destructive assignment となり、翻訳の大前提である、一対一対応を破壊する恥ずべきアテ語であり、そもそも翻訳と呼べる代物ではありません。
どうしてもこの訳語でないという理由も見当たりません。
言葉を扱うには、英語、日本語について精通している必要がありますが、この作品は素人の作品です。
これらは、一冊の本の翻訳という仕事を、脳内文脈が異なる多人数で行っているあたりから見ても、
正気の沙汰ではありません。

さらに、現代の型理論は、冒頭２章の定義等からも感じられるように、
数学基盤として、厳密に取り扱われることを目的とするものです。代入が見識の狭い数学の知識内で当たり前にsubstitution の訳として使われているのと同様に、大学数学では、置換という言葉が当たり前のように substitution の訳語として使われています。
こういった経緯から衝突しないことを前提に、assignmentを代入とした先人の名訳をぶち壊すこの悪訳により、潜在的な未来ある若い読者の脳内言語空間を乱し、包括的理解を妨げるのは必須です。

追記6:
監訳者の非誠実極まりない、当レビューに対する暴言論点ずらし等による世論形成に対抗し、当レビューの判断根拠を集める中で、置換群を substitution group だと記述致しました。一旦、訂正致します。
置換群には、日本語英語双方に渡り、
他に、並べ換え群や、対称群、などいろいろ呼び名があり、substitution group は特定の数学者に通じるものではありますが、数学者に広く普及している用語ではありません。

また、化学、数学に渡り、『置換』は substitute の良い訳語として広く定着しており、
当翻訳に対する、批判内容に一切変更はありません。

追記7:
当レビューの目的は、
翻訳の素人のような作品が広く流通する中で、
若く懸命な読者層に、何よりも、一次情報つまりは原文に触れることの重要性が広く認知される事を主眼としています。

88人のお客様がこれが役に立ったと考えています

役に立った

Yutaka HARA

型システムの世界へようこそ

2017年11月30日に日本でレビュー済み

「TAPL」の略称で知られる、型システムの世界における定番の入門書です。入門といっても、「これを読めば型システムの研究を始める準備が整う(たとえば、型システムに関する論文が読めるようになる)」という意味での入門ですが。

プログラミング言語における部分型、多相、高階型、型推論といったトピックに興味があり、理論的な背景が知りたいという人におすすめです。

けっこうボリュームがある書籍ですが、後半からはさまざまな型システムの紹介になるので、興味のあるトピックだけ拾い読みする使い方でも良いでしょう。

10人のお客様がこれが役に立ったと考えています

役に立った

Amazon Advertising 商品の露出でお客様の関心と反応を引き出す	Audible（オーディブル）「聴く」読書会員なら聴き放題	アマゾンウェブサービス（AWS）クラウドコンピューティングサービス	Amazonアウトレット訳あり商品をお手頃価格で販売

Amazonビジネス（法人購買）請求書払い法人価格・数量割引	AmazonGlobal 65か国/地域以上への海外配送がより簡単に	Shopbop 世界中の厳選されたファッションアイテム

著者をフォローする

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

この商品を買った人はこんな商品も買っています

登録情報

著者について

酒井 政裕

今井 敬吾

遠藤 侑介

カスタマーレビュー

この商品をレビュー

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

レビューのフィルタリング中に問題が発生しました。後でもう一度試してください。

酒井政裕

今井敬吾

遠藤侑介

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