東京大学バナー(中) 東大 アラムナイ 寄付のご案内
| 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理学部情報科学科

学位論文 博士 (修了年度別)

2001年度以前の博士論文は情報科学科発行論文検索から検索下さい。

2009

種別 学位授与氏名 題目指導教員 専攻
課程博士2009/7/23中村 洋介Highly Fault-Tolerant Processor based on Heterogeneous Functional Units(ヘテロジニアス演算器構成による高耐故障プロセッサ実現方式)平木 敬コンピュータ科学専攻
課程博士2009/9/28原 忠義Efficient Domain Adaptation and Detailed Error Analysis of a Deep Parser(深い構文解析器の効率的な分野適応および詳細なエラー分析)辻井 潤一コンピュータ科学専攻
課程博士2010/3/12綱川 隆司PIVOTAL APPROACH FOR LEXICAL TRANSLATION(中間言語を用いた辞書の翻訳)辻井 潤一コンピュータ科学専攻
課程博士2010/3/24尾上 浩一VMM-BASED SYSTEMS FOR ENHANCING APPLICATION SECURITY (VMMを利用したアプリケーションプログラムの安全性を向上させるシステム)米澤 明憲コンピュータ科学専攻
課程博士2010/3/24岡本 泰英INTERACTIVE INFORMATION SHARING SYSTEM USING LARGE 3D GEOMETRIC MODELS(大規模3次元モデルを用いたインタラクティブ情報共有システム)池内 克史コンピュータ科学専攻
課程博士2010/3/24坂東 洋介SINGLE-SHOT IMAGE DEBLURRING WITH MODIFIED CAMERA OPTICS(カメラ光学系の加工による単一画像からのボケの除去)西田 友是コンピュータ科学専攻
課程博士2010/3/24松林 優一郎Automatic Semantic Role Labeling using Multiple Generalization Criteria of Semantic Roles(多様な意味役割の汎化指標を利用した自動意味役割付与)辻井 潤一コンピュータ科学専攻
課程博士2010/3/24山本 啓二A Study on Execution Time Analysis of Real-Time Tasks(実時間タスクの実行時間解析に関する研究)石川 裕コンピュータ科学専攻
課程博士2010/3/24上野 賢哉Stronger LP Bounds for Formula Size Lower Bounds(論理式サイズ下界に対する強化線形計画限界)今井 浩コンピュータ科学専攻
課程博士2010/3/24岡野原 大輔Large Scale Machine Learning for Practical Natural Language Processing(大規模機械学習による現実的な自然言語処理)辻井 潤一コンピュータ科学専攻
課程博士2010/3/24川本 裕輔Computationally Sound Formal Models for Cryptographic Protocols(暗号プロトコルの計算論的に健全な形式的モデル)萩谷 昌己コンピュータ科学専攻
課程博士2010/3/24ソンメル クリスチャンApproximate Shortest Path and Distance Queries in Networks(ネットワーク上の近似最短路クエリ)本位田 真一コンピュータ科学専攻
課程博士2010/3/24ゴ センチョウStatistical Machine Translation Using Large-Scale Lexicon and Deep Syntactic Structures(大規模辞書及び深い文法構造を用いた統計的機械翻訳)辻井 潤一コンピュータ科学専攻
課程博士2010/3/24孫 栩Efficient Inference and Training for Conditional Latent Variable Models(条件付隠れ変数モデルのための効率的な推論と学習)辻井 潤一コンピュータ科学専攻
論文博士2009/7/23須ア 有康Management Systems for Efficient Allocation of Computing Resources andTrustworthy Migration of Operating Systems(計算リソースの効率的な割り当てとオペレーティングシステムの確実なマイグレーションのための管理システム)米澤 明憲コンピュータ科学専攻
論文博士2010/3/12松葉 浩也A STUDY OF HIGH-QUALITY NETWORK TRANSMISSION ON COMPUTER CLUSTERS(計算機クラスタにおける高品質ネットワーク送信に関する研究)米澤 明憲コンピュータ科学専攻
page top

2008

