学位論文

2016年度

氏名 所属 課程 年月 論文題目
八木田 樹 東京大学
コンピュータ科学専攻
修士 2017年03月 類似裁判例分析手法の提案
崔 震 東京大学
創造情報学専攻
修士 2017年03月 テスト駆動ソースコード検索の高速化の提案
片江 将希 早稲田大学 修士 2017年03月 階層離散制御器合成によるマルチロボットシステムの仕様生成に関する研究
田邉 萌香 早稲田大学 修士 2017年03月 自己適応システムのための実行時環境モデル学習に関する研究
鶴貝 康男 早稲田大学 修士 2017年03月 合成サービスを用いたソフトウェアの潜在要求発見の支援手法に関する研究
小林 努 東京大学
コンピュータ科学専攻
博士 2017年03月 Event-Bモデルの詳細化構造の計画とリファクタリングの支援手法

2015年度

氏名 所属 課程 年月 論文題目
朝原 奈津未 東京大学
コンピュータ科学専攻
修士 2016年03月 3Dモデル編集のためのタブレットインターフェースと背面ジェスチャ入力の統合
中岡 淳登 東京大学
創造情報学専攻
修士 2016年03月 Ajaxアプリケーションの自動プログラム修正における効率的な修正空間探索
片木 智也 東京大学
創造情報学専攻
修士 2016年03月 Ajaxアプリケーションに対する効果的な二次の変異解析
時武 佑太 東京大学
創造情報学専攻
修士 2016年03月 GitHubにおけるプルリクエストマイニングを用いたコードレビュー時に発生するコード修正の予測
相澤 和也 早稲田大学 修士 2016年03月 実行時要求緩和のためのゲーム理論を応用した環境モデル分析手法に関する研究

2014年度

氏名 所属 課程 年月 論文題目
鈴木 貴之 東京大学
コンピュータ科学専攻
修士 2015年03月 N-gram 言語モデルによるメソッド名の評価と推薦
矢藤 康祐 東京大学
コンピュータ科学専攻
修士 2015年03月 フィードバック制御ランダムテスティング
植田 黄知 東京大学
創造情報学専攻
修士 2015年03月 Ajax Webアプリケーションに対する実証実験に基づく選択的な変異解析
李 駿 東京大学
創造情報学専攻
修士 2015年03月 複数台の台車型ロボットとの時間効率の高い連携による飛行ロボットの高速なタスク遂行
前澤 悠太 東京大学
コンピュータ科学専攻
博士 2015年03月 相互作用に着目したAjax Webアプリケーションの予防保守
穐山 空道 東京大学
創造情報学専攻
博士 2015年03月 仮想マシンライブマイグレーションの高効率化によるデータセンタ消費電力の削減
清水 遼 早稲田大学 博士 2015年03月 多段階モデル駆動開発を用いた無線センサネットワークソフトウェア開発手法に関する研究

2013年度

氏名 所属 課程 年月 論文題目
井上 裕貴 東京大学
コンピュータ科学専攻
修士 2014年03月 河川の外来種管理問題に対する種分化付UCT
徐 聖博 東京大学
コンピュータ科学専攻
修士 2014年03月 ロボットの制御器生成における高サンプリング効率なニューロエボリューションアルゴリズ
西浦 一貴 東京大学
コンピュータ科学専攻
修士 2014年03月 ミューテーション解析によるJavaScript Web アプリケーションのテスト支援

2012年度

氏名 所属 課程 年月 論文題目
鶴見 直樹 早稲田大学 修士 2013年03月 クラウドを動的に利用するWebサービス連携のための動作記述に関する研究
小林 努 東京大学
コンピュータ科学専攻
修士 2013年03月 Event-B におけるリファインメント戦略の計画に関する分析
神谷 翔一 東京大学
コンピュータ科学専攻
修士 2013年03月 ランダム探索JPF の同期
堀内 新吾 東京大学
コンピュータ科学専攻
修士 2013年03月 単語レベル特徴を用いた画像説明の自動生成
鳥海 晋 東京大学
コンピュータ科学専攻
博士 2013年03月 共有型無線センサネットワークにおける複数タスクへのセンサ割当て
森口 博貴 東京大学
コンピュータ科学専攻
博士 2013年03月 進化計算を用いた強化学習における政策探索とモデル学習
Adrian Helmut David Klein 東京大学
コンピュータ科学専攻
博士 2013年03月 ネットワークを考慮した長期間に渡るサービス合成におけるスケーラブルな最適化の適用
Valentina Baljak 東京大学
創造情報学専攻
博士 2013年03月 高密度データ無線センサネットワークのための耐故障性フレームワークの提案
Florian Stefan Wagner 東京大学
創造情報学専攻
博士 2013年03月 多目的のサービス合成における,機能クラスタリングの適用によるロバストなワークフローの構築
馬場 雪乃 東京大学
創造情報学専攻
博士 2012年05月 ソーシャルタギングからのことばが指し示す実世界対象の表現獲得

