商品の詳細
書き込みはありません.「型システム入門 プログラミング言語と型の理論」\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日で発送 |
商品の説明
![型システム入門 プログラミング言語と型の理論 | BenjaminC.Pierce, 住井英二郎, 遠藤侑介, 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男 | 工学 | Kindleストア | Amazon 型システム入門 プログラミング言語と型の理論 | BenjaminC.Pierce, 住井英二郎, 遠藤侑介, 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男 | 工学 | Kindleストア | Amazon](https://m.media-amazon.com/images/I/41lT4kD300L.jpg)
型システム入門 プログラミング言語と型の理論 | BenjaminC.Pierce, 住井英二郎, 遠藤侑介, 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男 | 工学 | Kindleストア | Amazon
![よわよわエンジニアがTAPL(型システム入門)を読んだら | sititou70 よわよわエンジニアがTAPL(型システム入門)を読んだら | sititou70](https://sititou70.github.io/static/3cb0c6d5ac5a7d8dc4fac93e35f9043e/13c84/top.jpg)
よわよわエンジニアがTAPL(型システム入門)を読んだら | sititou70
![Amazon.co.jp: 型システム入門 −プログラミング言語と型の理論 Amazon.co.jp: 型システム入門 −プログラミング言語と型の理論](https://images-fe.ssl-images-amazon.com/images/I/31hW5aPRt-L._AC_UL600_SR600,600_.jpg)
Amazon.co.jp: 型システム入門 −プログラミング言語と型の理論
![Amazon.co.jp: 型システム入門 −プログラミング言語と型の理論 Amazon.co.jp: 型システム入門 −プログラミング言語と型の理論](https://images-fe.ssl-images-amazon.com/images/I/817sd3eSgNL._AC_UL600_SR600,600_.jpg)
Amazon.co.jp: 型システム入門 −プログラミング言語と型の理論
![事前準備|型システム入門 プログラミング言語と型の理論 メモ 事前準備|型システム入門 プログラミング言語と型の理論 メモ](https://res.cloudinary.com/zenn/image/fetch/s--Mj3Lr8Gm--/c_fill,f_jpg,fl_progressive,h_700,q_90,w_500/https://storage.googleapis.com/zenn-user-upload/book_cover/739ad659d4.png)
事前準備|型システム入門 プログラミング言語と型の理論 メモ
最新のクチコミ
コンピュータ/IT
-
-
5
Kare 絵画
絵画/タペストリ
¥9,576