| 学生番号 | 名前 | 指導教員 | 題目 | 要旨 |
|---|
| 080531334 | 林健史 | 大西昇 | 有彩色領域が無彩色領域の見え方に与える影響の測定 | PDF |
| 080631746 | 山本祐輝 | 石井克哉 | 定数項の異なる三重対角係数行列を持つ連立一次方程式の並列解法の比較 | PDF |
| 080931065 | 谷口隆太郎 | 石井克哉 | 気管支の4Ｄモデルの生成 | PDF |
| 080930883 | 杉浦健人 | 石川佳治 | 移動ロボットデータベースにおけるモニタリング問合せ処理に関する研究 | PDF |
| 080930972 | 高橋正和 | 石川佳治 | 時空間イベントを扱う複合イベント処理システムの開発 | PDF |
| 080931030 | 田中麻祐子 | 石川佳治 | 推敲支援のための日本語文の語順整序 | PDF |
| 080931154 | 中村晃 | 石川佳治 | Wikipediaの著者のバイアスに基づくクラスタリング | PDF |
| 080830030 | 油谷創 | 枝廣正人 | 階層構造を持つメニーコアアーキテクチャへのタスクマッピング | PDF |
| 080931235 | 成瀬有美 | 枝廣正人 | イベントドリブンプロセッサにおける複数トラフィックを仮定した通信性能評価とタスク配置 | PDF |
| 080931421 | 平林学人 | 枝廣正人 | GPGPUのためのプログラム構造に着目した高速化アプローチ | PDF |
| 080931847 | 山田竜正 | 枝廣正人 | ソースコードからのSSAグラフを用いた静的な命令レベルの並列度解析 | PDF |
| 080930026 | 青木栄太 | 大西昇 | 利用可能な教師に応じた適応的線形次元圧縮の提案 | PDF |
| 080930727 | 近藤律 | 大西昇 | AR技術を用いた組み立て作業支援における情報提示法に関する研究 | PDF |
| 080931561 | 堀池一希 | 大西昇 | 要約筆記文改善のための講義中の指示対象物挿入法に対する評価 | PDF |
| 080931600 | 松永啓嗣 | 大西昇 | 局所特徴量と領域特徴量の併用による画像内類似オブジェクトの検索 | PDF |
| 080930409 | 片岡巧 | 酒井正彦 | 手続き型プログラムから制約付き項書換え系への停止性保存変換に関する研究 | PDF |
| 080930441 | 加藤起騎 | 酒井正彦 | 難解言語Malbolgeのワード長の拡大とそのプログラミング支援ツール | PDF |
| 080930450 | 加藤友郁 | 酒井正彦 | 条件付き項書換え系における書換え規則の決定化のための条件部の並び替えアルゴリズム | PDF |
| 080930611 | 栗木隆太朗 | 酒井正彦 | Erlang言語を用いて実装した完備化手続きにおける並列実行の評価 | PDF |
| 080931219 | 永塚尚紀 | 酒井正彦 | 項書換え系における多項式解釈法のためのSAT/SMT符号化に関する研究 | PDF |
| 080731856 | 林篤弘 | 坂部俊樹 | 「.」メタ文字を含む正規表現の同値判定に関する研究 | PDF |
| 080731694 | 薮田信 | 高倉弘喜 | 近距離無線通信での自動トラスト交渉による柔軟な会員認証システムの開発 | PDF |
| 080931448 | 廣野壮志 | 高倉弘喜 | 適応的パケット誘導方式によるマルウェア動的解析環境の開発 | PDF |
| 080931634 | 三木太一 | 高倉弘喜 | IPv6アドレス監視システムを用いたネットワーク異常の早期検知手法 | PDF |
| 080931863 | 吉田慎吾 | 高倉弘喜 | クラウドサービスを用いたパラメータサーベイ機構の開発 | PDF |
| 080631177 | 出口雅也 | 高田広章 | 組込みコンポーネントシステムを用いたRPCの実機実装と評価 | PDF |
| 080931626 | 三浦功也 | 高田広章 | 組込みシステム向け仮想化環境を用いた汎用OSの監視機構 | PDF |
| 080931642 | 水口信秀 | 高田広章 | 組込みソフトウェアのための低消費エネルギー化フレームワークの実機評価 | PDF |
| 080931740 | 森實宏之 | 高田広章 | 再構成可能ハードウェア向け動作合成記述の改善手法 | PDF |
| 080831613 | 村神匠 | 外山勝彦 | 浅い構文解析に基づく法令ターミノロジーの構築 | PDF |
| 080930212 | 井上慧 | 長尾確 | 学術論文からの研究資源情報の自動抽出に関する研究 | PDF |
| 080930603 | 久保田芙衣 | 長尾確 | 複数移動体の安全走行のための移動体間の連携・協調に関する研究 | PDF |
| 080930689 | 小林尚弥 | 長尾確 | 発表中のプレゼンテーションスライドに対する効果的なフィードバック手法に関する研究 | PDF |
| 080931294 | 西脇雅幸 | 長尾確 | ビデオスクラップブックによる映像シーンの作成と利用に関する研究 | PDF |
| 080930050 | 朝倉淳 | 間瀬健二 | 視聴履歴を用いた多視点映像の視点遷移予測モデルの検討 | PDF |
| 080930239 | 岩月厚 | 間瀬健二 | サッカー指導者の注視行動の分析 -動的対象との関連性- | PDF |
| 080930344 | 大橋勇介 | 間瀬健二 | 足圧中心位置の軌跡を用いた歩行識別 | PDF |
| 080930921 | 鈴木嵩史 | 間瀬健二 | 特徴選択およびセルフトレーニングによるドメイン適合を用いた行動認識器の学習 | PDF |
| 080931081 | 田ノ上大志 | 間瀬健二 | 釘付け視聴方式を用いて編集した多視点映像の評価 | PDF |
| 080830684 | 小飯塚達也 | 宮尾克 | 電子書籍の可読性に対する環境照度の影響 | PDF |
| 080930816 | 佐藤夏実 | 宮尾克 | 移動物体注視時の調節応答 | PDF |
| 080930042 | 浅井康博 | 村瀬洋 | 監視カメラで撮影された人物画像からの手荷物の所持判定 | PDF |
| 080930425 | 加藤光佑 | 村瀬洋 | ニューストピックにおける主要なストーリ遷移の推定 | PDF |
| 080930670 | 小塚亨 | 村瀬洋 | 車内視点映像からの障害物を含まない風景画像合成 | PDF |
| 080931073 | 谷繁龍之介 | 村瀬洋 | 運転支援のための歩行者の見つけやすさ推定における個人適応化 | PDF |
| 080931545 | 細野峻司 | 村瀬洋 | 赤外線センサアレイを用いた複数点熱源の位置推定 | PDF |
| 080931596 | 松長大樹 | 村瀬洋 | 大量の画像付き料理レシピの学習による料理画像中の素材推定 | PDF |
| 080931910 | 富田大志 | 村瀬洋 | スポーツハイライト映像作成のためのTwitter熱狂度に基づくイベント検出 | PDF |
| 080930654 | 古閑楠人 | 森健策 | 3次元腹部CT像からの胆道自動抽出に関する研究 | PDF |
| 080930719 | 近藤弘明 | 森健策 | 磁気センサおよび3次元腹部CT像の芯線情報を用いた大腸内視鏡トラッキング手法の開発 | PDF |
| 080931618 | 松村昌典 | 山本修一郎 | ディペンダビリティ用語辞書構築方法の研究 | PDF |
| 080831320 | 西木悠 | 結縁祥治 | 確率的モデル検査による実時間システムの検証 | PDF |
| 080931170 | 中村陽介 | 結縁祥治 | プログラム検証器Depcegarに対する再帰データ構造への拡張 | PDF |
| 080931430 | 廣田樹 | 結縁祥治 | 優先度ガード付きCCSシミュレータ | PDF |
| 080931707 | 村瀬晃弘 | 結縁祥治 | 依存型を用いた高階関数型プログラム検証器の多相型への拡張 | PDF |
| 080931731 | 森祐馬 | 渡邉豊英 | 需要の変化に基づいたバイクシェアリングシステムにおける自転車再配置手法 | PDF |
| 080931855 | 吉田和史 | 渡邉豊英 | 学習教材作成のための英文法知識の表現法 | PDF |