| 学生番号 | 名前 | 指導教員 | 題目 | 要旨 |
|---|
| 080930620 | 桑原光司 | 石川佳治 | 時空間シミュレーションデータに対するデータウェアハウスの構築 | PDF |
| 080931537 | 淵上智史 | 高倉弘喜 | オンボードメモリを利用したFPGAによるTCPセッション特徴抽出手法 | PDF |
| 080931758 | 矢嶋真也 | 間瀬健二 | ヤスリがけ指導における訓練生の技能と指導内容の相関分析 | PDF |
| 081030096 | 安藤聡志 | 長尾確 | 複数議事録を対象とした議論のクラスタリングに関する研究 | PDF |
| 081030886 | 東雲智史 | 外山勝彦 | 法令文の可読性に関する定量的分析 | PDF |
| 081031076 | 高山隆之介 | 酒井正彦 | 関係データベースにおける問合せに関するl-多様性のモデル計数ソルバを用いた判定法 | PDF |
| 081031220 | 中野亜紀 | 石川佳治 | リアルタイムイベントに適応した位置情報アプリケーションの開発 | PDF |
| 081031432 | 平島侑人 | 坂部俊樹 | 未解釈関数記号を含む線形整数制約式からプレスブルガー算術式への充足可能性保存変換の実装 | PDF |
| 081130082 | 池田直史 | 大西昇 | 音源分離を用いた発話重複区間検出 | PDF |
| 081130112 | 石原鷹 | 坂部俊樹 | 拡張線形ボトムアップ木変換器の関数性の多項式時間判定 | PDF |
| 081130155 | 稲垣貴大 | 結縁祥治 | SpaceEX GUIから微分動的論理式への変換によるハイブリッドオートマトンの検証支援 | PDF |
| 081130171 | 今枝祐綺 | 村瀬洋 | 運転時のサブタスクを考慮した歩行者の見落としやすさ推定 | PDF |
| 081130180 | 今西洋二 | 石井克哉 | 沿岸構造物の津波減災に向けたSPH-FEM片方向連成解析に関する研究 | PDF |
| 081130201 | 岩田光平 | 宮尾克 | 電子書籍の可読性に対するコントラスト比の影響に関する研究 | PDF |
| 081130210 | 上杉正紀 | 関浩之 | XMLデータベースに対する木問合せのk-安全性検査法の拡張 | PDF |
| 081130287 | 太田裕貴 | 枝廣正人 | 高精度3次元地図を用いた経路追従 | PDF |
| 081130481 | 川原慶悟 | 高田広章 | 次世代車載ネットワークのためのCAN-Ethernet AVBプロトコル変換アルゴリズムの提案と評価 | PDF |
| 081130538 | 北原祐 | 高田広章 | 組込みシステム向け仮想化環境におけるOS間の影響評価 | PDF |
| 081130562 | 魏靖軒 | 高田広章 | HAZOP-based Security Analysis for Embedded Systems: Case Study of Open Source Immobilizer Protocol Stack | PDF |
| 081130619 | 黒田貴之 | 坂部俊樹 | 条件付き項書換え系の末尾再帰形への変換 | PDF |
| 081130627 | 河邉翔平 | 酒井正彦 | 増減演算を行う簡潔なMalbolge低級アセンブリプログラムの開発 | PDF |
| 081130635 | 小酒井款雄 | 外山勝彦 | 統計的モデルと翻訳メモリを併用した機械翻訳 | PDF |
| 081130678 | 近藤純平 | 山本修一郎 | モジュールを用いた安全性ケースの読解性向上手法についての考察 | PDF |
| 081130686 | 近藤匠 | 高倉弘喜 | BGPにおける経路設定ミスの要因分析とその対策手法に関する研究 | PDF |
| 081130848 | 下江衛 | 山本修一郎 | CAEによる議論分解パターンの記述法についての研究 | PDF |
| 081130856 | 新保祐人 | 村瀬洋 | 傘と歩行者の位置関係を考慮した生成型学習法による傘差し歩行者検出 | PDF |
| 081130899 | 杉山由芳 | 枝廣正人 | ナノプロセッサクラスタの評価と改良 | PDF |
| 081130910 | 鈴木寛大 | 石川佳治 | 半構造データマイニングを用いた構文木コーパスの誤り自動訂正に関する研究 | PDF |
| 081130953 | 鈴木豪仁 | 高田広章 | ロボット制御ミドルウェアROSにおけるメッセージ通信のリアルタイム性評価 | PDF |
| 081130961 | 鈴木涼介 | 坂部俊樹 | DPLL型モデル計数ソルバの投射モデル計数への拡張 | PDF |
| 081130988 | 世古純基 | 間瀬健二 | 記憶の想起と気付きを促す写真ネットワークの可視化 | PDF |
| 081131038 | 高橋和馬 | 村瀬洋 | 撮影角度による見えの違いに注目した料理写真の魅力度分析 | PDF |
| 081131054 | 瀧本祥章 | 石川佳治 | 並列分散処理技術を用いた最人気経路の探索に関する研究 | PDF |
| 081131275 | 中島聖斗 | 関浩之 | プライバシ保護のための射影分解法の実装とその評価 | PDF |
| 081131283 | 中野友貴 | 高田広章 | 車載向けリアルタイムOSにおける時間保護機能のHWタイマ支援による高速化 | PDF |
| 081131321 | 長尾貴浩 | 酒井正彦 | 制約によるパターン照合記述が可能な制約付き項書換え系の書換え完全性の判定法 | PDF |
| 081131348 | 西切充樹 | 大西昇 | Webカメラを用いた視線に基づく集中度の評価 | PDF |
| 081131399 | 野本聡史 | 長尾確 | 入退出カードのログとネットワーク接続情報を用いた部屋利用状況の予測推定に関する研究 | PDF |
| 081131402 | 畠真之 | 大西昇 | スマートフォンによる警告音検知システム ~連続的に変化する音の検知~ | PDF |
| 081131437 | 林大雅 | 間瀬健二 | 布センサを用いた肘関節角度推定における日常生活姿勢による較正法の検討 | PDF |
| 081131470 | 平岡祥 | 結縁祥治 | 二重値付き時間オートマトンを用いた非停止スケジューリングの最適平均利得の導出 | PDF |
| 081131496 | 蛭田将平 | 高倉弘喜 | トラフィックデータとバイナリのFuzzy Hash値に基づくマルウェア分類に関する研究 | PDF |
| 081131526 | 古橋拓人 | 高田広章 | パターンマイニング技術を用いた組込みプログラムからのイディオム検出 | PDF |
| 081131542 | 寳珠山裕 | 森健策 | 深層学習を用いた3次元腹部CT像におけるリンパ節領域認識に関する研究 | PDF |
| 081131569 | 細野佑介 | 森健策 | 3Dプリントされた現実化臓器モデルと仮想化臓器モデルを融合した診断手術支援手法を実現するためのユーザインタフェースに関する研究 | PDF |
| 081131607 | 桝井晃基 | 石井克哉 | Intel Xeon Phi Coprocessorを使用した行列の並列LU分解法に関する研究 | PDF |
| 081131631 | 水尻隼人 | 外山勝彦 | 法令文の並列構造解析のためのCFGの構築 | PDF |
| 081131690 | 向嶋宏記 | 村瀬洋 | 現在と過去の列車前方映像間のフレーム対応付けによる走行位置推定 | PDF |
| 081131763 | 山本尚平 | 枝廣正人 | モデルベース開発における実装段階での形式検証適用の研究 | PDF |
| 081131828 | 芳川毅也 | 宮尾克 | 前後運動する3D 映像とタブレット上の2D 映像の水晶体調節の比較 | PDF |
| 081131879 | 伊藤一希 | 山本修一郎 | 要求テンプレートを用いた組込み共通問題の記述法についての研究 | PDF |
| 081131895 | 小久保嘉人 | 加藤ジェーン | サーフェスレイアウトを用いた単眼カメラ映像からの路面位置推定 | PDF |