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

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

教員と研究室

教員名 専門分野 教員室 講義名
萩谷 昌己 教授 計算理論・プログラム理論・数理論理学・プログラム言語論・ソフトウェア工学・形式手法・分子計算・生命分子計算・DNAコンピュータ 理7-203 計算システム検証論
今井 浩 教授 アルゴリズム論・離散構造・計算幾何・最適化・量子情報科学 理7-207 アルゴリズム論
須田 礼仁 教授 並列数値計算 理7-201 並列数値計算論
小林 直樹 教授 プログラミング言語・ソフトウェア検証 理7-505 計算機言語システム論
五十嵐 健夫 教授 ユーザインタフェース・コンピュータグラフィックス 理7-303 メディア情報学
杉山 将 教授 機械学習・統計的データ解析 理7-514 先端データ解析論
吉本 芳英 准教授 計算科学・並列シミュレーションソフトウエア(特に第一原理電子状態計算) 理7-209 学際計算科学特論
加藤 真平 准教授 オペレーティングシステム・リアルタイムシステム・並列分散システム 理7-501
佐藤 一誠 講師 統計的機械学習 理7-506 先端統計モデリング論
本多 淳也 講師 情報理論・機械学習 理7-406
宮野 悟 教授 DNA情報解析・計算量理論・機械学習と発見 医科研 DNA情報解析特論
中井 謙太 教授 遺伝子情報・ゲノム情報科学 医科研 ゲノム機能情報解析特論
井元 清哉 教授 ゲノム統計科学・マイクロアレイデータ解析 医科研 DNA情報解析特論
渋谷 哲朗 准教授 ゲノム解析・アルゴリズム論 医科研 配列解析アルゴリズム特論
山口 類 准教授 大規模データ解析・統計科学 医科研 システム生命情報学特論
Patil Ashwini 講師 生物情報科学・蛋白質構造分析・システム生物学 医科研 ゲノム機能情報解析特論
中田登志之 教授 並列アーキテクチャ、並列プログラミング言語、サイバーフィジカルシステムのアーキテクチャ SICT
清水 謙多郎 教授 生物情報科学・並列分散コンピューティング 農学生命 計算生物物理
高野 明彦 教授 プログランミングの代数・連想の情報学 NII プログラミング代数特論
本位田 真一 教授 エージェント・ソフトウェア工学 NII エージェントシステム特論
相澤 彰子 教授 テキストメディア・知識処理 NII テキストメディア特論
page top


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