型システム入門[BenjaminC.Pierce]
  • Googleプレビュー

型システム入門 プログラミング言語と型の理論
ベンジャミン・C.ピアス

7,344円(税込)送料無料

獲得ポイント:

この商品が関連するクーポン・キャンペーンがあります

※エントリー必要の有無や実施期間等の各種詳細条件は、必ず各説明頁でご確認ください。

楽天ブックス初めてご利用の方限定!

初めてご利用&条件達成でポイント最大5倍!

電子書籍版はまだありません。

商品基本情報

商品説明

【目次】(「BOOK」データベースより)
第1部 型無しの計算体系/第2部 単純型/第3部 部分型付け/第4部 再帰型/第5部 多相性/第6部 高階の型システム

【著者情報】(「BOOK」データベースより)
Pierce,Benjamin C.
Pennsylvania大学計算機・情報科学科教授(Salvatori Professor)。主な研究分野はプログラミング言語、静的型システム、ソフトウェアセキュリティ、並行・分散プログラミング、および同期技術。多くの一般ユーザを持つファイル同期ソフトウェアUnisonのメイン設計者でもある

住井英二郎(スミイエイジロウ)
1998年東京大学理学部情報科学科卒業。2000年Pennsylvania大学Visiting Scholar。2001年東京大学大学院情報理工学系研究科コンピュータ科学専攻助手(同情報学環流動教員)。2003年Pennsylvania大学Research Associate。2004年東京大学大学院博士(情報理工学)。2005年東北大学大学院情報科学研究科助教授(2007年同准教授)。日本学術振興会賞、日本IBM科学賞、マイクロソフトリサーチ日本情報学研究賞等受賞(本データはこの書籍が刊行された当時に掲載されていたものです)

みんなのレビュー

この商品にはまだレビューがありません レビューを書く

楽天ブックスランキング情報

  • 週間ランキング

    ランキング情報がありません。

  • 日別ランキング

    ランキング情報がありません。

ご購入はこちらから

在庫あり

通常3〜4日程度で発送

7,344円(税込)

送料無料

個数 
お気に入りに追加

最近チェックした商品

    ※表示を削除したい場合は閲覧履歴のページから削除お願いいたします

    ランキング:パソコン・システム開発

    ※1時間ごとに更新

    購入データ自動連携!楽天ブックス公式 無料 読書管理パプリ Readee

    このページの先頭へ