型システム入門プログラミング言語と型の理論 [単行本]
    • 型システム入門プログラミング言語と型の理論 [単行本]

    • ¥7,344221ポイント(3%還元)
    • 在庫あり2018年9月27日木曜日12:00までヨドバシエクストリームサービス便(無料)がお届け
数量:
店舗受け取りが可能です
NEWマルチメディアAkibaマルチメディア梅田マルチメディア博多にて24時間営業時間外でもお受け取りいただけるようになりました
100000009001820273

型システム入門プログラミング言語と型の理論 [単行本]

価格:¥7,344(税込)
ポイント:221ポイント(3%還元)(¥221相当)
フォーマット:
専用電子書籍リーダアプリ「Doly」が必要です。無料ダウンロード
お届け日:在庫あり今すぐのご注文で、2018年9月27日木曜日12:00までヨドバシエクストリームサービス便(無料)がお届けします。届け先変更]詳しくはこちら
出版社:オーム社
販売開始日:2013/03/27
ご確認事項:返品不可

カテゴリランキング

  • 書籍
  • - 206413位

型システム入門プログラミング言語と型の理論 [単行本] の 商品概要

  • 目次(「BOOK」データベースより)

    第1部 型無しの計算体系
    第2部 単純型
    第3部 部分型付け
    第4部 再帰型
    第5部 多相性
    第6部 高階の型システム
  • 著者紹介(「BOOK著者紹介情報」より)(本データはこの書籍が刊行された当時に掲載されていたものです)

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

    住井 英二郎(スミイ エイジロウ)
    1998年東京大学理学部情報科学科卒業。2000年Pennsylvania大学Visiting Scholar。2001年東京大学大学院情報理工学系研究科コンピュータ科学専攻助手(同情報学環流動教員)。2003年Pennsylvania大学Research Associate。2004年東京大学大学院博士(情報理工学)。2005年東北大学大学院情報科学研究科助教授(2007年同准教授)。日本学術振興会賞、日本IBM科学賞、マイクロソフトリサーチ日本情報学研究賞等受賞

型システム入門プログラミング言語と型の理論 [単行本] の商品スペック

商品仕様
出版社名:オーム社
著者名:Benjamin C. Pierce(著)/住井 英二郎(監訳)
発行年月日:2013/03/25
ISBN-10:4274069117
ISBN-13:9784274069116
判型:B5
対象:専門
発行形態:単行本
内容:電子通信
ページ数:503ページ
縦:26cm
その他: 原書名: Types and Programming Languages〈Pierce,Benjamin C.〉

    オーム社 型システム入門プログラミング言語と型の理論 [単行本] に関するレビューとQ&A

    商品に関するご意見やご感想、購入者への質問をお待ちしています!