検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
  • 書誌の詳細です。 現在、予約は 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

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

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

書誌情報サマリ

書名

型システム入門　

著者名 Benjamin C.Pierce／著
著者名ヨミ Benjamin C Pierce
出版者 オーム社
出版年月 2013.3

この資料に対する操作

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

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

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

資料情報

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

No. 所蔵館 配架場所 請求記号 資料番号 資料種別 状態 個人貸出 在庫
1 中央図書館一般開架00764/123/0106716896一般在庫 可 ○

書誌詳細

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

タイトルコード 1000100046833
書誌種別 図書
書名 型システム入門　
書名ヨミ カタ システム ニュウモン
プログラミング言語と型の理論
言語区分 日本語
著者名 Benjamin C.Pierce／著 　 住井 英二郎／監訳 　 遠藤 侑介／共訳 　 酒井 政裕／共訳 　 今井 敬吾／共訳 　 黒木 裕介／共訳 　 今井 宜洋／共訳 　 才川 隆文／共訳 　 今井 健男／共訳
著者名ヨミ Benjamin C Pierce　スミイ エイジロウ　エンドウ ユウスケ　サカイ マサヒロ　イマイ ケイゴ　クロキ ユウスケ　イマイ ヨシヒロ　サイカワ タカフミ　イマイ タケオ
著者名原綴 Pierce Benjamin C.
出版地 東京
出版者 オーム社
出版年月 2013.3
本体価格 ￥６８００
ISBN 978-4-274-06911-6
ISBN 4-274-06911-6
数量 21,503p
大きさ 26cm
分類記号 007.64
件名 プログラミング(コンピュータ)
注記 原タイトル:Types and programming languages
注記 文献:p451〜484
内容紹介 プログラミング言語理論の基礎的教科書。プログラミング言語理論の鍵となる概念について詳しく解説し、多数の入門的な題材と豊富な例題、演習、事例を提供する。
著者紹介 Pennsylvania大学計算機・情報科学科教授(Salvatori Professor)。ファイル同期ソフトウェアUnisonのメイン設計者。



内容細目

関連資料

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

2013
【生前贈与の実務必携　：　相続税大増…】 生前贈与の実務必携　：　相続税大増…
中島 吉央／著 【遺伝子図鑑】 遺伝子図鑑
国立遺伝学研究所… 【大逆罪】 大逆罪
北村 巌／著 【室町幕府管領施行システムの研究】 室町幕府管領施行システムの研究
亀田 俊和／著 【スウェーデン保育の今　：　テーマ活…】 スウェーデン保育の今　：　テーマ活…
白石 淑江／著,… 【原子力のサバイバル　：　生き残り…1】 原子力のサバイバル　：　生き残り…1
ゴムドリco.／… 【島々の発見　：　「新しいブリテン史…】 島々の発見　：　「新しいブリテン史…
J.G.A.ポー… 【バナナのはなし】 バナナのはなし
伊沢 尚子／文,… 【ラビットセミナー2013「iPho…】 ラビットセミナー2013「iPho…
 【原子力のサバイバル　：　生き残り…2】 原子力のサバイバル　：　生き残り…2
