東京大学バナー(中) 東大 アラムナイ 寄付のご案内
| ENGLISH | サイトマップ |
東京大学 大学院 情報理工学系研究科
交通アクセス・学内地図
訪問者別ご案内
受験・進学希望の方
留学生の方
(For International Students)
企業・一般の方
修了者の方
高校生の方
高校教員の方
大学生の方
教育と研究
研究科案内
各専攻・教員の紹介
 
コンピュータ科学
  数理情報学
  システム情報学
  電子情報学
  知能機械情報学
  創造情報学
フォーカス(2006〜2016)
ソーシャルICT研究センター
情報理工学国際センター
情報理工学教育研究センター
受賞
ソーシャルICTグローバル・クリエイティブリーダー育成プログラム
グローバル・クリエイティブリーダー 講義
enPiT
データサイエンティスト養成講座(領域知識創成教育研究プログラム)
計算科学アライアンス
創造情報学連携講座
産学連携(R2P/IST等)
情報理工関係イベント
国際交流
(International Cooperation)
他プログラム
科学研究ガイドライン
情報倫理ガイドライン
入学・進学案内 new !
学生支援制度
履修・学籍・諸手続案内
科目等履修生案内
東京大学学務システム(UTAS)
工学・情報理工学図書館
公募情報
ポータルサイト (内部のみ)
ISTクラウド (内部のみ)
研究倫理審査・広報 (内部のみ)
緊急連絡
緊急連絡ページ
関連学部
工学部
理学部
Home > 教育と研究 > 研究科案内 > 専攻と講義科目 > コンピュータ科学
教育と研究

コンピュータ科学 movie
専攻の目的Department Objective教員と研究室Faculty and Labs
講義学位論文(修士)学位論文(博士)
入試案内Admissions就職状況Careers理学部情報科学科

書籍リスト (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, 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
Chris Manning, Hinrich Schütze: Foundations of Statistical Natural Language Processing, MIT Press, 1999

バイオインフォマティクス (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

page top



大学院 情報理工学系研究科 お問い合せ先 東京大学