HOME

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

商品説明・詳細
送料・お届け

商品情報

書き込みはありません．「型システム入門プログラミング言語と型の理論」\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日で発送

残り 1 点 6605円

（5 ポイント還元！）

翌日お届け可（営業日のみ） ※一部地域を除く

お届け日: 12月06日〜指定可お届け日: (明日12:00のご注文まで)

ラッピング

対応決済方法

クレジットカード
コンビニ前払い決済
代金引換: 商品到着と引き換えにお支払いいただけます。 (送料を含む合計金額が￥299,000 まで対応可能)
ペイジー前払い決済(ATM/ネットバンキング): 以下の金融機関のATM/ネットバンクからお支払い頂けます
みずほ銀行、三菱ＵＦＪ銀行、三井住友銀行
りそな銀行、ゆうちょ銀行、各地方銀行
Amazon Pay(Amazonアカウントでお支払い)