ご使用のブラウザでは、Cookieの設定が無効になっています。
すべての機能を利用するには、ブラウザの設定から当サイトドメインのCookieを有効にしてください。

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

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

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

  • Benjamin C.Pierce/著 住井英二郎/監訳 遠藤侑介/共訳 酒井政裕/共訳 今井敬吾/共訳 黒木裕介/共訳 今井宜洋/共訳 才川隆文/共訳 今井健男/共訳 ? Pierce,Benjamin C.(Pierce,Benjamin C.)
    Pennsylvania大学計算機・情報科学科教授(Salvatori Professor)。主な研究分野はプログラミング言語、静的型システム、ソフトウェアセキュリティ、並行・分散プログラミング、および同期技術。多くの一般ユーザを持つファイル同期ソフトウェアUnisonのメイン設計者でもある

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

  • ページ数
    503p
  • ISBN
    978-4-274-06911-6
  • 発売日
    2013年03月

閉じる

例)1234567

[住所の変更]

宅配受取り
店舗受取り(送料無料
セブン-イレブン
その他の店舗

閉じる

[対象店舗]
お急ぎ店舗受取り(324円

数量:

6,800 (税込:7,344

メーカーに在庫確認

現在、商品はございません。
ご注文後、メーカーより商品をお取り寄せします。
詳しくはよくある質問をご確認ください。
シェアする
Facebook
Twitter
Google+
メール

閉じる

ログイン後、改めてメールの送信をお願いします。 ログイン

商品の説明

  • 型システムとはプログラミング言語の安全性や効率を高めるうえで重要な理論・手法。基礎的な話題を網羅し実装例を交えて丁寧に解説。
目次
第1部 型無しの計算体系
第2部 単純型
第3部 部分型付け
第4部 再帰型
第5部 多相性
第6部 高階の型システム

商品詳細情報

フォーマット 単行本
サイズ 26cm
原題 原タイトル:TYPES AND PROGRAMMING LANGUAGES
対象年齢 一般

ページの先頭へ

閉じる

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

閉じる

エラーが発生しました。

読み込み中