種別 学位授与氏名 題目指導教員 専攻
課程博士2009/03/23八登 崇之Unified Method for Analyzing Complexity of Finding Another Solution(別解問題の計算量解析の統一的手法)今井 浩コンピュータ科学専攻
課程博士2009/03/23井尻 敬A SYNTHETIC APPROACH FOR DESIGNING BIOLOGICAL MODELS(生物モデルをデザインするための統合的なインターフェース)五十嵐 健夫コンピュータ科学専攻
課程博士2009/03/23稲葉 一浩COMPLEXITY AND EXPRESSIVENESS OF MODELS OF XML TRANSLATIONS(XML変換モデルの計算複雑性と表現力)細谷 晴夫コンピュータ科学専攻
課程博士2009/03/23海野 広志Dependent Type Inference for Program Verification(プログラム検証のための依存型推論)米澤 明憲コンピュータ科学専攻
課程博士2009/03/23金森 由博A STUDY ON EFFICIENT SAMPLING AND FAST RENDERING OF POINT-BASED IMPLICIT SURFACES(点群ベース陰関数曲面の効率的なサンプリングおよび高速な描画についての研究)西田 友是コンピュータ科学専攻
課程博士2009/03/23清 雄一DETECTION OF COMMUNICATION DISTURBANCES IN WIRELESS SENSOR NETWORKS(無線センサーネットワークにおけるメッセージ通信妨害攻撃の検知)本位田 真一コンピュータ科学専攻
課程博士2009/03/23西田 健志FACILITANTING COORDINATION IN COMPUTER-MEDIATED SOCIAL INTERACTION(コンピュータを利用した社会的相互作用における協調の促進)五十嵐 健夫コンピュータ科学専攻
論文博士2009/02/27美添 一樹AND-OR Tree Search Algorithms for Domains with Uniform Branching Factors(分岐因子が一様な探索空間のためのAND-OR木探索アルゴリズム)萩谷 昌己コンピュータ科学専攻
page top

2007

種別 学位授与氏名 題目指導教員 専攻
課程博士 2007/12/25安部 達也 Studies on Modal Calculi(様相計算に関する研究)萩谷 昌己 コンピュータ科学専攻
課程博士2008/3/24岡部 誠3D Graphics User Interface for Natural Phenomena(自然現象デザインのための3次元グラフィックスユーザインタフェースの研究)五十嵐 健夫コンピュータ科学専攻
課程博士2008/3/24加藤 公一Voronoi Diagrams for Quantum States and Its Application to a NumericalEstimation of a Quantum Channel Capacity(量子状態上のボロノイ図とその量子通信路容量の数値的評価への応用)今井 浩コンピュータ科学専攻
課程博士2008/3/24小林 正朋IMPROVING EVERYDAY GRAPHICAL USER INTERFACE OPERATIONS(日常的なグラフィカルユーザインタフェース操作の改善)五十嵐 健夫コンピュータ科学専攻
課程博士2008/3/24末永 幸平Type Systems for Formal Verification of Concurrent Programs(並行プログラムの形式的検証のための型システム)米澤 明憲コンピュータ科学専攻
課程博士2008/3/24長谷川 淳Theory and Experiment of the First Decoy State Quantum Key Distribution Guaranteeing Quantitative Security in the Real-World Settings(現実世界の設定下で定量的な安全性を初めて保証したデコイ法量子鍵配送の理論と実験)今井 浩コンピュータ科学専攻
課程博士2008/3/24広瀬 修Statistical inference of gene networks from time course gene expressionprofiles using state space models(状態空間モデルを利用した時系列遺伝子発現プロファイルからの遺伝子ネットワークの統計的推測)宮野 悟コンピュータ科学専攻
課程博士2008/3/24マーティ ニコラFormal Verification of Low-level Software(低レベルソフトウェアの形式的な証明)米澤 明憲コンピュータ科学専攻
課程博士2008/3/24田辺 良則Satisfiability judgments of modal logics and their application toverification problems(様相論理の充足可能性判定手続きと検証問題への応用)萩谷 昌己コンピュータ科学専攻
page top

2006

