教科書・参考書リスト

2024年度 本校・1-1期 (４月１２日～６月４日)(情報科学系科目)
科目番号
I111

科目名
アルゴリズムとデータ
構造

I112

計算機システムリテラ区分

請求記号書

名著

者／編者

浅野哲夫, 和田幸一, 増澤利光

出版

者

教科書

C42.1/ A

アルゴリズム論教科書

C42.1/ U

はじめてのアルゴリズム

上原隆平著

近代科学社, 2013

参考書

C44.2/ Y99

ユーザーズUNIX

斎藤信男 編

岩波書店, 1988

著

備考

オーム社, 2003

シー
Debra Cameron等 著、半田参考書

C46.1/ N

入門 GNU Emacs [第3版]

剣一、宮下 尚 監訳、新井 貴之、鈴木 和也 訳

I114

基礎情報数学参考書

C46.1/ O

LaTeX2e美文書作成入門 [改訂第5版]

参考書

C44.2/ K

UNIXプログラミング環境

参考書

410.3/ A / 1

新しい微積分 ; 上

参考書410.3/ A / 2

新しい微積分 ; 下

参考書

410.3/ S

理工系の微分積分学

奥村晴彦 著
B. W. Kernighan, R. Pike 著、石田晴久監訳
長岡亮介、渡辺浩、矢崎成俊、宮部賢志
長岡亮介、渡辺浩、矢崎成俊、宮部賢志
吹田信之、神保経彦

オライリー・ジャパン,2007
技術評論社, 2010
アスキー出版局, 1985
講談社, 2017
講談社, 2017
学術図書出版社, 1987
学内ネットワークからのみ閲
覧可能

参考書

410.4/ S / 1

解析入門 ; I

杉浦光夫著

東京大学出版会, 1980https://elib.maruzen.co.jp/elib/html/BookDetail/Id/30000
46843

I115

デジタル論理と計算機構成

参考書

410.9/ S

キーポイント線形代数

薩摩順吉、四ツ谷晶二著

岩波書店, 1992

参考書

410.9/ R

理系のための線型代数の基礎

永田雅宣（代表著者）

紀伊國屋書店, 1987参考書

410.9/ S

線型代数入門齋藤正彦著

東京大学出版会, 1966

教科書

C31.3/ H / 1

コンピュータの構成と設計(ハードウェアとソフトウェアのDavid A. Patterson、John L.

インターフェース) [第6版] ; 上巻

Hennessy著、成田光彰 訳

日経BP社, 2021

David Money Harris、Sarah
参考書

C31.3/ H

ディジタル回路設計とコンピュータアーキテクチャ [第2版] L. Harris著、天野英晴、中條

翔泳社, 2017

拓伯、鈴木貢、永松礼夫 訳
I119

データ分析のための情報統計学

I120

基礎論理数学

I211E

数理論理学(E)I212

情報解析学特論

I214

I225E

システム最適化

統計的信号処理特論(E)Johnson R.A., Bhattacharyya

参考書

412.5/ J

Statistics: Principles and Methods [7th ed.]参考書

410.9/ A

Linear Algebra Done Right [3rd ed.]Axler, S.

Springer, 2015

参考書

410.2/ K

楽しもう！数学を河添健、林邦彦

日本評論社, 2002

参考書

410.2/ H

直観でわかる数学 [正]畑村洋太郎

岩波書店, 2004

参考書

412.5/ T

統計学入門

参考書

412.5/ I

数理統計学 [改訂版]稲垣宣生

裳華房, 2003

参考書

411.1/ F

確率と確率過程 (金融工学の基礎 ;3)

伏見正則

朝倉書店, 2004

教科書

C22.3/ I

証明作法 : 論理の初歩から証明の実践へ

石原 哉（著）

共立出版, 2023

参考書

C22.3/ N

ろんりと集合中内伸光（著）

日本評論社, 2009

参考書

C22.3/ T

情報科学のための論理分析テクニック

戸田誠之助（著）

培風館, 2007

参考書

C22.4/ M

集合序説

本橋信義（著）

培風館, 2003

教科書

C22.3/ D

Logic and Structure [5th ed.]Dirk van Dalen

Springer, 2013

参考書

410.4/ H

フーリエ解析 (工学基礎演習シリーズ ; 1)

H.P.Hsu 著、佐藤 訳

森北出版, 1979

参考書

C21.1/ T

通信方式 (電子通信学会大学講座 ; 19)

瀧保夫著

コロナ社, 1963

参考書

410.4/ I

情報解析学

飯島泰蔵著

朝倉書店, 1988

参考書

C53.1/ O / 1

信号とシステム : アナログとディジタル ; 1

参考書

C53.1/ O / 2

信号とシステム : アナログとディジタル ; 2

参考書

412.6/ O

数理計画法 (TokyoTech Be-TEXT)

尾形わかは著

オーム社, 2010

参考書

412.6/ Y

数理計画法 (電子情報通信レクチャーシリーズ ; C-4)