2011年度

氏名 所属 課程 年月 論文題目
清水 遼 早稲田大学 修士 2012年03月 無線センサネットワークアプリケーション開発におけるデータ品質最適化に関する研究
渡辺 敦 早稲田大学 修士 2012年03月 ヴィックレイオークションを利用したWebサービス選択アルゴリズムに関する研究
Mohammad Reza Motallebi 東京大学
コンピュータ科学専攻
修士 2012年03月 Trust Computation for Web Service Composition Using Bayesian Networks
前澤 悠太 東京大学
コンピュータ科学専攻
修士 2012年03月 インタラクションに着目した Rich Internet Applications のステートフルな振舞い抽出
穐山 空道 東京大学
創造情報学専攻
修士 2012年03月 メモリ再利用による仮想マシンライブマイグレーションの高速化
福地 大輔 東京大学
コンピュータ科学専攻
博士 2012年03月 Chordネットワークにおける配列の配置とアルゴリズム
Johan t. Nyström-Persson 東京大学
コンピュータ科学専攻
博士 2012年03月 進化可能なコンポーネント統合のためのJavaプログラミング言語拡張
高橋 竜一 早稲田大学 博士 2012年02月 メタデータを用いた合成意図に基づく協調プロトコル合成に関する研究

2010年度

氏名 所属 課程 年月 論文題目
木村 裕作 早稲田大学 修士 2011年03月 共有無線センサネットワークにおける類似タスクの統合に関する研究
片渕 聡 早稲田大学 修士 2011年03月 二段階マッチングによる効率的なWeb サービス合成に関する研究
須山 敦志 東京大学
コンピュータ科学専攻
修士 2011年03月 動的ネットワーク型進化アルゴリズム
平塚 信明 東京大学
創造情報学専攻
修士 2011年03月 同種サービスの併用を考慮した効率的なサービス選択
Rey Abe 東京大学
創造情報学専攻
博士 2010年09月 Adaptive Communication Protocols
for Wireless Sensor Networks

2009年度

氏名 所属 課程 年月 論文題目
中里 彦俊 早稲田大学 修士 2010年03月 計測精度と消費電力を考慮したトラッキングのためのセンサモデルの適用に関する研究
金木 陽一 東京大学
コンピュータ科学専攻
修士 2010年03月 無線センサネットワークにおけるブロードキャストを利用した相関データ圧縮
森口 博貴 東京大学
コンピュータ科学専攻
修士 2010年03月 進化型ニューラルネットワークのための振る舞いに基づくNiching手法の研究
鳥海 晋 東京大学
コンピュータ科学専攻
修士 2010年03月 経路情報を利用した複数タスクへのセンサ割当
Valentina Baljak 東京大学
創造情報学専攻
修士 2010年03月 仮想空間シミュレーションによる屋内無線センサネットワークの構築
山本 佳代子 東京大学
創造情報学専攻
修士 2010年03月 ユビキタスサービスのための物理的影響範囲に基づく設計モデル検査支援手法の提案
相川 光 東京大学
創造情報学専攻
修士 2010年03月 実行時情報を用いたライトバリア挿入支援
Christian Sommer 東京大学
コンピュータ科学専攻
博士 2010年03月 ネットワーク上の近似最短路クエリ

2008年度

氏名 所属 課程 年月 論文題目
中村 善行 早稲田大学 修士 2009年03月 省資源性を考慮した高精度トラッキングのためのセンサ選択手法に関する研究
福地 大輔 東京大学
コンピュータ科学専攻
修士 2009年03月 分散配列: 効率的な論理配列を実現するP2Pデータ構造
川俣 洋次郎 東京大学
創造情報学専攻
修士 2009年03月 形式言語の共用による記述容易性と仕様間の整合性検証の両立
馬場 雪乃 東京大学
創造情報学専攻
修士 2009年03月 Folksonomy上のタグが表す場所に関する概念の抽出
末永 俊一郎 総合研究大学院大学 博士 2009年03月 無線センサーネットワークにおける
プログラムの動的配備
清 雄一 東京大学
コンピュータ科学専攻
博士 2009年03月 無線センサーネットワークにおけるメッセージ通信妨害攻撃の検知

