30日間無料体験

この注文でお急ぎ便、お届け日時指定便を無料体験 Amazonプライム無料体験について

単行本
￥2,035 (20pt)

新品:

￥2,035

ポイント: 20pt (1%) 詳細はこちら

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

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

お届け先を選択

在庫あり。在庫状況について

￥￥2,035 () 選択したオプションを含めます。最初の月の支払いと選択されたオプションが含まれています。詳細

出荷元

Amazon.co.jp

出荷元

Amazon.co.jp

販売元

Amazon.co.jp

販売元

Amazon.co.jp

支払い方法

お客様情報を保護しています

支払い方法

お客様情報を保護しています

Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。詳細はこちら

詳細はこちら

すべて見る

ギフトの設定

画像はありません

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

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

著者をフォロー

五十嵐淳

フォロー

プログラミング言語の基礎概念 ((ライブラリ情報学コア・テキスト)) 単行本 – 2011/7/1

五十嵐淳 (著)

15

すべての形式と版を表示

{"desktop_buybox_group_1":[{"displayPrice":"￥2,035","priceAmount":2035.00,"currencySymbol":"￥","integerValue":"2,035","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"anOnrn5F9AWSs%2BtKk79vdLhjniGkySbZE81gXpE4i3ACP0JCvlCRpgcLHRhNtAsohNrAR58oTkXONBMsv13dYU1VnRCROXWVTO%2BL%2Fwb1wM8DgsJSPPU9fe9fhGxfPbW8OncdWTIfJrc%3D","locale":"ja-JP","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}]}

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

関数型言語MLの一種Objective Camlを題材としてプログラミング言語の意味論，型システム，プログラミング言語の基礎概念，これらの概念間の数学的な関連を学ぶ．
オンライン演習システムを用いて，「証明」を解答とする演習問題の正誤をWeb上で自動判定することもできる．

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

ISBN-10

4781912850
ISBN-13

978-4781912851
出版社

サイエンス社
発売日

2011/7/1
言語

日本語
本の長さ

176ページ
すべての詳細を表示

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

￥2,035

20ポイント(1%)

最短で4月21日日曜日のお届け予定です

在庫あり。

この商品は、Amazon.co.jpが販売および発送します。

+

￥4,510

45ポイント(1%)

最短で4月22日月曜日のお届け予定です

在庫あり。

この商品は、Amazon.co.jpが販売および発送します。

+

￥2,090

21ポイント(1%)

最短で4月21日日曜日のお届け予定です

残り1点ご注文はお早めに

この商品は、Amazon.co.jpが販売および発送します。

総額:

当社の価格を見るには、これら商品をカートに追加してください。

ポイントの合計: pt

もう一度お試しください

詳細

追加されました

これらの商品のうちのいくつかが他の商品より先に発送されます。

詳細の表示詳細の非表示

一緒に購入する商品を選択してください。

登録情報

出版社 ‏ : ‎ サイエンス社 (2011/7/1)
発売日 ‏ : ‎ 2011/7/1
言語 ‏ : ‎ 日本語
単行本 ‏ : ‎ 176ページ
ISBN-10 ‏ : ‎ 4781912850
ISBN-13 ‏ : ‎ 978-4781912851

Amazon 売れ筋ランキング: - 211,962位本 (本の売れ筋ランキングを見る)
- - 1,639位プログラミング (本)

カスタマーレビュー:
15

著者について

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

五十嵐淳

Brief content visible, double tap to read full content.

Full content visible, double tap to read brief content.

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

カスタマーレビュー

5つのうち4.3つ

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

星2つ

0%

星1つ

0%

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

この商品をレビュー

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

レビューのソート基準

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

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

きっく

プログラミング言語の型と操作的意味論の軽量な入門書

2017年7月8日に日本でレビュー済み

Amazonで購入

学部生の輪講用に、操作的意味論と型理論のさわりのために購入しました。
日本語の類書が少ないので助かります。内容も丁寧です。TAPLは厚すぎる…という我々にも安心です。

ただ無名関数の操作的意味論が書き換えでなくクロージャなので、簡単な入門書を求めていた我々としてはやや煩雑に感じました。逆に、関数型言語(や、インナークラスなどこクロージャ機構を持つオブジェクト指向言語)の実装までしっかり理解したい人にとっては一層良い本であります。

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

役に立った

Amazon_太郎

Typed Lambda Calculus の " ごく基礎的な " 内容

2020年7月17日に日本でレビュー済み

Amazonで購入

型推論器を実装するミニマルな作品としての出来栄えとしては良いのであろうが、

参考文献にもある、Types and Programming Languages と比べて、
やはり見劣りしてしまうことを述べておきたい。

TaPL が難しいと感じる方には、これが本当に良い入門書となるであろうが、
TaPL を読むのであれば、TaPL（原著）を読むにこしたことはない。

