修士論文

H24 | H23 | H22 | H21 | H20 | H19 | H18 | H17 | H16 | H15 | H14 | H13 | H12 | H11

氏名 論文題目 指導教員
石田　保輝 High-Performance Intrusion Detection using OptiGrid Clustering and Grid-based Labelling
（OptiGridクラスタリングとGridを利用したラベリングによる高精度な異常検知）		 岡部寿男
石橋　聡 Design and Implementation of a Certified Document Delivery System without a Trusted Intermediate Authority
(信頼できる仲介者を必要としない電子文書配達証明システムの設計と実装)		 岡部寿男
大塚　琢馬 Real-time Audio-to-Score Alignment using Particle Filter for Co-player Music Robots
(共演者音楽ロボットのためのパーティクルフィルタを用いた実時間楽譜追従手法)		 奥乃博
大友　謙一 述語項構造の共起情報と節間関係の分布を用いた事態間関係知識の獲得 黒橋禎夫
大橋　洋輝 没入型環境における身体動作を用いた直感的ロボットWOZシステムの構築 西田豊明
加藤　祐輝 二階の量化子を含む型付きλ計算の型づけに関する決定問題 佐藤雅彦
川合　雄大 RNA配列の二次構造候補の列挙アルゴリズムの改善とその応用 山本章博
北村　慎吾 型緩和織込機構の形式化 五十嵐淳
黒川　勇輝 段階的文脈拡張による多義性解消 黒橋禎夫
黑田　真央 対称性制約を用いた多視点映像からの3次元顔形状復元と視線推定 松山隆司
小林　亮介 Motion History Volumeを使った３次元人物動作の編集 松山隆司
込山　悠介 Automatic Generation Method of Relational Graphs for Biomass Ontology Database from Multi Field Literatures
（バイオマスオントロジー・データベース構築に向けた 分野横断的な文献データ抽出および関係グラフの自動生成）		 後藤修
小山　亮 チンダル現象を用いた実物体の三次元形状及び双方向反射率分布関数推定 美濃導彦
佐久間　裕介 Inferring Strengths of Protein-Protein Interactions Using Support Vector Regression
(サポートベクター回帰を用いた、タンパク質結合強度の予測）		 阿久津達也
柴田　知輝 オンデマンド型家庭内直流送電網の設計と実装 岡部寿男
渋田　和宏 Webの著者説明ページの領域解析と時間判定による著者属性抽出 黒橋禎夫
樽本　祥憲 コンテンツ・他者への関心度推定に基づく二者間合意形成支援システム 松山隆司
土本　良樹 調理における切断加工時の荷重特徴を用いた食材認識 美濃導彦
中田　陽介 点予測と系列予測による形態素解析と固有表現抽出の分野適応 河原達也
秦　亮一 仮想クエリを用いた質問学習による文字列画像検索 山本章博
樋口　靖晃 複数三次元物体の認識を実現する神経回路モデル 乾敏郎
日下　航 神経力学モデルを用いたロボットによる言語と感覚運動系の統合的認知 尾形哲也
福村　貴志 木構造を利用した自然画像の部分領域検索とフラクタル圧縮・マイニングへの応用 山本章博
古谷　翔 体験共有型ワークショップにおける事例シーンを利用した話題提供エージェントの構築 角康之
本間　毅史 モデル検査法への詳細化概念の導入に基づくソフトウェア信頼性担保手法 山本章博
前澤　陽 Score-Aided Inference of Classical Music Interpretation
(楽譜を援用したクラシック音楽解釈の推論)		 奥乃博
松山　匡子 発語行為レベルの情報をユーザの意図解釈に用いた音声対話システム 奥乃博
真鍋　宏史 可変次数 Linear-Chain CRF の効率的な計算法 黒橋禎夫
三宅　峰 ユーザの選好構造の対話的形成法 西田豊明
望月　道章 構造を持った定型表現の自動獲得と機械翻訳での利用 黒橋禎夫
安良岡　直希 調波パラメトリックNMF及びIダイバージェンス規準残響推定に基づく音響信号モデリングとフレーズ置換への応用 奥乃博
吉次　孝太 時空間の姿勢制約を用いた受講者の姿勢系列推定 美濃導彦
吉野　幸一郎 述語項の類似度に基づく情報抽出・推薦を行う音声対話システム 河原達也
米谷　竜 映像の顕著性変動と視線運動の時空間相関分析に基づいた集中度推定 松山隆司
呉　昊 Introducing Dynamic Overloading to Featherweight GJ
Featherweight GJへの動的オーバーローディングの導入		 五十嵐淳
石　群 Multi-view human motion analysis in group communication
（グループコミュニケーションにおける人物動作の多視点映像分析）		 松山隆司
趙　楊 Computational Methods for Analyzing Tree-like Chemical Compounds
（木状の化学構造に対する情報解析手法）		 阿久津達也
ＸＩＯＮＧ　ＨＡＯ 人間の空間認知特性とそのモデル化の試み 乾敏郎
勝木　弘 参加者の非言語的反応と協調的アノテーションに基づくミーティングキャプチャシステム 角康之
大里　陽一 例外機構を持つ型付きラムダ計算におけるパラメトリシティ 佐藤雅彦