山下信雄、福島雅夫著

コロナ社, 2008

参考書

412.6/ Y

最適化とその応用 : 工学基礎

矢部博著

数理工学社, 2006

参考書

412.6/ F数理計画入門 (システム制御情報ライブラリー ; 15)

福島雅夫著

朝倉書店, 1996

参考書

C23.1/ F

参考書

411.1/ P

参考書

C53.1/ K

G.K.

東京大学教養学部統計学教室（編集）

Algorithmic Principles of Mathematical Programming(Kluwer texts in the mathematical sciences ; v. 24)
Probability, random variables, and stochastic processes[3rd ed.]Estimation theory (Fundamentals of Statistical Signal
Processing ; v.1)

1/2

A.V.オッペンハイム,A.S.ウィ
ルスキイ著 ; 伊達玄訳
A.V.オッペンハイム,A.S.ウィ
ルスキイ著 ; 伊達玄訳

Wiley, 2014

東京大学出版会, 1991

コロナ社, 1985
コロナ社, 1985

Ulrich Faigle, W. Kern, G. Still Springer, 2002A. Papoulis

McGraw-Hill, 1991

Steven M. Kay

Prentice Hall, 1993

教科書・参考書リスト

2024年度 本校・1-1期 (４月１２日～６月４日)(情報科学系科目)
科目番号
I232E

科目名

区分

請求記号書

名著

者／編者

出版者

備

考

学内ネットワークからのみ閲

情報理論(E)
参考書

C21.1/ C

Elements of Information Theory [2nd ed.]Thomas Cover and Joy
Thomas覧可能Wiley, 2006

https://onlinelibrary.wiley.com/book/10.1002/047174882
X

I233

オペレーティングシス
テム特論

I235

ゲーム情報学特論

教科書

C44.1/ H

モダンオペレーティングシステム [第2版]

教科書

C44.1/ S

Operating System Concepts [8th ed.]

参考書

C51 / G

参考書

C51 / T

Andrew S. Tanenbaum著、水 ピアソン・エデュケー
野忠則訳

ション・ジャパン, 2004

Abraham Silberschatz, Peter John Wiley & Sons,
Baer Galvin, Greg Gagne

2009

ゲームAI研究の新展開

伊藤毅志編著

オーム社, 2023

イラストで学ぶ人工知能概論

谷口忠大

講談社, 2014
学内ネットワークからのみ閲

参考書

C51 / Y

Georgios N. Yannakakis andArtificial Intelligence and Games

Julian Togelius

Springer, 2018

覧可能https://doi.org/10.1007/9783-319-63519-4

I237

形式言語とオートマトン

参考書

J. Hopcroft， J. Ullman， R.

C23.2/H86 / 1 オートマトン 言語理論 計算論 ; I [第2版]

Motowani著

サイエンス社, 2003

M. Sipser著、太田和夫・田中
参考書

C23.2/ S / 1

オートマトンと言語 (計算理論の基礎 ;1)

圭介・阿部正幸・植田広樹・ 共立出版, 2008
藤岡淳・渡辺治訳

I486S

参考書

C23.2/ S/ 2

計算可能性の理論 (計算理論の基礎 ; 2)

参考書

C23.2/ S/ 3

複雑さの理論 (計算理論の基礎 ; 3)

M. Sipser著 ; 阿部正幸, 植田広樹, 藤岡淳, 渡辺治訳
M. Sipser著 ; 阿部正幸, 植田広樹, 藤岡淳, 渡辺治訳
Ronald Cramer, Ivan Bjerre

秘密計算
参考書

C21.2/ C

Secure Multiparty Computation and Secret SharingDamgård, and Jesper Buus
Nielsen

共立出版, 2008
共立出版, 2008
Cambridge University
Press, 2015
Web上で閲覧可能

参考書-

R. Cramer, I. Damgaard, J. Nielsen "Multiparty
computation, Introduction"-"Completeness Theorems for Non-Cyptographic FaultTolerant Distributed Computation" in STOC88, pp. 1-10

参考書

参考書--t/publication/226390713_Mu
ltiparty_Computation_an_Intr

M. Ben-Or, S. Goldwasser and A. Wigderson
参考書

https://www.researchgate.neoduction#full-text
学内ネットワークからのみ閲
覧可能
https://dl.acm.org/doi/pdf/1
0.1145/62212.62213
学内ネットワークからのみ閲

Ronald Cramer, Ivan Damgaard and Ueli M. Maurer

覧可能"General Secure Multi-party Computation from any Linear

https://link.springer.com/cha

Secret-Sharing Scheme" in EUROCRYPT2000, pp 316-334

pter/10.1007/3-540-45539-

Ronald Cramer, Ivan Damgaard and Yuval Ishai "Share6_22
Web上で閲覧可能

Conversion,Pseudorandom Secret-Sharing andhttps://www.iacr.org/cryptod

Applications to Secure Computation", in TCC2005, pp 342-

b/archive/2005/TCC/3618/3

362618.pdf

2/2