種別 学位授与氏名 題目指導教員 専攻
課程博士2006/7/20阿部 正佳 Research on Retargetable Code Generators(リターゲッタブルコード生成系の研究)萩谷 昌己 コンピュータ科学専攻
課程博士2006/10/5山本 泰智Studies on Document Clustering Considering Usres' Interests(利用者の視点を反映する医学生物学文献自動分類に関する研究)今井 浩コンピュータ科学専攻
課程博士2007/3/22石川 冬樹Agreement-based Cooperative Mobility in Service-Oriented Computing(サービス指向コンピューティングにおける合意に基づいた協調的な移動性)本位田 真一コンピュータ科学専攻
課程博士2007/3/22伊藤 剛志Bell inequalities and the cut polytope:Bridging quantum information science and combinatorial optimization(Bell 不等式とカット多面体: 量子情報科学と組合せ最適化の結合)今井 浩コンピュータ科学専攻
課程博士2007/3/22栗原 一貴A STUDY ON SOFTWARE TOOLS FOR FLEXIBLE PRESENTATIONS(柔軟なプレゼンテーションのためのソフトウェアの研究)五十嵐 健夫コンピュータ科学専攻
課程博士2007/3/22斉藤 太郎Purifying XML Structures(XML構造の純化)細谷 晴夫コンピュータ科学専攻
課程博士2007/3/22全 弘宇Mining Literature for Disease-Gene Relations(遺伝子-疾患関係概念の文献からのマイニング)辻井 潤一コンピュータ科学専攻
課程博士2007/3/22中山 裕貴Methods for Realizations of Oriented Matroids and Characteristic Oriented Matroids(有向マトロイドの実現を与える方法および特徴のある有向マトロイド)今井 浩コンピュータ科学専攻
課程博士2007/3/22フレデリクセン カール クリスチャンProgram Analysis by Size-Change Termination(サイズ変化停止性によるプログラム解析)萩谷 昌己コンピュータ科学専攻
課程博士2007/3/22松崎 和賢On the Ease of Deployment of Applications for Ambient Environments(アンビエント環境対応アプリケーションのデプロイメントについて)本位田 真一コンピュータ科学専攻
課程博士2007/3/22松ア 拓也Efficient HPSG Parsing with Supertagging and CFG-filtering(Supertagging とCFG−フィルタリングを用いた効率的なHPSG構文解析)辻井 潤一コンピュータ科学専攻
論文博士2006/4/6谷 誠一郎A Study on Algorithms for Efficient Multi-Point Communication in Autonomous Distributed Networks (自律分散ネットワークにおける効率的多地点間通信のためのアルゴリズムの研究)須田 礼仁コンピュータ科学専攻
論文博士2006/9/20大津 金光バイナリ変換処理によるマルチスレッド化に関する研究石川 裕コンピュータ科学専攻
page top

2005

氏名 題目 指導教員 専攻
下野 寿之 Analysis of the entanglement cost and calculation of the Holevo capacity (エンタングルメントコストの解析とホレボ容量の計算) 今井 浩 コンピュータ
科学
角越 和也 A fast protein-protein docking algorithm using orthonormal basis functions based on spherical harmonics (球面調和関数に基づく正規直交基底関数を用いたタンパク質間相互作用様式の           高速計算法) 清水 謙多郎 コンピュータ
科学
前田 俊行 Writing an operating system with a strictly typed assembly language (厳密に型付けされたアセンブリ言語を用いたオペレーティングシステムの記述) 米澤 明憲 コンピュータ
科学
金田 憲二 Middleware systems for enabling users to adapt to dynamic changes in execution environments (実行環境の動的な変化にユーザが適応することを可能にするためのミドルウェアシステム) 米澤 明憲 コンピュータ
科学
中岡 慎一郎 Learning from observation paradigm: leg task models for reproducing human dance motion on biped humanoid robots (観察学習パラダイム : 脚タスクモデルを用いた二足歩行ヒューマノイドロボットによる人の舞踊動作の再現) 池内 克史 コンピュータ
科学
西澤 弘毅 Algebraic structure for a modal fixed point logic and abstract interpretation (様相不動点論理と抽象解釈のための代数構造) 萩谷 昌己 コンピュータ
科学
増田 智仁 Registration and deformation of 3D shape data through parameterized formulation (パラメタ表現式に基づく三次元形状データの位置・形状合わせ) 池内 克史 コンピュータ
科学
藥師寺 あかね Relation information extraction using deep syntactic analysis (深い統語解析を用いた関係情報抽出) 辻井 潤一 コンピュータ
科学
ルガル フランソワ Resource-bounded quantum computation (資源制約下における量子計算モデルの計算能力) 今井 浩 コンピュータ
科学
森山 園子 Shelling orientations for polytopal complexes: deciding shellability and combinatorial structure of discrete optimization (多面体的複体のシェリング向き付け: シェラビリティー判定と離散最適化の組合せ構造) 今井 浩 コンピュータ
科学
page top

2004

