感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

検索結果書誌詳細

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 書誌の詳細です。 現在、この資料への予約は 0 件あります。
  • ・予約するときは「予約カートに入れる」ボタンをクリックしてください。予約するには図書館窓口で発行したパスワードが必要です。
    ・「予約カートに入れる」ボタンが出ない書誌には予約できません。
    詳しくは「マイページについて－インターネットで予約するには」をご覧ください。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

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

著者名 Benjamin C.Pierce／著 住井英二郎／監訳 遠藤侑介／共訳
出版者 オーム社
出版年月 2013.3
請求記号 0076/05599/

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

登録する本棚ログインすると、マイ本棚が利用できます。

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 資料種別 配架場所 別置 帯出 状態
1 鶴舞0210794558一般和書２階開架パソコン在庫 

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

書誌詳細

この資料の書誌詳細情報です。

請求記号 0076/05599/
書名 型システム入門　プログラミング言語と型の理論
著者名 Benjamin C.Pierce／著 　 住井英二郎／監訳 　 遠藤侑介／共訳
出版者 オーム社
出版年月 2013.3
ページ数 503p
大きさ 26cm
ISBN 978-4-274-06911-6
原書名 Types and programming languages
分類 00764
一般件名 プログラミング(コンピュータ)
書誌種別 一般和書
内容注記 文献:p451〜484
内容紹介 プログラミング言語理論の基礎的教科書。プログラミング言語理論の鍵となる概念について詳しく解説し、多数の入門的な題材と豊富な例題、演習、事例を提供する。
タイトルコード 1001210129712

目次 第１部　型無しの計算体系
第２部　単純型
第３部　部分型付け
第４部　再帰型
第５部　多相性
第６部　高階の型システム
著者情報 Ｐｉｅｒｃｅ，Ｂｅｎｊａｍｉｎ　Ｃ．
　Ｐｅｎｎｓｙｌｖａｎｉａ大学計算機・情報科学科教授（Ｓａｌｖａｔｏｒｉ　Ｐｒｏｆｅｓｓｏｒ）。主な研究分野はプログラミング言語、静的型システム、ソフトウェアセキュリティ、並行・分散プログラミング、および同期技術。多くの一般ユーザを持つファイル同期ソフトウェアＵｎｉｓｏｎのメイン設計者でもある(本データはこの書籍が刊行された当時に掲載されていたものです)
住井 英二郎
　１９９８年東京大学理学部情報科学科卒業。２０００年Ｐｅｎｎｓｙｌｖａｎｉａ大学Ｖｉｓｉｔｉｎｇ　Ｓｃｈｏｌａｒ。２００１年東京大学大学院情報理工学系研究科コンピュータ科学専攻助手（同情報学環流動教員）。２００３年Ｐｅｎｎｓｙｌｖａｎｉａ大学Ｒｅｓｅａｒｃｈ　Ａｓｓｏｃｉａｔｅ。２００４年東京大学大学院博士（情報理工学）。２００５年東北大学大学院情報科学研究科助教授（２００７年同准教授）。日本学術振興会賞、日本ＩＢＭ科学賞、マイクロソフトリサーチ日本情報学研究賞等受賞(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表：

前のページへ
ページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。