種別 |
学位授与 | 氏名 |
題目 | 指導教員 |
専攻 |
課程博士 | 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(計算機クラスタにおける高品質ネットワーク送信に関する研究) | 米澤 明憲 | コンピュータ科学専攻 |
種別 |
学位授与 | 氏名 |
題目 | 指導教員 |
専攻 |
課程博士 | 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木探索アルゴリズム) | 萩谷 昌己 | コンピュータ科学専攻 |
種別 |
学位授与 | 氏名 |
題目 | 指導教員 |
専攻 |
課程博士 |
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(様相論理の充足可能性判定手続きと検証問題への応用) | 萩谷 昌己 | コンピュータ科学専攻 |
種別 |
学位授与 | 氏名 |
題目 | 指導教員 |
専攻 |
課程博士 | 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 | 大津 金光 | バイナリ変換処理によるマルチスレッド化に関する研究 | 石川 裕 | コンピュータ科学専攻 |
氏名 |
題目 |
指導教員 |
専攻 |
下野 寿之 |
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
(多面体的複体のシェリング向き付け: シェラビリティー判定と離散最適化の組合せ構造) |
今井 浩 |
コンピュータ
科学 |
氏名 |
題目 |
指導教員 |
専攻 |
大和田 茂 |
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
(分散サービス停止攻撃の対策方式) |
米澤 明憲 |
コンピュータ 科学 |
氏名 |
題目 |
指導教員 |
専攻 |
風間 淳一 |
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
(遺伝子ネットワークにおける最適なモデルの探索) |
宮野 悟 |
コンピュータ 科学 |