 |
| 情報数学 (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,
1999
|
|
| 離散数学 (Discrete Mathematics) |
|
J. マトウシェック, J. ネシェトリル (根上 生也, 中本 敦浩 訳):
離散数学への招待 (上, 下),
丸善出版，
2002
|
|
Jiri Matousek, Jaroslav Nesetril:
Invitation to Discrete Mathematics,
Oxford University Press,
1998
|
|
| アルゴリズムと計算量 (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,
2006
|
|
| 論理学 (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,
2011
|
|
| オペレーティングシステム (Operating Systems) |
|
A. Silberschatz, P.B. Galvin, G. Gagne (土居 範久 監訳):
オペレーティングシステムの概念,
共立出版,
2010
|
|
Abraham Silberschatz, Peter B. Galvin, Greg Gagne:
Operating System Concepts, 8th Edition,
Wiley,
2008
|
|
| 機械学習 (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,
2009
|
|
| 自然言語処理 (Natural Language Processing) |
|
奥村 学:
自然言語処理の基礎,
コロナ社,
2010
|
|
黒橋禎夫:
自然言語処理,
放送大学教育振興会,
2015
|
|
Dan Jurafsky and James H. Martin:
Speech and Language Processing: International Edition,
Pearson,
2008
|
|
| バイオインフォマティクス (Bioinformatics) |
|
A. ポランスキ, M. キンメル (後藤 修 訳):
バイオインフォマティクス,
丸善出版,
2012
|
|
N. C. ジョーンズ, P. A. ペブズナー (渋谷 哲朗, 坂内 英夫 訳):
バイオインフォマティクスのためのアルゴリズム入門,
共立出版,
2007
|
|
バイオインフォマティクス事典,
共立出版,
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
|
|
|
|