2007年度

氏名 所属 課程 年月 論文題目
河村 美嗣 早稲田大学 修士 2008年03月 MANETにおける消費電力を考慮した経路探索手法に関する研究
高橋 竜一 早稲田大学 修士 2008年03月 マルチエージェントシステムにおける協調プロトコル合成に関する研究
Eric Tschetter 東京大学
コンピュータ科学専攻
修士 2008年03月 コミュニケーションプロトコルのための、アプリケーションレベルタイムアウトのTimelessモデル化
清家 良太 東京大学
コンピュータ科学専攻
修士 2008年03月 無線センサネットワークにおける効率的なデータの選別と保存
辰見 龍 東京大学
コンピュータ科学専攻
修士 2008年03月 順序を保つ写像を用いた安全なVickreyオークションプロトコル
片岡 慧 東京大学
コンピュータ科学専攻
修士 2008年03月 複数ロボットのタスク割り当てのためのフレームワークの設計と実装
中川 博之 東京大学
創造情報学専攻
修士 2008年03月 IMPULSE:モデル変換によるマルチエージェントシステムの分析モデル構築
鄭 顕志 早稲田大学 博士 2008年03月 アドホックネットワークにおける処理の動的配置に関する研究

2006年度

氏名 所属 課程 年月 論文題目
石黒 真 早稲田大学 修士 2007年03月 センサーの資源制約を考慮したセンシングプログラムの退避に関する研究
Truong Khanh Quan 東京大学
コンピュータ科学専攻
修士 2007年03月 推薦システムの予測精度を上げる手法:ユーザ類似度の変動を安定させるアイテムクラスタリング
丹羽 智史 東京大学
コンピュータ科学専攻
修士 2007年03月 Folksonomyマイニングに基づくWebドキュメント推薦システム
Eric Platon 総合研究大学院大学 博士 2007年03月 Model of Exception Management in Multi-Agent Systems
松崎 和賢 東京大学
コンピュータ科学専攻
博士 2007年03月 アンビエント環境対応アプリケーションのデプロイメントについて
石川 冬樹 東京大学
コンピュータ科学専攻
博士 2007年03月 サービス指向コンピューティングにおける合意に基づいた協調的な移動性

2005年度

氏名 所属 課程 年月 論文題目
安藤 靖志 早稲田大学 修士 2006年03月 フェロモンモデルを利用した交通渋滞予測に関する研究
武藤 宏美 早稲田大学 修士 2006年03月 アドホックネットワークにおけるバッテリー残量を考慮したメッセージングルーティングに関する研究
NGUYEN Khanh Ngoc 東京大学
コンピュータ科学専攻
修士 2006年03月 Service Agreementの記述と管理フレームワーク
清 雄一 東京大学
コンピュータ科学専攻
修士 2006年03月 分散ハッシュテーブルにおけるAND検索時のトラフィック量削減

2004年度

氏名 所属 課程 年月 論文題目
鄭 顕志 早稲田大学 修士 2005年03月 MANET上における位置に特化した情報の省資源な収集提供に関する研究
苅部 卓哉 東京大学
コンピュータ科学専攻
修士 2005年03月 コンテンツ流通のためのモバイルエージェントフレームワーク
土肥 拓生 東京大学
コンピュータ科学専攻
修士 2005年03月 マルチエージェントシステムのためのインタラクション記述言語 IOM/T

2003年度

氏名 所属 課程 年月 論文題目
直原 正樹 早稲田大学 修士 2004年03月 携帯電話上アプリケーション向けスクリプトシステムの開発
松崎 和賢 東京大学
コンピュータ科学専攻
修士 2004年03月 モバイルエージエントを用いたユビキタスアプリケーション開発手法
石川 冬樹 東京大学
コンピュータ科学専攻
修士 2004年03月 モバイルエ-ジェントによるWebサービス連携

2002年度

氏名 所属 課程 年月 論文題目
金子 平祐 早稲田大学 修士 2003年03月 バッテリー切れに対応するためにモバイルエージェントを利用したアプリケーションの退避に関する研究