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

販売休止中です

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

    • ￥7,480225 ゴールドポイント（3％還元）
型システム入門プログラミング言語と型の理論 [単行本]
100000009001820273

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

価格：￥7,480（税込）
ゴールドポイント：225 ゴールドポイント（3％還元）（￥225相当）
フォーマット：
日本全国配達料金無料
出版社：オーム社
販売開始日： 2013/03/27
お取り扱い： のお取り扱い商品です。
ご確認事項：返品不可

カテゴリランキング

  • 販売休止中です

お気に入りに登録する

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

  • 目次（「BOOK」データベースより）

    第１部　型無しの計算体系
    第２部　単純型
    第３部　部分型付け
    第４部　再帰型
    第５部　多相性
    第６部　高階の型システム

  • 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

    Pierce,Benjamin C.(PIERCE,BENJAMIN C.／Pierce,Benjamin C.)
    Ｐｅｎｎｓｙｌｖａｎｉａ大学計算機・情報科学科教授（Ｓａｌｖａｔｏｒｉ　Ｐｒｏｆｅｓｓｏｒ）。主な研究分野はプログラミング言語、静的型システム、ソフトウェアセキュリティ、並行・分散プログラミング、および同期技術。多くの一般ユーザを持つファイル同期ソフトウェアＵｎｉｓｏｎのメイン設計者でもある

    住井 英二郎(スミイ エイジロウ)
    １９９８年東京大学理学部情報科学科卒業。２０００年Ｐｅｎｎｓｙｌｖａｎｉａ大学Ｖｉｓｉｔｉｎｇ　Ｓｃｈｏｌａｒ。２００１年東京大学大学院情報理工学系研究科コンピュータ科学専攻助手（同情報学環流動教員）。２００３年Ｐｅｎｎｓｙｌｖａｎｉａ大学Ｒｅｓｅａｒｃｈ　Ａｓｓｏｃｉａｔｅ。２００４年東京大学大学院博士（情報理工学）。２００５年東北大学大学院情報科学研究科助教授（２００７年同准教授）。日本学術振興会賞、日本ＩＢＭ科学賞、マイクロソフトリサーチ日本情報学研究賞等受賞

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

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

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

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

    型システム入門プログラミング言語と型の理論 [単行本]を見たお客様はこれも見ています