型システム入門 プログラミング言語と型の理論(オーム社) [電子書籍]
    • 型システム入門 プログラミング言語と型の理論(オーム社) [電子書籍]

    • ¥7,4801,496ポイント(20%還元)
    • すぐ読めます
こちらの商品は電子書籍版です
100000086600416646

型システム入門 プログラミング言語と型の理論(オーム社) [電子書籍]

Benjamin C.(Pierce著者)住井 英二郎(著者)
価格:¥7,480(税込)
ポイント:1,496ポイント(20%還元)(¥1,496相当)
フォーマット:
専用電子書籍リーダアプリ「Doly」が必要です。無料ダウンロード
出版社:オーム社
公開日:2016年05月10日
すぐ読めます。
ご確認事項:電子書籍リーダーアプリ「Doly」専用コンテンツ

カテゴリランキング

  • 電子書籍
  • - 114031位

型システム入門 プログラミング言語と型の理論(オーム社) の 商品概要

  • 目次(「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科学賞、マイクロソフトリサーチ日本情報学研究賞等受賞

型システム入門 プログラミング言語と型の理論(オーム社) の商品スペック

書店分類コード
K800
Cコード
3055
出版社名
オーム社
紙の本のISBN-13
9784274069116
他のオーム社の電子書籍を探す
ファイルサイズ
240.7MB
著者名
Benjamin C.
住井 英二郎
著述名
Pierce著者
著者

    オーム社 型システム入門 プログラミング言語と型の理論(オーム社) [電子書籍] に関するレビューとQ&A

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