| 学生番号 | 名前 | 指導教員 | 題目 | 要旨 |
|---|
| 080230350 | 大場康司 | 坂部俊樹 | 木準同型写像に基づく制約付き書換え系の等価性証明におけるSATソルバの利用 | PDF |
| 080330010 | 青山知由 | 坂部俊樹 | 動的監視によるプログラムの実行時安全化 | PDF |
| 080330380 | 笠嶋公一朗 | 結縁祥治 | WebブラウジングにおけるJavaScriptの漸進的なコード代替システム | PDF |
| 080430830 | 杉山阿聖 | 宮尾克 | 立体映像認知の加齢による影響と快適視環境の検討 | PDF |
| 080530770 | 小林裕幸 | 酒井正彦 | 整数上の線形制約に対する充足可能性判定ツールの実装と評価 | PDF |
| 080630510 | 加藤翔 | 石川佳治 | 科学データベースにおける関数近似問合せ処理の効率化に関する研究 | PDF |
| 080630812 | 河野貴文 | 間瀬健二 | マルチカメラシステムにおける選手軌跡を用いたサッカー選手の広範囲な追跡 | PDF |
| 080630898 | 佐藤亮介 | 石井克哉 | 三重対角行列を係数行列に持つ連立一次方程式の解法のスレッド並列化 | PDF |
| 080730027 | 青山桃子 | 高倉弘喜 | BPPM/AHES に基づく自動トラスト交渉基盤の開発 | PDF |
| 080730078 | 荒澤亮輔 | 渡邉豊英 | 半順序プラニングに基づいた物語作成支援 | PDF |
| 080730108 | 安藤聡 | 酒井正彦 | 難解言語Malbolgeにおける加算の効率よい実現について | PDF |
| 080730183 | 伊藤陽脩 | 間瀬健二 | モーションキャプチャを用いた動作比較のためのDPマッチング手法の検討 | PDF |
| 080730205 | 伊藤義浩 | 間瀬健二 | Android端末を用いた無線接続型ウェアラブルセンサネットワークによる状況認識 | PDF |
| 080730221 | 岩井一晃 | 石川佳治 | Twitter検索のためのキーワード推薦 | PDF |
| 080730230 | 岩崎裕太郎 | 高倉弘喜 | GPGCloudにおけるシミュレーション実行順序生成機構の開発 | PDF |
| 080730256 | 岩田直之 | 石井健一郎 | 対話エージェントのための発話候補絞り込み | PDF |
| 080730272 | 岩塚卓弥 | 阿草清滋 | 並行処理記述のためのDynAlloyの拡張 | PDF |
| 080730280 | 上本啓太 | 宮尾克 | 立体映像認知の分析と長時間視聴時の影響評価 | PDF |
| 080730299 | 梅岡利光 | 石井健一郎 | 株式市場における板情報からの特徴抽出 | PDF |
| 080730302 | 大井一展 | 坂部俊樹 | 部分項基準判定アルゴリズムの提案と実装 | PDF |
| 080730329 | 太田貴也 | 高田広章 | 組込み向け高信頼デュアルOSモニタのマルチコアアーキテクチャへの適用 | PDF |
| 080730337 | 大谷琢哉 | 大西昇 | 1チャンネルによる事象関連電位P300の検出と解析 | PDF |
| 080730353 | 大場貴之 | 大西昇 | ICレコーダで録音した音声中に含まれる雑音の除去 | PDF |
| 080730426 | 加藤寿和 | 高田広章 | ハードウェアの振舞いを考慮したスピンロックのモデル検査 | PDF |
| 080730450 | 金丸方律 | 渡邉豊英 | 音高の相対的な入力値による旋律の外在化支援 | PDF |
| 080730469 | 神谷洋貴 | 結縁祥治 | CRUD図を用いたユースケース記述変更の波及分析 | PDF |
| 080730477 | 河合健太 | 村瀬洋 | 部分空間法による顔パーツ検出と顔向き推定 | PDF |
| 080730507 | 岸本和也 | 高倉弘喜 | 期間別識別器の合成によるアノマリ型IDSの検知率改善 | PDF |
| 080730590 | 倉田佳佑 | 酒井正彦 | 静的依存対法の適用可能性判定アルゴリズムの効率化と実装 | PDF |
| 080730647 | 小林隆誠 | 外山勝彦 | 構文パターンに基づく法令ターミノロジーの構築 | PDF |
| 080730728 | 佐野峻太 | 宮尾克 | モバイル多言語医療アプリケーションの開発と評価 | PDF |
| 080730760 | 白須遼 | 石井健一郎 | 全方位カメラを用いた個人注目映像の生成方法 | PDF |
| 080730779 | 白砂光教 | 村瀬洋 | 誤検出特性を利用した非標識画像の自動収集による道路標識検出器の高精度化 | PDF |
| 080730795 | 水藤倫彰 | 森健策 | 3次元腹部CT像からの仮想胃展開像生成の自動化に関する研究 | PDF |
| 080730833 | 角谷昇一郎 | 間瀬健二 | サッカー視聴支援のためのマルチセンサを用いた選手行動の検出 | PDF |
| 080730884 | 高井康勢 | 阿草清滋 | コーディング規約違反に基づくソフトウェアメトリクス | PDF |
| 080730892 | 高木啓貴 | 大西昇 | L*a*b*色空間における色名候補の選択 | PDF |
| 080730957 | 棚瀬達央 | 長尾確 | 映像と論文の部分引用関係に基づく映像シーン検索の高度化に関する研究 | PDF |
| 080730981 | 鐘揚 | 高倉弘喜 | トラフィック変動に適応した高速クラスタリングによる不正検知 | PDF |
| 080731015 | 冨安史陽 | 間瀬健二 | 直方体型ジグを用いたカラーカメラとデプスカメラ間の座標較正法の検討 | PDF |
| 080731074 | 中堂園貴幸 | 阿草清滋 | Alloy解析器によるタスクスケジューリング解析 | PDF |
| 080731147 | 新家綾子 | 石井健一郎 | 遷移モデルを用いた小規模SNSの分析 | PDF |
| 080731198 | 丹羽南 | 宮尾克 | 小型3Dディスプレイの視認性評価 | PDF |
| 080731287 | 林和憲 | 高木一義 | 投票高々１衝突化と投票空間アクセス局所化に基づく画素並列LMedハフ変換回路 | PDF |
| 080731309 | 林泰宏 | 村瀬洋 | 複数の調理映像における動作の対応付け | PDF |
| 080731317 | 原拓 | 高田広章 | 組込み向けコンポーネントシステムを用いたRPCにおけるエラーリカバリ手法 | PDF |
| 080731392 | 伏見政晃 | 結縁祥治 | 大規模モデル検査を提供するWebサービスによる対話的ソフトウェア検証 | PDF |
| 080731430 | 藤谷隆宏 | 阿草清滋 | シーケンシャルパターンマイニングによるJavaScriptの代替コード発見 | PDF |
| 080731457 | 二村阿美 | 結縁祥治 | TOPPERS/ASPカーネルに対するソフトウェアモデル検査 | PDF |
| 080731511 | 前田啓太 | 渡邉豊英 | スライド作成スキル育成のための議論誘発支援 | PDF |
| 080731554 | 松村潤 | 高田広章 | 消費エネルギー削減のためのキャッシュウェイ数切替ポイントの抽出 | PDF |
| 080731597 | 水津美季 | 森健策 | 気管支鏡誘導システムにおける固有空間法を用いた内視鏡位置特定手法に関する研究 | PDF |
| 080731635 | 村瀬英俊 | 森健策 | フラクタル次元を用いた3次元胸部CT像からの気管支領域抽出精度改善に関する研究 | PDF |
| 080731643 | 村松沙那恵 | 阿草清滋 | Map-Reduceを用いたアプリケーションの設計法 | PDF |
| 080731716 | 山下訓昭 | 阿草清滋 | ファイルアクセス履歴から抽出した参照関係に基づくファイル検索手法 | PDF |
| 080731775 | 湯浅辰丸 | 石井健一郎 | 人工市場を用いたGARCH効果発生メカニズムの検証 | PDF |
| 080731783 | 吉田智成 | 村瀬洋 | 顔向き変化を考慮した超解像による低解像度顔画像認識 | PDF |
| 080731791 | 吉田英史 | 村瀬洋 | 生成型学習法を用いた姿勢変化に頑健な歩行者検出 | PDF |
| 080731813 | 渡邉賢 | 長尾確 | 小型無人移動体による個人用知的移動体のセンシング領域の拡張とその応用に関する研究 | PDF |
| 080731848 | 砂川未佳 | 大西昇 | 3D地図を利用した写真中の山名提示システム | PDF |