| 学生番号 | 名前 | 指導教員 | 題目 | 要旨 |
|---|
| 080930590 | 久保田直子 | 酒井正彦 | 成分分割を用いた投射モデル計数ソルバの閾値に対するモデル数の大小判定への拡張 | PDF |
| 081030282 | 内田和孝 | 酒井正彦 | 重み付きグラフの閉路の最大値に関する制約の充足可能性問題への変換法とそのパリティゲームへの応用 | PDF |
| 081030479 | 金子央 | 関浩之 | スマートフォンを用いた立体映像による眼疲労回復への効果 | PDF |
| 081030584 | 川本将也 | 関浩之 | XPath式からボトムアップ先読み付き決定性選択トップダウン木オートマトンへの変換 | PDF |
| 081130040 | 荒井秀育 | 大西昇 | OCRを用いた英文中の略語の意味推定システム | PDF |
| 081130317 | 岡本康佑 | 長尾確 | 会議参加者の議論能力の向上を目指した発言の自動評価に関する研究 | PDF |
| 081130341 | 畑中勇人 | 間瀬健二 | 8種類の変形表情に対する感情の認知 | PDF |
| 081130651 | 小松美穂 | 村瀬洋 | 高階調カメラを用いた極端な照明条件下の特定物体検出 | PDF |
| 081130716 | 斉藤航佑 | 外山勝彦 | 「昭和天皇実録」からの固有表現抽出 | PDF |
| 081130740 | 榊原巧也 | 石井克哉 | 4DCT画像による気流解析改善のための画像修正手法の提案 | PDF |
| 081130830 | 清水隆也 | 高田広章 | データマイニング技術を用いたC言語プログラムからのパターン違反検出 | PDF |
| 081131313 | 永井輝 | 外山勝彦 | 法令文書スキーマの自動変換に関する研究 | PDF |
| 081131453 | 東内悠亮 | 外山勝彦 | 英文官報からの対訳法令用語の抽出 | PDF |
| 081131488 | 平田雄大 | 外山勝彦 | 日英統計的機械翻訳における語順入れ替え範囲に関する研究 | PDF |
| 081230010 | 青木克憲 | 高田広章 | Ethernet AVB のセキュリティ分析と対策 | PDF |
| 081230060 | 安藤智仁 | 枝廣正人 | 自動運転システムにおける高精度地図情報を用いた軌道生成手法 | PDF |
| 081230117 | 池田良裕 | 枝廣正人 | Simulinkモデルから状態方程式・出力方程式の抽出 | PDF |
| 081230150 | 市橋友樹 | 結縁祥治 | Yampaプログラムの安全性検証のための振舞いモデル | PDF |
| 081230168 | 市村駿太郎 | 石井克哉 | 並列オフスクリーン可視化システムのノード内処理効率化 | PDF |
| 081230206 | 伊藤瑠哉 | 長尾確 | プログラミング学習支援のためのソースコードへのアノテーションとその利用に関する研究 | PDF |
| 081230273 | 岩間拓也 | 石井克哉 | 沿岸構造物の津波減災に向けたSPH-FEM連成解析システムの機能拡張に関する研究 | PDF |
| 081230320 | 梅澤侑生 | 長尾確 | 人物の3Dスキャニングの低コスト化を実現する移動ロボットを用いた3Dスキャニングシステムに関する研究 | PDF |
| 081230435 | 大宮陸 | 村瀬勉 | 並列転送アドホックネットワークに適したコンテンションウィンドウ制御方式 | PDF |
| 081230443 | 岡見健利 | 山本修一郎 | 促進型方針と抑制型方針がソフトウェアレビュー指摘に与える影響の分析 | PDF |
| 081230494 | 小野瀬良佑 | 加藤ジェーン | チョウの詳細認識のためのデータセットの作成および有用性の考察 | PDF |
| 081230508 | 柏原一輝 | 高田広章 | 車載システム向けGPUの評価 | PDF |
| 081230516 | 加藤大貴 | 村瀬洋 | オノマトペ表現に対応した歩容映像の識別 | PDF |
| 081230532 | 金山貴紀 | 石川佳治 | RDBを用いた複合イベント処理システムの開発 | PDF |
| 081230559 | 上野駿一郎 | 関浩之 | 立体映像の融像限界に対する連続視差の影響 | PDF |
| 081230575 | 川島昂之 | 村瀬洋 | 赤外線センサアレイを用いた人物行動認識 | PDF |
| 081230591 | 河田智明 | 高田広章 | OSの機能のTECSプラグインを用いたコンポーネント化 | PDF |
| 081230605 | 川端風貴 | 石川佳治 | 遷移型依存構造解析を用いた日本語文の語順整序 | PDF |
| 081230613 | 北啓司 | 結縁祥治 | ハイブリッドオートマトンを用いたドローン制御プログラムの導出 | PDF |
| 081230680 | 児玉翔 | 間瀬健二 | 距離画像センサを用いた安全“歩きスマホ”システムの検討 | PDF |
| 081230745 | 笹野智裕 | 関浩之 | ナローイングによる制約付き依存対変換の改良と実装 | PDF |
| 081230796 | 佐藤正人 | 高田広章 | Ethernet AVBにおける時刻同期プロトコルのFPGA実装・評価 | PDF |
| 081230818 | 柴田睦実 | 森健策 | ステレオ内視鏡画像からの臓器形状復元と手術ナビゲーションシステムへの応用に関する研究 | PDF |
| 081230826 | 清水南月 | 森健策 | Regression Forest を用いた膵臓領域の局所化に関する研究 | PDF |
| 081230834 | 清水遼 | 結縁祥治 | FDR3による時間並行システムのモデル検査 | PDF |
| 081230842 | 下野拓弥 | 関浩之 | 投射モデル計数におけるCNFの簡約化処理の効果 | PDF |
| 081230850 | 周天杰 | 関浩之 | 3D映像のクロストークが立体知覚に及ぼす影響 | PDF |
| 081230869 | 正田稔 | 山本修一郎 | モデルに基づく統一的な保証ケース作成手法の研究 | PDF |
| 081230974 | 滝本広樹 | 村瀬洋 | 地域別SNS投稿写真の画像内容に基づく特徴が類似する地域の検出 | PDF |
| 081231016 | 建部好輝 | 村瀬洋 | 複数フレーム特徴量を用いた低解像度LIDARによる歩行者検出 | PDF |
| 081231032 | 谷川右京 | 村瀬洋 | Deformable Part Modelsとパーツ追跡の統合による車椅子利用者の検出 | PDF |
| 081231059 | 對馬渓人 | 酒井正彦 | SAT型制約ソルバを利用した線形制約の整数解導出法について | PDF |
| 081231067 | 党舒元 | 長尾確 | A Study on Automatic Tagging for Extracting Meaning of Statements in Minutes | PDF |
| 081231075 | 遠山貴大 | 関浩之 | シースルー型HMDを用いたARによる作業効率向上への効果 | PDF |
| 081231083 | 飛山駿 | 村瀬勉 | Deep Neural Networkによるプロセスの振舞いに着目したマルウェア検出 | PDF |
| 081231130 | 仲田壮佑 | 結縁祥治 | 帰納的述語を含む分離論理のための循環証明体系における自動証明 | PDF |
| 081231156 | 中山亮太 | 関浩之 | オートマトンのクラス等価性証明のための制約付き項書換え系の構成法と補題等式の生成法の提案 | PDF |
| 081231172 | 長江悠太郎 | 酒井正彦 | An extension of proof graphs for disjunctive parameterised Boolean equation systems | PDF |
| 081231180 | 長柄快 | 森健策 | マイクロCT画像のマルチスケールレジストレーションに関する研究 | PDF |
| 081231237 | 西村卓 | 関浩之 | TopTreeによる木圧縮法の実装および直接問合せ処理法の提案 | PDF |
| 081231270 | 野村太輝 | 大西昇 | RGB-Dカメラ画像による一人称視点手指形状推定 | PDF |
| 081231296 | 橋口航 | 間瀬健二 | 開閉眼モダリティを組み入れた脳波フィードバックシステム | PDF |
| 081231300 | 橋本聡和 | 石川佳治 | 意味的な複合イベント処理を用いたライフログシステムの開発 | PDF |
| 081231393 | 林千尋 | 間瀬健二 | 布状圧力センサを用いた就寝姿勢の分類 | PDF |
| 081231415 | 林祐介 | 山本修一郎 | フィーチャモデルを用いたIT特許アイデア作成法の研究 | PDF |
| 081231466 | 日比雅仁 | 村瀬洋 | 輝度明滅による歩行者の強調が見つけやすさに与える影響の分析 | PDF |
| 081231474 | 平井健士 | 村瀬勉 | 車車間・歩車間通信におけるクラスタ通信方式による輻輳低減に関する研究 | PDF |
| 081231547 | 前田夏美 | 長尾確 | ゲーミフィケーションを適用した議論におけるプレイヤータイプ分類に関する研究 | PDF |
| 081231563 | 正木啓太 | 大西昇 | 三味線の音高と発音弦推定 | PDF |
| 081231580 | 水谷慎之介 | 酒井正彦 | 配列を入力引数とする関数における不正メモリ参照検出のための分離論理の拡張 | PDF |
| 081231598 | 水谷太貴 | 高田広章 | 次世代車載システム向けサービス指向ミドルウェアSOME/IPの応答性能評価 | PDF |
| 081231601 | 三井弘希 | 大西昇 | 携帯端末を用いた歩行経路推定および障害物認識 | PDF |
| 081231636 | 宮林凌太 | 山本修一郎 | 入出力分析に基づくコード保証方法 | PDF |
| 081231741 | 山田献二朗 | 枝廣正人 | 現実空間仮想化による自動運転情報提示手法の研究 | PDF |
| 081231830 | 羅天然 | 村瀬勉 | ソーシャルアドホックネットワークにおける親密度計算手法及びソーシャルネットワーク構造による特性評価 | PDF |
| 081231857 | 若林丈紘 | 山本修一郎 | 要求仕様書と設計書における語彙の差分と出現頻度の分析 | PDF |
| 081231865 | 渡辺大樹 | 大西昇 | 視覚障害者のための物体認識による商品情報の音声提示システム | PDF |
| 081231962 | 竹松慎弥 | 枝廣正人 | 永久磁石同期モータの予測制御アルゴリズム並列化 | PDF |
| 081231989 | 山腰貴大 | 外山勝彦 | 語彙の意味と機能の類似性に着目した法令文の並列構造解析 | PDF |