氏名 題目 指導教員 専攻
大和田 茂 Practical Volume Graphics (実用的なボリュームグラフィックス) 五十嵐 健夫 コンピュータ
科学
大岩 寛 Implementation of a Fail-Safe ANSI C Compiler (安全なANSI Cコンパイラの実装手法) 米澤 明憲 コンピュータ
科学
大平 怜 REDUNDANCY ELIMINATION BEYOND DATA, CONTROL, AND EXCEPTION DEPENDENCY (データ、制御、および例外依存関係を越える冗長性除去) 平木 敬 コンピュータ
科学
工藤 俊亮 BALANCE MAINTENANCE FOR HUMAN-LIKE MODELS WITH WHOLE BODY MOTION (人型モデルのための全身動作を用いたバランス保持動作の生成) 池内 克史 コンピュータ
科学
菅原 豊 HIGH-SPEED STRING MATCHING METHOD FOR MULTI-STREAM PACKET SCANNING SYSTEMS (マルチストリームパケット検査機構向け高速文字列照合手法) 平木 敬 コンピュータ
科学
蓬来 祐一郎
(2005年4月授与)
Research on Network-aware Parallel Computing (計算機のネットワーク構造を考慮した並列計算の研究) 小柳 義夫 コンピュータ
科学
宮ア 大輔 Shape Estimation of Transparent Objects by using Polarization Analyses (偏光解析による透明物体の形状計測) 池内 克史 コンピュータ
科学
吉永 直樹 Collaborative and Corpus-Driven Approaches towards Lexicalized Grammar-Based Natural Lauguage Processing (語彙化文法による自然言語処理実現にに向けて − 共同的かつコーパスに基づくアプローチ) 辻井 潤一 コンピュータ
科学
チェン
エリック イファ
DEFENDING AGAINST DISTRIBUTED DENIAL OF SERVICE ATTACKS (分散サービス停止攻撃の対策方式) 米澤 明憲 コンピュータ
科学
page top

2003

氏名 題目 指導教員 専攻
風間 淳一 Improving Maximum Entropy Natural LanguageProcessing by Uncertainty-aware Extensions and Unsupervised Learning (最大エントロピー法に基づく自然言語処理の不確実性拡張と教師なし学習による改良) 辻井 潤一 コンピュータ
科学
高木 将通 Improving Cache Performance by Exploiting  Redundancy , Temporal Affinity ,and Reuse of Data (データの冗長性、時間的親和性、再利用を用いたキャッシュの性能向上) 平木 敬 コンピュータ
科学
高松 淳 Abstraction of Manipulation Tasks to Automatically Generate Robot Motion from Observation (ロボット動作の自動生成のための観察による手作業の抽象化に関する研究 ) 池内 克史 コンピュータ
科学
タン ロッビ
タントウィ
Illumination Color and Intrinsic Surface Properties  ‐‐Physics‐based Color Analyses from a Single Image‐‐ (照明光源色と物体固有の表面特性‐‐物理学に基づく単一画像からの色の解析‐‐) 池内 克史 コンピュータ
科学
ジョハン
ヘンリー
Blending 2D Shapes Using Progressive Approaches (プログレッシブ手法による2次元形状の補間) 西田 友是 コンピュータ
科学
山崎 俊太郎 Photo-realistic Rendering of Real-world Objects Based on Insufficient Measurement (不十分な計測情報に基づく実物体の写実的な画像合成) 池内 克史 コンピュータ
科学
オット ザーシャ Finding Optimal Models For Gene Networks (遺伝子ネットワークにおける最適なモデルの探索)  宮野 悟 コンピュータ
科学
page top

2002

氏名 題目 指導教員 専攻
浅野 泰仁 A NEW Framework for Link-based Information Retrieval from the Web
(リンクベースのWeb上情報発見手法の新しいフレームワーク)
今井 浩 情報科学
石関 隆幸 Computational Algebraic Analysis for Unimodular or Lawrence-Type Integer Programs(単模およびLawrence 型整数計画問題に対する計算代数的解析) 今井 浩 情報科学
品川 高廣 A Kernel Support of Fine‐grained Protection Domains for Open Distributed Systems(開放型分散システムのためのカーネルによる細粒度保護ドメイン) 清水 謙多郎
農学生命科学
研究科所属
情報科学
仲尾 由雄 STUDIES ON THEMATIC HIERARCHY DETECTION AND ITS APPLICATION FOR TEXT SUMMARIZATION(話題階層の検出とテキスト要約への適用に関する研究) 辻井 潤一 情報科学
吉田 稔 A METHOD FOR INFORMATION EXTRACTION FEOM TABLES AND LISTS (表形式と箇条書き形式からの情報抽出手法) 辻井 潤一 情報科学
陳 炳宇 Java-based Multiresolution Streaming Mesh with QoS‐like Controlling for Web graphics(ウェブグラフィックスのためのQoSを目指したJavaによる多重解像度ストリーミングメッシュ) 西田 友是
新領域創成科学
研究科所属
情報科学
page top


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