¥7,480
通常配送無料 詳細
残り3点(入荷予定あり)
Kindle版は今すぐお読みいただけます。 在庫状況について
この商品は、Amazon.co.jp が販売、発送します。
型システム入門 −プログラミング言語と型の理論− がカートに入りました
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
この画像を表示

著者をフォローする

 全てをチェック
何か問題が発生しました。後で再度リクエストしてください。


型システム入門 −プログラミング言語と型の理論− (日本語) 単行本(ソフトカバー) – 2013/3/26

5つ星のうち2.9 3個の評価

その他 の形式およびエディションを表示する 他の形式およびエディションを非表示にする
価格
新品 中古品
Kindle版 (電子書籍)
単行本(ソフトカバー)
¥7,480
¥7,480 ¥11,259
お届け日: 明日 詳細を見る
click to open popover

よく一緒に購入されている商品

  • 型システム入門 −プログラミング言語と型の理論−
  • +
  • プログラミング言語の基礎概念 ((ライブラリ情報学コア・テキスト))
  • +
  • 計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)
総額: ¥13,255
ポイントの合計: 132pt (1%)
選択された商品をまとめて購入

Kindle 端末は必要ありません。無料 Kindle アプリのいずれかをダウンロードすると、スマートフォン、タブレットPCで Kindle 本をお読みいただけます。

  • iOSアプリのダウンロードはこちらをクリック
    Apple
  • Androidアプリのダウンロードはこちらをクリック
    Android
  • Amazonアプリストアへはこちらをクリック
    Android

無料アプリを入手するには、Eメールアドレスを入力してください。

kcpAppSendButton

商品の説明

著者略歴 (「BOOK著者紹介情報」より)

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

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

登録情報

カスタマーレビュー

5つ星のうち2.9
星5つ中の2.9
評価の数 3
星5つ
46%
星4つ 0% (0%) 0%
星3つ 0% (0%) 0%
星2つ 0% (0%) 0%
星1つ
54%
Amazonは星評価をどのように計算しますか?

この商品をレビュー

他のお客様にも意見を伝えましょう
2017年11月30日に日本でレビュー済み
5人のお客様がこれが役に立ったと考えています
コメント 違反を報告
2018年9月22日に日本でレビュー済み
35人のお客様がこれが役に立ったと考えています
コメント 違反を報告
殿堂入りNo1レビュアー
2013年3月30日に日本でレビュー済み
8人のお客様がこれが役に立ったと考えています
コメント 違反を報告
同様の商品をご覧になりませんか? こちらのリンクで参照ください。プログラミング 入門