ゴムドリco.／… 【福田村事件　：　関東大震災・知られ…】 福田村事件　：　関東大震災・知られ…
辻野 弥生／著 【ロボット世界のサバイバル　：　生…2】 ロボット世界のサバイバル　：　生…2
金 政郁／文,韓… 【ソヴィエト文明の基礎】 ソヴィエト文明の基礎
アンドレイ・シニ… 【建築・空間・災害】 建築・空間・災害
村尾 修／著 【ふしぎ駄菓子屋銭天堂[1]】 ふしぎ駄菓子屋銭天堂[1]
廣嶋 玲子／作,… 【朝鮮王朝がわかる!　：　歴代27人…】 朝鮮王朝がわかる!　：　歴代27人…
六反田 豊／監修 【ロボット世界のサバイバル　：　生…3】 ロボット世界のサバイバル　：　生…3
金 政郁／文,韓… 【からすのてんぷらやさん】 からすのてんぷらやさん
かこ さとし／作… 【日本の神々がわかる神社事典】 日本の神々がわかる神社事典
外山 晴彦／監修 【しあわせのドクターイエロー】 しあわせのドクターイエロー
溝口 イタル／え… 【ハロウィンにきえたねこ】 ハロウィンにきえたねこ
マージョリー・W… 【おしりたんてい ププッレインボーダ…】 おしりたんてい ププッレインボーダ…
トロル／さく・え 【もしも宇宙でくらしたら】 もしも宇宙でくらしたら
山本 省三／作,… 【りんごかもしれない】 りんごかもしれない
ヨシタケ シンス… 【エビデンスに基づく症状別看護ケア関…】 エビデンスに基づく症状別看護ケア関…
阿部 俊子／監修… 【でんしゃにのったよ】 でんしゃにのったよ
岡本 雄司／さく 【ガール♥マジックお手紙レッスン】 ガール♥マジックお手紙レッスン
寺西 恵里子／作… 【継ぎはぎだらけのヴェルサイユ宮殿　…】 継ぎはぎだらけのヴェルサイユ宮殿　…
窪田 喜美子／著 【物語の法則　：　強い物語とキャラを…】 物語の法則　：　強い物語とキャラを…
クリストファー・… 【制度と進化のミクロ経済学】 制度と進化のミクロ経済学
サミュエル・ボウ… 【回避性愛着障害　：　絆が稀薄な人た…】 回避性愛着障害　：　絆が稀薄な人た…
岡田 尊司／著 【新天文学　：　楕円軌道の発見】 新天文学　：　楕円軌道の発見
ヨハネス・ケプラ… 【スウェーデンこくおうをすくえ!】 スウェーデンこくおうをすくえ!
マージョリー・W… 【小学生までに読んでおきたい文学5】 小学生までに読んでおきたい文学5
松田 哲夫／編 【ブッダの実践心理学　：　アビ…第8巻】 ブッダの実践心理学　：　アビ…第8巻
アルボムッレ・ス… 【老いを考える100冊の本　：　いか…】 老いを考える100冊の本　：　いか…
久我 勝利／著 【イチジク】 イチジク
大森 直樹／著 【横道萬里雄の能楽講義ノート謡編】 横道萬里雄の能楽講義ノート謡編
横道 萬里雄／[… 【図書館のしごと　：　よりよい利用を…】 図書館のしごと　：　よりよい利用を…
国際交流基金関西… 【おめんです[1]】 おめんです[1]
いしかわ こうじ…
2013
【生前贈与の実務必携　：　相続税大増…】 生前贈与の実務必携　：　相続税大増…
中島 吉央／著 【遺伝子図鑑】 遺伝子図鑑
国立遺伝学研究所… 【大逆罪】 大逆罪
北村 巌／著 【室町幕府管領施行システムの研究】 室町幕府管領施行システムの研究
亀田 俊和／著 【スウェーデン保育の今　：　テーマ活…】 スウェーデン保育の今　：　テーマ活…
白石 淑江／著,… 【原子力のサバイバル　：　生き残り…1】 原子力のサバイバル　：　生き残り…1
ゴムドリco.／… 【島々の発見　：　「新しいブリテン史…】 島々の発見　：　「新しいブリテン史…
J.G.A.ポー… 【バナナのはなし】 バナナのはなし
伊沢 尚子／文,… 【ラビットセミナー2013「iPho…】 ラビットセミナー2013「iPho…
 【原子力のサバイバル　：　生き残り…2】 原子力のサバイバル　：　生き残り…2
ゴムドリco.／… 【福田村事件　：　関東大震災・知られ…】 福田村事件　：　関東大震災・知られ…
辻野 弥生／著 【ロボット世界のサバイバル　：　生…2】 ロボット世界のサバイバル　：　生…2
金 政郁／文,韓… 【ソヴィエト文明の基礎】 ソヴィエト文明の基礎
アンドレイ・シニ… 【建築・空間・災害】 建築・空間・災害
村尾 修／著 【ふしぎ駄菓子屋銭天堂[1]】 ふしぎ駄菓子屋銭天堂[1]
廣嶋 玲子／作,… 【朝鮮王朝がわかる!　：　歴代27人…】 朝鮮王朝がわかる!　：　歴代27人…
六反田 豊／監修 【ロボット世界のサバイバル　：　生…3】 ロボット世界のサバイバル　：　生…3
金 政郁／文,韓… 【からすのてんぷらやさん】 からすのてんぷらやさん
かこ さとし／作… 【日本の神々がわかる神社事典】 日本の神々がわかる神社事典
外山 晴彦／監修 【しあわせのドクターイエロー】 しあわせのドクターイエロー
溝口 イタル／え… 【ハロウィンにきえたねこ】 ハロウィンにきえたねこ
マージョリー・W… 【おしりたんてい ププッレインボーダ…】 おしりたんてい ププッレインボーダ…
トロル／さく・え 【もしも宇宙でくらしたら】 もしも宇宙でくらしたら
山本 省三／作,… 【りんごかもしれない】 りんごかもしれない
ヨシタケ シンス… 【エビデンスに基づく症状別看護ケア関…】 エビデンスに基づく症状別看護ケア関…
阿部 俊子／監修… 【でんしゃにのったよ】 でんしゃにのったよ
岡本 雄司／さく 【ガール♥マジックお手紙レッスン】 ガール♥マジックお手紙レッスン
寺西 恵里子／作… 【継ぎはぎだらけのヴェルサイユ宮殿　…】 継ぎはぎだらけのヴェルサイユ宮殿　…
窪田 喜美子／著 【物語の法則　：　強い物語とキャラを…】 物語の法則　：　強い物語とキャラを…
クリストファー・… 【制度と進化のミクロ経済学】 制度と進化のミクロ経済学
サミュエル・ボウ… 【回避性愛着障害　：　絆が稀薄な人た…】 回避性愛着障害　：　絆が稀薄な人た…
岡田 尊司／著 【新天文学　：　楕円軌道の発見】 新天文学　：　楕円軌道の発見
ヨハネス・ケプラ… 【スウェーデンこくおうをすくえ!】 スウェーデンこくおうをすくえ!
マージョリー・W… 【小学生までに読んでおきたい文学5】 小学生までに読んでおきたい文学5
松田 哲夫／編 【ブッダの実践心理学　：　アビ…第8巻】 ブッダの実践心理学　：　アビ…第8巻
アルボムッレ・ス… 【老いを考える100冊の本　：　いか…】 老いを考える100冊の本　：　いか…
久我 勝利／著 【イチジク】 イチジク
大森 直樹／著 【横道萬里雄の能楽講義ノート謡編】 横道萬里雄の能楽講義ノート謡編
横道 萬里雄／[… 【図書館のしごと　：　よりよい利用を…】 図書館のしごと　：　よりよい利用を…
国際交流基金関西… 【おめんです[1]】 おめんです[1]
いしかわ こうじ…
007.64
【アルゴリズムの基礎】 アルゴリズムの基礎
小口 達夫／監修… 【コンパクトデータ構造　：　実践的ア…】 コンパクトデータ構造　：　実践的ア…
ゴンザロ・ナバロ… 【動かして学ぶ!Rust入門】 動かして学ぶ!Rust入門
mebiusbo… 【ハイパフォーマンスPython】 ハイパフォーマンスPython
Micha Go… 【データ指向プログラミング　：　ソフ…】 データ指向プログラミング　：　ソフ…
Yehonath… 【Excel VBA<完全>入門】 Excel VBA<完全>入門
古川 順平／著 【Python言語によるプログラミン…】 Python言語によるプログラミン…
John V.G… 【プログラミング言語の形式的意味論入…】 プログラミング言語の形式的意味論入…
G.ウィンスケル… 【Androidアプリ開発の教科書　…】 Androidアプリ開発の教科書　…
齊藤 新三／著,… 【Androidアプリ開発の教科書　…】 Androidアプリ開発の教科書　…
齊藤 新三／著,… 【アルゴリズムを考えよう　：　ウォー…】 アルゴリズムを考えよう　：　ウォー…
ケイトリン・シウ… 【初めてのGo言語　：　他言語プログ…】 初めてのGo言語　：　他言語プログ…
Jon Bodn… 【5さいからのプログラミングえほん　…】 5さいからのプログラミングえほん　…
石口 しんじ／著 【サイバーセキュリティプログラミング…】 サイバーセキュリティプログラミング…
Justin S… 【はじめてのAndro…Kotlin編】 はじめてのAndro…Kotlin編
山田 祥寛／著 【セジウィック:アルゴリズムC第5部】 セジウィック:アルゴリズムC第5部
R.セジウィック… 【コンパイラ　：　原理と構造】 コンパイラ　：　原理と構造
大堀 淳／著 【Pythonで学ぶ音声合成】 Pythonで学ぶ音声合成
山本 龍一／著,… 【14歳からのプログラミング】 14歳からのプログラミング
千葉 滋／著 【プログラミングC#】 プログラミングC#
Ian Grif… 【ダイテルPythonプログラミング…】 ダイテルPythonプログラミング…
PAUL DEI… 【プログラムはなぜ動くのか　：　知っ…】 プログラムはなぜ動くのか　：　知っ…
矢沢 久雄／著 【Androidアプリ開発の教科書　…】 Androidアプリ開発の教科書　…
齊藤 新三／著,… 【10才からはじめるプログラミング図…】 10才からはじめるプログラミング図…
キャロル・ヴォー… 【小学生から楽しむきらきらRubyプ…】 小学生から楽しむきらきらRubyプ…
高尾 宏治／著,… 【アベベのぼうけん　：…かんどうの下巻】 アベベのぼうけん　：…かんどうの下巻
佐藤 雅彦／さく… 【空飛ぶプログラム　：　ドローンの自…】 空飛ぶプログラム　：　ドローンの自…
ドローンエモーシ… 【絵でわかるはじめてのプログラミング…】 絵でわかるはじめてのプログラミング…
石戸 奈々子／監… 【Coders　：　the maki…】 Coders　：　the maki…
Clive Th… 【パーフェクトExcel VBA】 パーフェクトExcel VBA
高橋 宣成／著 【Pythonで学ぶアルゴリズムとデ…】 Pythonで学ぶアルゴリズムとデ…
辻 真吾／著,下… 【Rグラフィックスクックブック　：　…】 Rグラフィックスクックブック　：　…
Winston … 【アベベのぼうけん　：…おどろきの上巻】 アベベのぼうけん　：…おどろきの上巻
佐藤 雅彦／さく… 【江添亮のC++入門】 江添亮のC++入門
江添 亮／著 【発見!くらしのなかのプログラミン…3】 発見!くらしのなかのプログラミン…3
藤川 大祐／監修 【発見!くらしのなかのプログラミン…1】 発見!くらしのなかのプログラミン…1
藤川 大祐／監修 【発見!くらしのなかのプログラミン…2】 発見!くらしのなかのプログラミン…2
藤川 大祐／監修 【アルゴリズム理論の基礎】 アルゴリズム理論の基礎
宮崎 修一／著 【近似アルゴリズム　：　離散最適化問…】 近似アルゴリズム　：　離散最適化問…
浅野 孝夫／著 【girls who code　：　…】 girls who code　：　…
レシュマ・サウジ…
プログラミング(コンピュータ)
【有理算術演算　：　高精度数値計算の…】 有理算術演算　：　高精度数値計算の…
寒川 光／共著,… 【コンパクトデータ構造　：　実践的ア…】 コンパクトデータ構造　：　実践的ア…
ゴンザロ・ナバロ… 【動かして学ぶ!Rust入門】 動かして学ぶ!Rust入門
mebiusbo… 【ハイパフォーマンスPython】 ハイパフォーマンスPython
Micha Go… 【データ指向プログラミング　：　ソフ…】 データ指向プログラミング　：　ソフ…
Yehonath… 【Excel VBA<完全>入門】 Excel VBA<完全>入門
古川 順平／著 【Python言語によるプログラミン…】 Python言語によるプログラミン…
John V.G… 【プログラミング言語の形式的意味論入…】 プログラミング言語の形式的意味論入…
G.ウィンスケル… 【Pythonで学ぶ衛星データ解析基…】 Pythonで学ぶ衛星データ解析基…
田中 康平／著,… 【数学ソフトウェアの作り方】 数学ソフトウェアの作り方
高山 信毅／著,… 【Pythonではじめる音のプログラ…】 Pythonではじめる音のプログラ…
青木 直史／著 【初めてのGo言語　：　他言語プログ…】 初めてのGo言語　：　他言語プログ…
Jon Bodn… 【5さいからのプログラミングえほん　…】 5さいからのプログラミングえほん　…
石口 しんじ／著 【ロボットプログラミング実践入門　：…】 ロボットプログラミング実践入門　：…
布留川 英一／著 【サイバーセキュリティプログラミング…】 サイバーセキュリティプログラミング…
Justin S… 【ネットワーク自動化とプログラマビリ…】 ネットワーク自動化とプログラマビリ…
Jason Ed… 【高位合成によるFPGA回路設計】 高位合成によるFPGA回路設計
長瀬 雅之／共著… 【Designing Math.　：…】 Designing Math.　：…
古堅 真彦／著 【Code as Creative …】 Code as Creative …
ゴラン・レヴィン… 【セジウィック:アルゴリズムC第5部】 セジウィック:アルゴリズムC第5部
R.セジウィック… 【コンパイラ　：　原理と構造】 コンパイラ　：　原理と構造
大堀 淳／著 【Pythonで学ぶ音声合成】 Pythonで学ぶ音声合成
山本 龍一／著,… 【14歳からのプログラミング】 14歳からのプログラミング
千葉 滋／著 【無駄なマシーンを発明しよう!　：　…】 無駄なマシーンを発明しよう!　：　…
藤原 麻里菜／著… 【UNITYゲームプログラミング・バ…】 UNITYゲームプログラミング・バ…
森 哲哉／著,布… 【プログラミングC#】 プログラミングC#
Ian Grif… 【ダイテルPythonプログラミング…】 ダイテルPythonプログラミング…
PAUL DEI… 【プログラムはなぜ動くのか　：　知っ…】 プログラムはなぜ動くのか　：　知っ…
矢沢 久雄／著 【AI・データサイエンスのための図解…】 AI・データサイエンスのための図解…
松田 雄馬／著,… 【ゲームを動かす数学・物理R】 ゲームを動かす数学・物理R
堂前 嘉樹／著 【ゲームエンジンアーキテクチャ】 ゲームエンジンアーキテクチャ
ジェイソン・グレ… 【10才からはじめるプログラミング図…】 10才からはじめるプログラミング図…
キャロル・ヴォー… 【小学生から楽しむきらきらRubyプ…】 小学生から楽しむきらきらRubyプ…
高尾 宏治／著,… 【ゼロからはじめるデータサイエンス　…】 ゼロからはじめるデータサイエンス　…
Joel Gru… 【アベベのぼうけん　：…かんどうの下巻】 アベベのぼうけん　：…かんどうの下巻
佐藤 雅彦／さく… 【アイデアふくらむ探検ウォッチmic…】 アイデアふくらむ探検ウォッチmic…
倉本 大資／著 【空飛ぶプログラム　：　ドローンの自…】 空飛ぶプログラム　：　ドローンの自…
ドローンエモーシ… 【絵でわかるはじめてのプログラミング…】 絵でわかるはじめてのプログラミング…
石戸 奈々子／監… 【パーフェクトExcel VBA】 パーフェクトExcel VBA
高橋 宣成／著 【Pythonで学ぶアルゴリズムとデ…】 Pythonで学ぶアルゴリズムとデ…
辻 真吾／著,下…
前のページへ
トップページへ

本文はここまでです。

ページの終わりです。