当日発送
送料無料

話題の行列型システム入門プログラミング言語と型の理論コンピュータ/IT

お気に入りブランド

クチコミ評価 4.5（12件）

販売価格：: ￥6605税込
獲得ポイント：: ポイント

商品がカートに追加されました

販売価格：￥6605 税込

お買い物を続けるカートへ進む

在庫あり

※ 商品のお届けについてはこちらよりご確認ください。

SHOPPING が販売、発送いたします。

当日発送可 (14:00までのご注文が対象)

※
ご注文内容・出荷状況によっては当日発送できない場合もございます。
詳しくはこちらよりご確認ください。

利用可

※
ポストにお届け / 一点のみ購入でご利用可能です。
ゆうパケットでのお届けの場合はサンプル・ノベルティが対象外となります。
ゆうパケットには破損・紛失の保証はございません。
詳しくはこちらよりご確認ください。

商品の詳細

書き込みはありません．「型システム入門プログラミング言語と型の理論」\rBenjamin C. Pierce / 住井英二郎 / 遠藤侑介\r定価: ￥ 6800\r\r　型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。\r\r第1章はじめに\r第2章数学的準備\r■第1部型無しの計算体系\r第3章型無し算術式\r第4章算術式のML実装\r第5章型無しラムダ計算\r第6章項の名無し表現\r第7章ラムダ計算のML実装\r■第2部単純型\r第8章型付き算術式\r第9章単純型付きラムダ計算\r第10章単純型のML実装\r第11章単純な拡張\r第12章正規化\r第13章参照\r第14章例外\r■第3部部分型付け\r第15章部分型付け\r第16章部分型付けのメタ理論\r第17章部分型付けのML実装\r第18章事例：命令的オブジェクト\r第19章事例：Featherweight Java\r■第4部再帰型\r第20章再帰型\r第21章再帰型のメタ理論\r■第5部多相性\r第22章型再構築\r第23章全称型\r第24章存在型\r第25章 System F のML実装\r第26章有界量化\r第27章事例：命令的オブジェクト再考\r第28章有界量化のメタ理論\r■第6部高階の型システム\r第29章型演算子とカインド\r第30章高階多相\r第31章高階部分型付け\r第32章事例：純粋関数的オブジェクト\r付録A 演習の解答\r付録B 記法\r参考文献\r訳語集\r規則図一覧\r索引\r\r#BenjaminCPierce #Benjamin_C_Pierce #住井英二郎 #住井_英二郎 #遠藤侑介 #遠藤_侑介 #本 #コンピュータ／コンピュータ

カテゴリー:	本・音楽・ゲーム>>>本>>>コンピュータ/IT
商品の状態:	やや傷や汚れあり
配送料の負担:	送料込み(出品者負担)
配送の方法:	佐川急便/日本郵便
発送元の地域:	未定
発送までの日数:	2~3日で発送

商品の説明

型システム入門 −プログラミング言語と型の理論−

型システム入門 : プログラミング言語と型の理論 - コンピュータ/IT

よわよわエンジニアがTAPL（型システム入門）を読んだら | sititou70

型システム入門 −プログラミング言語と型の理論− | Benjamin C

クチコミ評価

4.5

(12件)

7		9件
6		9件
5		9件
4		5件
3		1件
2		1件
1		0件
0		0件
評価なし		9件

この商品にクチコミする

最新のクチコミ

★★★★
2024-04-09

まだ10ヶ月未満の甥っ子ですが、目で見て、めくってみて隠れている生き物を見つける、という行動の楽しさに親しんで貰えるといいなと思って購入しました。甥っ子は、今のところ、めくって見つける楽しさよりも、めくれる布地のほうに興味津々のようで、うっかり目を離すと「ぱくっ」としてしまうそうですけれど（苦笑）、購入して良かったと思います。

20200126i

22歳

アトピー

クチコミ投稿 1件

購入品

★★★★★
2024-04-26

子どもが気に入っているシリーズで，今回も楽しめました。

七夕2000

30歳

アトピー

クチコミ投稿 1件

購入品

★★★
2024-03-26

3歳の息子の誕生日プレゼントとして購入しました。お出かけに持っていくには少し大きめかなと思いますが、息子のリュックにいつもいれています。病院の待ち時間や電車の中、外でのちょっとした待ち時間に使っています。もっと自由に貼れるページが多いといいなぁと思いました。

たろう0904

38歳

アトピー

クチコミ投稿 1件

購入品

★★★★★
2024-04-24

絵がとてもかわいくて、娘はすっかりお気に入りです。2歳からとなっていますが、10ヶ月の娘でも十分楽しめます！

marimocco22

26歳

アトピー

クチコミ投稿 1件

購入品

★★★★
2024-03-12

3歳の息子の誕生日プレゼントに買いました。トミカを買い始めたばっかりで、図鑑を見ながらこれはお家にあるね！とうれしそうでした。文字はあまりなく、トミカの写真がたくさんあり、まだひらがなの読めない子には魅力的です。

forest3183

34歳

アトピー

クチコミ投稿 1件

購入品

★★★★★
2024-04-22

なんなんすかこれｗポンカンを考えて今まで何度も利用してきましたが、これからを少し考えます。

lefty5518

42歳

アトピー

クチコミ投稿 1件

購入品

★★★★
2024-02-27

人気作品とは知っていましたが、2歳の子供に読んだらすぐ気に入りました！少し怖いようですが、怖いもの見たさもあり、ページをめくるたびに布団に隠れたりしながらとても楽しそうにしてくれます。購入してよかったです。2歳以降の子供にちょうど良いと思います◎

金すーさん

30歳

アトピー

クチコミ投稿 1件

購入品

★★★★★
2024-04-20

絵も可愛いし、素敵です。このシリーズ、ドレスが華やかで綺麗なんですよね。ディ○二ーよりこっちの方が好きです私も小さい頃持ってたお気に入りの絵本、子供が読む嬉しさ。子供に読み聞かせてると自分も母に読んでもらった懐かしい記憶を思い出します。子供の時にこの絵本が無かった世代の人には、批判されるかも。

あちこ114225

38歳

アトピー

クチコミ投稿 1件

購入品

★★★★
2024-02-13

めくってもへたれないので、子供に預けていてもボロボロになりません。まだ、字は読めないので、見るだけですが、えほんを見ながら、歌を歌ってあげると喜びます。

じーにー62662

46歳

アトピー

クチコミ投稿 1件

購入品

★★★★★
2024-04-18

よく見かけるせなけいこさんのシリーズが気になったので購入してみました。小さいサイズの本なので字が結構小さめです。2歳の娘には絵がツボらしく、何度も1人でパラパラめくって見ています。持ち出しやすいサイズ感でした。

桃ひめ6582

34歳

アトピー

クチコミ投稿 1件

購入品