コンピュータ科学

書籍リスト(Book List)

入試案内へ戻る
情報数学 (Information Mathematics)
榎本 彦衛: 情報数学入門, 新曜社, 1987
Rudolf Lidl, Gunter Pilz: Applied Abstract Algebra, Springer, 1998
数値計算(Numerical Algorithms)
久保田 光一: 工学基礎 数値解析とその応用, 数理工学社, 2010
E. クライツィグ (田村 義保 訳): 数値解析 (技術者のための高等数学 5), 培風館, 2003
Erwin Kreyszig: Advanced Engineering mathematics (Part E: Numerical Methods), John Wiley & Sons, 2011
離散数学 (Discrete Mathematics)
J. マトウシェック, J. ネシェトリル (根上 生也, 中本 敦浩 訳): 離散数学への招待 (上, 下), 丸善出版, 2002
Jiri Matousek, Jaroslav Nesetril: Invitation to Discrete Mathematics, Oxford University Press, 2009
アルゴリズムと計算量 (Algorithms and Complexity)
五十嵐 健夫: データ構造とアルゴリズム, 数理工学社, 2007
Robert Wayne, Kevin Sedgewick: Algorithms, Addison-Wesley, 2011
形式言語 (Formal Languages)
J. ホップクロフト, R. モトワニ, J. ウルマン (野崎 昭弘, 高橋 正子, 町田 元, 山崎 秀記 訳): オートマトン 言語理論 計算論 I (第2版), サイエンス社, 2003
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: Introduction to Automata Theory, Languages, and Computation (Chapters 1–7), Pearson, 2013
論理学 (Logic)
萩谷 昌己, 西崎 真也: 論理と計算のしくみ (1, 2, 4章), 岩波書店, 2007
Dirk van Dalen: Logic and Structure (Chapters 1–3, 7), Springer-Verlag, 2011
プログラミング言語論 (Programming Languages)
A. W. Appel (神林 靖, 滝本 宗宏 訳): 最新コンパイラ構成技法, 翔泳社, 2009
B. C. Pierce (住井 英二郎 監訳): 型システム入門 —プログラミング言語と型の理論— (1–5, 8–9, 22章), オーム社, 2013
Andrew W. Appel: Modern Compiler Implementation in ML, Cambridge University Press, 2004
Benjamin C. Pierce: Types and Programming Languages (Chapters 1–5, 8–9 and 22), The MIT Press, 2002
計算機アーキテクチャ (Computer Architecture)
D. パターソン, J. ヘネシー: コンピュータの構成と設計, 日経BP, 2014
David A. Patterson and John L. Hennessy: Computer Organization and Design, Morgan Kaufmann, 2013
オペレーティングシステム (Operating Systems)
A. Silberschatz, P.B. Galvin, G. Gagne (土居 範久 監訳): オペレーティングシステムの概念, 共立出版, 2010
Abraham Silberschatz, Peter B. Galvin, Greg Gagne: Operating System Concepts, 9th Edition, Wiley, 2013
機械学習 (Machine Learning)
杉山 将: 統計的機械学習 —生成モデルに基づくパターン認識, オーム社, 2009
中川 裕志: 機械学習, 丸善出版, 2015
Trevor Hastie, Robert Tibshirani, Jerome H. Friedman: The Elements of Statistical Learning, Springer, 2009
グラフィクス (Graphics)
コンピュータグラフィックス 改訂新版, CG-ARTS協会, 2015
Peter Shirley, Steve Marschner: Fundamentals of Computer Graphics, A K Peters, 2015
自然言語処理 (Natural Language Processing)
奥村 学: 自然言語処理の基礎, コロナ社, 2010
黒橋禎夫: 自然言語処理, 放送大学教育振興会, 2019
Dan Jurafsky and James H. Martin: Speech and Language Processing: International Edition, Pearson, 2008
バイオインフォマティクス (Bioinformatics)
A. ポランスキ, M. キンメル (後藤 修 訳): バイオインフォマティクス, 丸善出版, 2012
バイオインフォマティクス事典, 共立出版, 2006
Uri Alon (倉田 博之, 宮野 悟 訳): システム生物学入門 —生物回路の設計原理, 共立出版, 2008
Andrzej Polanski, Marek Kimmel: Bioinformatics, Springer, 2007
Neil C. Jones, Pavel A. Pevzner: An Introduction to Bioinformatics Algorithms, MIT Press, 2004
Uri Alon: An Introduction to Systems Biology: Design Principles of Biological Circuits, Chapman & Hall/Crc, 2006
Warren J. Ewens, Gregory R. Grant: Statistical Methods in Bioinformatics: An Introduction, Springer, 2010
コンピュータビジョン (Computer Vision)
ディジタル画像処理, CG-ARTS協会, 2015
Richard Szeliski: Computer Vision: Algorithms and Applications, Springer, 2011
ISTyくん