蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
※この書誌は予約できません。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
| No. |
所蔵館 |
資料番号 |
請求記号 |
配架場所 |
所蔵棚番号 |
資料種別 |
帯出区分 |
状態 |
付録 |
貸出
|
| 1 |
図書情報館 | 1310405053 | 007.64/ﾋ/ | 書庫２ | | 一般図書 | 貸出禁止 | 在庫 | |
× |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
Benjamin C.Pierce 住井 英二郎 遠藤 侑介 酒井 政裕 今井 敬吾 黒木 裕介 今井 宜洋…
生成AI時代の新プログラミング実践…
松本 直樹／著
独習Java
山田 祥寛／著
できるイラストで学ぶ入社1年目から…
きたみ あきこ／…
スッキリわかるJava入門実践編
中山 清喬／著,…
Azure OpenAI Serv…
永田 祥平／著,…
ChatGPTによるプログラム制御…
坂本 俊之／著
Azure OpenAI Serv…
柿崎 裕也／著,…
エンジニアのためのChatGPT活…
大澤 文孝／著,…
現場ですぐに使える!最新Pytho…
金城 俊哉／著
詳解Rustアトミック操作とロック…
Mara Bos…
ChatGPTと学ぶPython入…
熊澤 秀道／著
Pythonで学ぶアルゴリズム&改…
矢沢 久雄／著,…
AI Tuberを作ってみたら生成…
阿部 由延／著
スッキリわかるJava入門
中山 清喬／著,…
確かな力が身につくC#「超」入門
北村 愛実／著
たった2日でマスターできるiPho…
藤 治仁／著,小…
C++ソフトウェア設計 ： 高品質…
Klaus Ig…
プログラミングでなにができる? ：…
杉浦 学／著,阿…
はじめての“文字で打ちこむ”プログ…
尾関 基行／著
いちばんやさしいPython入門教…
大澤 文孝／著
矛盾も間違いもあるChatGPTに…
清水 美樹／著
ChatGPT API×Excel…
植木 悠二／著,…
新・明解Python入門
柴田 望洋／著
これからはじめる「情報」の基礎 ：…
谷尻 かおり／著…
ルールズ・オブ・プログラミング ：…
Chris Zi…
Go言語100Tips ： ありが…
Teiva Ha…
プログラムの基本を知ることで考える…
すわべ しんいち…
マンガでわかる!プログラミング1
柳田 拓人／監修
マンガでわかる!プログラミング2
柳田 拓人／監修
エンジニアがExcel VBAを簡…
渡部 守／著
マンガでわかる!プログラミング3
柳田 拓人／監修
オブジェクト設計スタイルガイド
Matthias…
学習と業務が加速するChatGPT…
たてばやし 淳／…
Python×Excel自動処理ビ…
土屋 和人／著
ゾロリクエストきょうふのオスシーラ…
原 ゆたか／原作…
OpenAI GPT-4/Chat…
布留川 英一／著
実践力をアップするPythonによ…
クジラ飛行机／著
JavaScript Primer…
azu／著,Su…
一般教養としてのプログラミング
中原 大介／著
動かして学ぶ!Flutter開発入…
掛内 一章／著
iPhone1台で学ぶプログラミン…
増井 敏克／著
プログラミングの英単語 ： コード…
松元 大地／著
データ指向プログラミング ： ソフ…
Yehonath…
パーフェクトRust
古川 正寿／著
新・明解C言語実践編
柴田 望洋／著
退屈なことはPythonにやらせよ…
Al Sweig…
Pythonライブラリの教科書
立山 秀利／著,…
名探偵コナンのプログラミング入門 …
青山 剛昌／原作…
アルゴリズム図鑑 ： 絵で見てわか…
石田 保輝／著,…
プログラマー脳 ： 優れたプログラ…
Felienne…
前へ
次へ
Pythonデータサイエンスハンド…
Jake Van…
生成AI時代の新プログラミング実践…
松本 直樹／著
独習Java
山田 祥寛／著
できるイラストで学ぶ入社1年目から…
きたみ あきこ／…
スッキリわかるJava入門実践編
中山 清喬／著,…
Azure OpenAI Serv…
永田 祥平／著,…
ChatGPTによるプログラム制御…
坂本 俊之／著
入門eBPF ： Linuxカーネ…
Liz Rice…
Azure OpenAI Serv…
柿崎 裕也／著,…
エンジニアのためのChatGPT活…
大澤 文孝／著,…
現場ですぐに使える!最新Pytho…
金城 俊哉／著
詳解Rustアトミック操作とロック…
Mara Bos…
ChatGPTと学ぶPython入…
熊澤 秀道／著
Pythonで学ぶアルゴリズム&改…
矢沢 久雄／著,…
AI Tuberを作ってみたら生成…
阿部 由延／著
スッキリわかるJava入門
中山 清喬／著,…
確かな力が身につくC#「超」入門
北村 愛実／著
C++ソフトウェア設計 ： 高品質…
Klaus Ig…
プログラミングでなにができる? ：…
杉浦 学／著,阿…
Unity<超>入門 ： すぐに学…
荒川 巧也／著,…
はじめての“文字で打ちこむ”プログ…
尾関 基行／著
いちばんやさしいPython入門教…
大澤 文孝／著
矛盾も間違いもあるChatGPTに…
清水 美樹／著
Pythonデータ分析実践ハンドブ…
寺田 学／著,神…
pandasライブラリ活用入門 ：…
Daniel Y…
ChatGPT API×Excel…
植木 悠二／著,…
Pythonではじめるゲーム制作超…
廣瀬 豪／著
新・明解Python入門
柴田 望洋／著
これからはじめる「情報」の基礎 ：…
谷尻 かおり／著…
ルールズ・オブ・プログラミング ：…
Chris Zi…
Go言語100Tips ： ありが…
Teiva Ha…
Pythonデータ分析ハンズオンセ…
小川 英幸／著
プログラムの基本を知ることで考える…
すわべ しんいち…
マンガでわかる!プログラミング1
柳田 拓人／監修
マンガでわかる!プログラミング2
柳田 拓人／監修
WPF/C#によるOpenCV 4…
北山 洋幸／著
はじめてのコンピュータサイエンス …
島袋 舞子／著,…
エンジニアがExcel VBAを簡…
渡部 守／著
マンガでわかる!プログラミング3
柳田 拓人／監修
オブジェクト設計スタイルガイド
Matthias…
学習と業務が加速するChatGPT…
たてばやし 淳／…
Python×Excel自動処理ビ…
土屋 和人／著
ゾロリクエストきょうふのオスシーラ…
原 ゆたか／原作…
OpenAI GPT-4/Chat…
布留川 英一／著
実践力をアップするPythonによ…
クジラ飛行机／著
たのしいクリエイティブコーディング…
ユ・ジャン／著,…
JavaScript Primer…
azu／著,Su…
Python3ではじめるシステムト…
森谷 博之／著
一般教養としてのプログラミング
中原 大介／著
iPhone1台で学ぶプログラミン…
増井 敏克／著
前へ
次へ
書誌詳細
この資料の書誌詳細情報です。
| タイトルコード |
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のメイン設計者。 |
| 件名 |
プログラミング(コンピュータ) |
| 言語区分 |
日本語 |
| (他の紹介)目次 |
第１部 型無しの計算体系
第２部 単純型
第３部 部分型付け
第４部 再帰型
第５部 多相性
第６部 高階の型システム |
| (他の紹介)著者紹介 |
Ｐｉｅｒｃｅ，Ｂｅｎｊａｍｉｎ Ｃ．
Ｐｅｎｎｓｙｌｖａｎｉａ大学計算機・情報科学科教授（Ｓａｌｖａｔｏｒｉ Ｐｒｏｆｅｓｓｏｒ）。主な研究分野はプログラミング言語、静的型システム、ソフトウェアセキュリティ、並行・分散プログラミング、および同期技術。多くの一般ユーザを持つファイル同期ソフトウェアＵｎｉｓｏｎのメイン設計者でもある(本データはこの書籍が刊行された当時に掲載されていたものです)
住井 英二郎
１９９８年東京大学理学部情報科学科卒業。２０００年Ｐｅｎｎｓｙｌｖａｎｉａ大学Ｖｉｓｉｔｉｎｇ Ｓｃｈｏｌａｒ。２００１年東京大学大学院情報理工学系研究科コンピュータ科学専攻助手（同情報学環流動教員）。２００３年Ｐｅｎｎｓｙｌｖａｎｉａ大学Ｒｅｓｅａｒｃｈ Ａｓｓｏｃｉａｔｅ。２００４年東京大学大学院博士（情報理工学）。２００５年東北大学大学院情報科学研究科助教授（２００７年同准教授）。日本学術振興会賞、日本ＩＢＭ科学賞、マイクロソフトリサーチ日本情報学研究賞等受賞(本データはこの書籍が刊行された当時に掲載されていたものです) |
内容細目表
前のページへ
