-
- ■産学連携
- 国際交流
- ダイバーシティ
- 情報理工学の創造的展開プロジェクト
- 受賞・表彰
| 情報数学 (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) |
| David A. Patterson, John L. Hennessy: パターソン&ヘネシー コンピュータの構成と設計 ハードウェアとソフトウェアのインターフェース 第5版 上巻, 2014 |
| David A. Patterson, John L. Hennessy: パターソン&ヘネシー コンピュータの構成と設計 ハードウェアとソフトウェアのインターフェース 第5版 下巻, 2014 |
| David A. Patterson, John L. Hennessy: Computer Organization and Design MIPS Edition, Fifth Edition: The Hardware/Software Interface, Morgan Kaufmann, 2013 |
| デジタル回路 (Digital Circuit) |
| David Money Harris, Sarah L. Harris: ディジタル回路設計とコンピュータアーキテクチャ（第2版）, 翔泳社, 2017 |
| David Money Harris, Sarah L. Harris: Digital Design and Computer Architecture, Second Edition, Morgan Kaufmann, 2012 |
| オペレーティングシステム (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 |
Copyright © 2019 Graduate School of Information Science and Technology, The University of Tokyo