蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
※この書誌は予約できません。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
| No. |
所蔵館 |
資料番号 |
請求記号 |
配架場所 |
所蔵棚番号 |
資料種別 |
帯出区分 |
状態 |
付録 |
貸出
|
| 1 |
図書情報館 | 1310405053 | 007.64/ﾋ/ | 書庫２ | | 一般図書 | 貸出禁止 | 在庫 | |
× |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
Benjamin C.Pierce 住井 英二郎 遠藤 侑介 酒井 政裕 今井 敬吾 黒木 裕介 今井 宜洋…
機械語がわかる図鑑
松浦 健一郎／著…
パーフェクトJava
井上 誠一郎／著…
Excelマクロ&VBAやさしい教…
古川 順平／著
#100日チャレンジ ： 毎日連続…
大塚 あみ／著
もう一度プログラミングをはじめてみ…
山崎 晴可／著,…
はじめてのPyth…エンジニア入門編
松浦 健一郎／著…
モバイルアプリアクセシビリティ入門…
阿部 諒／著,伊…
スッキリわかるC言語入門
中山 清喬／著,…
アルゴリズムイントロダクション
T.コルメン／共…
Effective Rust ： …
David Dr…
LangChainとLangGra…
西見 公宏／著,…
たった2日でマスターできるiPho…
藤 治仁／著,小…
プログラミング新作法 ： これから…
荒木 雅弘／著
実践力を身につけるPythonの教…
クジラ飛行机／著
Rubyコードレシピ集 ： スグに…
山本 浩平／著,…
現場で使える!NumPyデータ処理…
吉田 拓真／著,…
業務アプリ作成のためのAccess…
今村 ゆうこ／著
VTuberサプーが教える!Pyt…
サプー／著
コンピューター誕生の歴史に隠れた6…
キャシー・クレイ…
大規模データセットのためのアルゴリ…
Dzejla M…
Pythonでつくるデスクトップア…
クジラ飛行机／著
クリエイティブプログラマー ： 創…
Wouter G…
Pythonクイックリファレンス
Alex Mar…
いきなりプログラミングPython
wat／著
プログラマーのためのVisual …
川崎 庸市／共著…
爆速Python ： 巨大データセ…
Tiago Ro…
ChatGPTを徹底活用!ビジネス…
堀内 亮平／著
関数型デザイン ： 原則、パターン…
Robert C…
なぜ依存を注入するのかDIの原理・…
Steven v…
プログラミング言語AWK
Alfred V…
Pythonによる「プログラミング…
河西 朝雄／著
シェルスクリプト基本リファレンス …
山森 丈範／著
13歳からのプログラミング入門マイ…
山口 由美／著
Azure OpenAI Serv…
増田 智明／著
たった1秒で仕事が片づくExcel…
吉田 拳／著
Flutter実践開発 ： iPh…
渡部 陽太／著
Java<完全>入門
松浦 健一郎／著…
Elixir実践入門 ： 基本文法…
栗林 健太郎／著…
Excel VBA開発を超効率化す…
深見 祐士／著,…
できるイラストで学ぶ入社1年目から…
きたみ あきこ／…
できるイラストで学ぶ入社1年目から…
きたみ あきこ／…
CODE ： コードから見たコンピ…
チャールズ・ペゾ…
生成AI時代の新プログラミング実践…
松本 直樹／著
独習Java
山田 祥寛／著
スッキリわかるJava入門実践編
中山 清喬／著,…
Visual Studio Cod…
森下 篤／著
Azure OpenAI Serv…
永田 祥平／著,…
ChatGPTによるプログラム制御…
坂本 俊之／著
エンジニアのためのChatGPT活…
大澤 文孝／著,…
Azure OpenAI Serv…
柿崎 裕也／著,…
前へ
次へ
書誌詳細
この資料の書誌詳細情報です。
| タイトルコード |
1008000648078 |
| 書誌種別 |
図書 |
| 書名 |
型システム入門 プログラミング言語と型の理論 |
| 書名ヨミ |
カタ システム ニュウモン |
| 著者名 |
Benjamin C.Pierce／著
|
| 著者名ヨミ |
Benjamin C Pierce |
| 著者名 |
住井 英二郎／監訳 |
| 著者名ヨミ |
スミイ エイジロウ |
| 著者名 |
遠藤 侑介／共訳 |
| 著者名ヨミ |
エンドウ ユウスケ |
| 出版者 |
オーム社
|
| 出版年月 |
2013.3 |
| ページ数 |
21,503p |
| 大きさ |
26cm |
| 分類記号 |
007.64
|
| 分類記号 |
007.64
|
| ISBN |
4-274-06911-6 |
| 内容紹介 |
プログラミング言語理論の基礎的教科書。プログラミング言語理論の鍵となる概念について詳しく解説し、多数の入門的な題材と豊富な例題、演習、事例を提供する。 |
| 著者紹介 |
Pennsylvania大学計算機・情報科学科教授(Salvatori Professor)。ファイル同期ソフトウェアUnisonのメイン設計者。 |
| 件名 |
プログラミング(コンピュータ) |
| 言語区分 |
日本語 |
| (他の紹介)目次 |
第１部 型無しの計算体系
第２部 単純型
第３部 部分型付け
第４部 再帰型
第５部 多相性
第６部 高階の型システム |
| (他の紹介)著者紹介 |
Ｐｉｅｒｃｅ，Ｂｅｎｊａｍｉｎ Ｃ．
Ｐｅｎｎｓｙｌｖａｎｉａ大学計算機・情報科学科教授（Ｓａｌｖａｔｏｒｉ Ｐｒｏｆｅｓｓｏｒ）。主な研究分野はプログラミング言語、静的型システム、ソフトウェアセキュリティ、並行・分散プログラミング、および同期技術。多くの一般ユーザを持つファイル同期ソフトウェアＵｎｉｓｏｎのメイン設計者でもある(本データはこの書籍が刊行された当時に掲載されていたものです)
住井 英二郎
１９９８年東京大学理学部情報科学科卒業。２０００年Ｐｅｎｎｓｙｌｖａｎｉａ大学Ｖｉｓｉｔｉｎｇ Ｓｃｈｏｌａｒ。２００１年東京大学大学院情報理工学系研究科コンピュータ科学専攻助手（同情報学環流動教員）。２００３年Ｐｅｎｎｓｙｌｖａｎｉａ大学Ｒｅｓｅａｒｃｈ Ａｓｓｏｃｉａｔｅ。２００４年東京大学大学院博士（情報理工学）。２００５年東北大学大学院情報科学研究科助教授（２００７年同准教授）。日本学術振興会賞、日本ＩＢＭ科学賞、マイクロソフトリサーチ日本情報学研究賞等受賞(本データはこの書籍が刊行された当時に掲載されていたものです) |
内容細目表
前のページへ
