2016年3月修了 修士論文発表会プログラム 2016/2/1 (月) 会場：西8号館E棟10階計算工学専攻会議室（1004号室） 開始 終了 氏名 指導教員 9:00 9:40 伊藤 翔一朗 佐伯元司 ゴール指向とプロブレムフレームを用いた要求獲得手法の研究 9:40 10:20 根岸 由 佐伯元司 法律に適合した要求獲得のためのゴールモデル作成支援の研究 10:20 10:30 10:30 11:10 松田 淳平 佐伯元司 ソースコード編集操作の分析に基づくコミット構築支援手法の研究 11:10 11:50 陽 文樹 佐伯元司 コンポーネントの責務と依存制約に基づいたリファクタリング支援の研究 12:05 13:00 13:00 13:40 13:40 13:50 13:50 14:30 山口 賢一 徳田雄洋 Twitterにおける盛り上がりのパターンを考慮したバースト検出手法の研究 14:30 15:10 藤田 大介 徳田雄洋 マイクロサービスを用いたWebアプリケーション自動生成法の研究 15:10 15:20 15:20 16:00 宮邉 祐太郎 小林隆志 凝集度に着目したブロック線図モデルの設計品質改善支援手法 16:00 16:40 山森 章弘 小林隆志 細粒度操作履歴の分析に基づく開発行動推薦 16:40 17:20 丁 龍鎭 小林隆志 メソッド実行範囲分析に基づく軽量欠陥箇所特定手法 17:20 17:30 2016/2/3 (水) 2016/1/18 題目 休憩 休憩 小島 健太 徳田雄洋 ツイートとその付随情報を利用した反応解析手法の研究 休憩 休憩 休憩 会場：西8号館E棟10階計算工学専攻会議室（1004号室） 開始 終了 氏名 指導教員 11:05 11:45 TRAN HAI DANG 篠田浩一 11:45 13:00 13:00 13:40 新屋敷 裕太 横田治夫 デバイスミックスストレージシステムのワークロード特性を考慮したデータ配置に関する研究 13:40 14:20 保坂 智之 横田治夫 医療行為の支援に向けた電子カルテ情報のシーケンス解析手法に関する研究 14:20 14:30 14:30 15:10 三上 英明 横田治夫 細粒度アクセス制限下での集約検索結果の精度向上に関する研究 15:10 15:50 長谷川 雄大 金子晴彦 適応的消失訂正符号化とデータ圧縮によるディスクアレイの修復バンド幅の削減 2016/2/4 (木) 題目 Event detection using visual and textual information 休憩 休憩 会場：西8号館E棟10階計算工学専攻会議室（1004号室） 開始 終了 氏名 指導教員 題目 9:00 9:40 染谷 悠一郎 渡部卓雄 アクターモデルにおけるトランザクション処理の形式化に関する研究 9:40 10:20 鈴木 雄也 渡部卓雄 非決定性と並行性を備えたシステムの実行モデルとその縮小化手法 10:20 10:30 10:30 11:10 竹野 創平 渡部卓雄 アクターモデルに基づく言語における並行文脈志向プログラミング機構の実現 11:10 11:50 峰尾 太陽 渡部卓雄 時相論理を用いた連続システムの制御パラメタ決定 11:50 12:30 安武 祥平 渡部卓雄 定理証明支援系によるアクターシステムの検証 12:30 13:30 13:30 14:10 玉泉 隆嗣 西崎真也 RPC計算の抽象機械 14:10 14:50 野口 玲哉 西崎真也 JML に基づく形式的開発手法 14:50 16:00 16:00 16:40 田中 寛之 杉山将 対数密度勾配推定法を用いた半教師付きクラスタリングに関する研究 16:40 17:20 椎野 弘章 杉山将 Whitening-free Least-Squares Non-Gaussian Component Analysis 休憩 休憩 休憩 2016/2/5 (金) 会場：西8号館E棟10階計算工学専攻会議室（1004号室） 開始 終了 氏名 指導教員 13:00 13:40 加藤 悠 齋藤豪 13:40 14:20 松本 圭史朗 亀井宏行 電気探査における地下構造推定手法へのボロノイ分割の導入 14:20 15:00 南川 富 亀井宏行 キーワードに依らない情報探索手法の開発 2016/2/8 (月) 題目 劣化したコンクリートCGの生成手法に関する研究 会場：西8号館E棟10階計算工学専攻会議室（1004号室） 開始 終了 氏名 指導教員 9:00 9:40 大村 悠太 権藤克彦 形式的変換ルールによるプログラム自動要約手法 9:40 10:20 長田 真裕 権藤克彦 Eclipseのリファクタリングツールのチュートリアル作成によるツール使用者支援 10:20 10:30 10:30 11:10 牧原 健太郎 権藤克彦 Tuckmanモデルにおける騒乱期から規範期への移行の補助 11:10 11:50 ｷﾑ ﾐﾝｽ 権藤克彦 Robust Index Code: 画像と情報コンテンツを同時拡散可能にするコードマークシステム 11:50 13:00 13:00 13:40 奥村 開里 吉瀬謙二 SSDの並列性を引き出すI/Oスケジューラに関する研究 13:40 14:20 松田 裕貴 吉瀬謙二 An Efficient AMI-Based Cache System on FPGA Computer Systems 14:20 15:00 森 悠 吉瀬謙二 大規模FPGAを用いたヘテロジニアス構成のメニーコアソフトプロセッサ 15:00 15:10 15:10 15:50 小松田 卓也 宮崎純 コピュラを利用した情報検索に関する研究 15:50 16:30 永井 光 宮崎純 ハードウェアトランザクショナルメモリを利用した高性能データ構造に関する研究 16:30 16:55 16:55 17:35 2016/2/9 (火) 題目 休憩 休憩 休憩 休憩 芝崎 泰弘 篠田浩一 多人数環境下でのロボットとの対話における人間の退屈状態の検出 会場：西8号館E棟10階計算工学専攻会議室（1004号室） 開始 終了 氏名 指導教員 題目 9:00 9:40 KLAIR HAJRA 村田剛志 Sampling Quantities of Interest in Social Networks 9:40 10:20 TRURKTHAM KAELKRITTAYA 村田剛志 Community Structure in Directed Networks Based on Network Motifs 10:20 10:30 10:30 11:10 11:25 13:00 13:00 13:40 安尾 信明 関嶋政和 13:40 14:20 柳澤 渓甫 秋山泰 フラグメント分割に基づく高速な化合物プレドッキング手法の開発 14:20 15:00 大沼 俊輔 藤井敦 情報検索における視線情報を用いた適合性判定予測 15:00 15:40 杉本 憲哉 藤井敦 料理レシピを対象としたアウトライン自動生成 休憩 細包 愛子 村田剛志 コミュニティ抽出におけるコミュニティの自動ラベリング 休憩 相互作用エネルギーベクトル間の距離を用いたタンパク質-リガンド間ドッキングの精度向上に関する研究
© Copyright 2024 Paperzz