いくつか、本書の残念な点（ミニマルな構成の犠牲となっている点）を
System F 以降の話がないためか、「Fix 項」が出てこず、Data Type 関連の話がない。
この書籍の後に発展した内容を学習するには、
この尻尾を生やしておくことは極めて重要であるように感じるのだが、
尻尾をなくし、完全に閉じた内容としてしまっている。
（これは、Oxford 系列の文献が一冊も上がっていないことからも感じられる欠点である。）
Fix 項は、Algebraic Data Type との関連において、これは非常に重要なものであるが、
ミニマルかつ閉じた構成のために回避されているようである。

関連して、Untyped Lambda Calculus といった型理論の土台と
Infinite Type, Subtype, System F といった裾野の広がりを見るには、
本書では、かなりものたりないのではなかろうか。

本書にあって、TaPL にはない点は、動的意味論を考える上で有用な、
Formal Dynamics (形式的な、Big Step Evaluation) が与えられている点であろうか。

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

役に立った

ふりふら

オンライン演習システムでOCamlの操作的意味論を学ぶ

2014年1月7日に日本でレビュー済み

Amazonで購入

　プログラムの動作を記述することでプログラムに意味を与えるという操作的意味論のアプローチを用いて、「プログラムの動作を数学的に厳密に記述するための意味論」と、「プログラムの誤りをプログラムを実行する前に検知するための枠組みである型システム」と意味論との関係について書かれた本です。

　具体的なプログラミング言語としてはML（の方言であるOCaml）の中核部分が取り上げられています。OCamlはオープンソースの関数型言語です。

　MLの意味論・型システムを定義するための枠組みである導出システムを徐々に拡大しながら段階的に定義し、導出システムについてのいろいろな定理（メタ定理）が証明されていきます。

　プログラムの評価結果を証明するためのオンライン演習システムが用意されており、演習をおこなうことで導出システムについて理解を深めることができます。演習問題は全部で150問用意されています。なかには、解くのに数時間かかるような問題もあり、人間コンピュータになったような気分が味わえます (^_^)

　定理の証明を完全に理解するには数学的な基礎が要求されますが、オンラインの演習問題を解きながら導出システムについて理解するだけでもこの本を読む価値は十分にあります。

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

役に立った

たぼと

ML/OCamlで学ぶ操作的意味論

2011年8月23日に日本でレビュー済み

特定の言語で書かれたプログラムが、パーサによって構文解析された後、どのように解釈実行されるかを実践によって学ぶことができるすばらしい教科書。

オンラインの学習システムがよくできており、本を読んだだけで「わかったつもり」になっていた自分がどれほどわかっていなかったか、ちゃんと理解しながら学習を進められる。かなり「修行」っぽい演習問題もあるが、正解をもらった時の達成感もうれしい。

C言語では、ポインタを使ってメモリ上のデータを参照、操作するイメージを掴むことが必須だったが、関数型言語を勉強している人には、クロージャや再帰関数の実行イメージをしっかりと自分の中に根付かせることが必要になってくると思われる。この本は、そのあたりの「ぼんやりした理解」を、しっかりとした自信にまで進めてくれる力があると思う。

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

役に立った

Shuhei

OCamlを用いた操作的意味論の学習本

2014年1月8日に日本でレビュー済み

OCamlという関数型プログラミング言語を用いて、関数型言語がどのようにプログラムを実行（計算）しているかを学びます。
この本に書かれていることを学ぶことで、関数型言語および関連知識（継続や参照など）の理解が深まります。

この本は説明にOCamlという言語を用いているので、OCamlの基礎（基本型，リスト、パターンマッチ）を知っているとスムーズに読めると思います。
また、数学的な表記が所々あるので、そういったものに慣れているとより良いと思います。

この本の最大の特徴は、web上で演習問題が解けるということです。URLは
http://www.fos.kuis.kyoto-u.ac.jp/‾igarashi/CoPL/
です。
演習問題は本を読まなくてもなんとか解けるので、興味を持たれた方は解いてみると良いと思います。

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

役に立った

なんだかなぁ

基礎というには・・。

2014年12月21日に日本でレビュー済み

Amazonで購入

やや難易度が高目かなぁ。基礎というには子供でも掴みやすいものを期待してしまう。基礎の基礎とでも言うべきかもしれませんが。一定の知識と理解が無いと参考にならないかも。

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

役に立った

	非会員	プライム会員
通常配送	¥410 - ¥450*	無料
お急ぎ便	¥510 - ¥550
お届け日時指定便	¥510 - ¥650

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

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

プライム無料体験をお試しいただけます

新品:

￥2,035

画像はありません

著者をフォロー

プログラミング言語の基礎概念 ((ライブラリ情報学コア・テキスト)) 単行本 – 2011/7/1

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

1点以上の商品はAmazon.co.jp以外の出品者から販売または配送されます。

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

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

登録情報

著者について

五十嵐淳

カスタマーレビュー

この商品をレビュー

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

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

プライム無料体験をお試しいただけます

新品: ￥2,035

著者をフォロー

プログラミング言語の基礎概念 ((ライブラリ情報学コア・テキスト)) 単行本 – 2011/7/1

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

1点以上の商品はAmazon.co.jp以外の出品者から販売または配送されます。

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

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

登録情報

著者について

五十嵐 淳

カスタマーレビュー

この商品をレビュー

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

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

新品:

￥2,035

五十嵐淳

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