この本は現在お取り扱いできません。
お届け先を選択
Kindleアプリのロゴ画像

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

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

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

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

著者をフォローする

すべてを表示
今井 敬吾
フォロー
酒井 政裕
フォロー
何か問題が発生しました。後で再度リクエストしてください。

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

Benjamin C. Pierce (著), 住井 英二郎 (監訳), 遠藤 侑介 (翻訳),
5つ星のうち4.3 9
すべての形式と版を表示
型システムを理解するうえでの定番書を翻訳!
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages"を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
Previous page
  1. 本の長さ
    528ページ
  2. 言語
    日本語
  3. 出版社
    オーム社
  4. 発売日
    2013/3/26
  5. 寸法
    18.5 x 2.3 x 25.8 cm
  6. ISBN-10
    4274069117
  7. ISBN-13
    978-4274069116
  8. すべての詳細を表示
Next page

登録情報

  • 出版社 ‏ : ‎ オーム社 (2013/3/26)
  • 発売日 ‏ : ‎ 2013/3/26
  • 言語 ‏ : ‎ 日本語
  • 単行本（ソフトカバー） ‏ : ‎ 528ページ
  • ISBN-10 ‏ : ‎ 4274069117
  • ISBN-13 ‏ : ‎ 978-4274069116
  • 寸法 ‏ : ‎ 18.5 x 2.3 x 25.8 cm
  • カスタマーレビュー:
    5つ星のうち4.3 9

著者について

著者をフォローして、新作のアップデートや改善されたおすすめを入手してください。
前のページ
  1. 今井 敬吾

    今井 敬吾

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

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

    著者ページでもっと見る
  2. 酒井 政裕

    酒井 政裕

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

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

    著者ページでもっと見る
  3. 遠藤 侑介

    遠藤 侑介

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

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

    著者ページでもっと見る
次のページ

カスタマーレビュー

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

この商品をレビュー

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

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

kaizen
5つ星のうち5.0 読み始めました。
2013年3月30日に日本でレビュー済み
読み始めました。

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

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

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

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

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

ps3.
２年前のPPLの時、「何のために」がない研究についての反省を聞いたことがあります。
型システムが、何のためにあるのかの理解を第一目標にします。
13人のお客様がこれが役に立ったと考えています
役に立った
 レポート
Amazon_太郎
5つ星のうち1.0 原著を読んでください。
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:
当レビューの目的は、
翻訳の素人のような作品が広く流通する中で、
若く懸命な読者層に、何よりも、一次情報つまりは原文に触れることの重要性が広く認知される事を主眼としています。
90人のお客様がこれが役に立ったと考えています
役に立った
 レポート
Yutaka HARA
5つ星のうち5.0 型システムの世界へようこそ
2017年11月30日に日本でレビュー済み
「TAPL」の略称で知られる、型システムの世界における定番の入門書です。入門といっても、「これを読めば型システムの研究を始める準備が整う(たとえば、型システムに関する論文が読めるようになる)」という意味での入門ですが。

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

けっこうボリュームがある書籍ですが、後半からはさまざまな型システムの紹介になるので、興味のあるトピックだけ拾い読みする使い方でも良いでしょう。
10人のお客様がこれが役に立ったと考えています
役に立った
 レポート