| 学生番号 | 名前 | 指導教員 | 題目 | 要旨 |
|---|
| 081031300 | 長谷川洋右 | 長尾確 | RGB-Dカメラと機械学習を用いたテニスのスイングフォームの評価に関する研究 | PDF |
| 081031335 | 早川裕斗 | 酒井正彦 | 関数型プログラムの停止性証明器への項到達不能性の十分条件の実装 | PDF |
| 081130309 | 大竹史紘 | 高田広章 | ヘテロジニアスプロセッサ向け通信ライブラリMDCOM | PDF |
| 081131429 | 波多野友貴 | 枝廣正人 | LLVMを用いたC言語構造抽出と並列実行時誤作動検出 | PDF |
| 081230621 | 木村海斗 | 片桐孝洋 | ノン・ブロッキング通信を用いたプラズマ乱流解析コードの性能評価 | PDF |
| 081231040 | 塚本大地 | 山本修一郎 | インターネットサービス構築法のモデル化に関する研究 | PDF |
| 081231768 | 山田智也 | 戸田智基 | 歌声の性質を考慮した楽曲の低ランク音源分離に基づく歌声抽出法 | PDF |
| 081231849 | 李瑞徳 | 山本修一郎 | A Tool to Reduce Change Cost of Testing Resources | PDF |
| 081231873 | 渡辺稜太 | 山本修一郎 | Twitter,LINE,Facebook,InstagramにおけるSNS成長パターンについての研究 | PDF |
| 081330022 | 渥美裕貴 | 間瀬健二 | 心身マルチタスク状況下におけるタスク負荷評価の検討 | PDF |
| 081330030 | 雨宮祥子 | 加藤ジェーン | CNNを用いた人の第一印象の自動推定 | PDF |
| 081330057 | 飯室崇晃 | 金森敬文 | 非負値行列因子分解におけるロバスト性の検証 | PDF |
| 081330103 | 石野正敏 | 高田広章 | ミックスドクリティカルシステム向けイーサネットコントローラ共有機構 | PDF |
| 081330146 | 伊藤克恭 | 村瀬勉 | IoT向けプロトコルのためのハニーポットシステム | PDF |
| 081330197 | 伊藤大地 | 高田広章 | IoT機器向け組込みマイコンの省電力機能の評価 | PDF |
| 081330243 | 井上鉄也 | 結縁祥治 | モジュール間の契約監視機構をもつ高階プログラミング言語に対するトレース意味論 | PDF |
| 081330278 | 今川雄太 | 結縁祥治 | 置換簡約を含む値呼びラムダ計算に対する合成的Z定理を用いた合流性証明 | PDF |
| 081330324 | 内野達貴 | 戸田智基 | ガンマ分布による変調スペクトルモデリングを用いた音声パラメータ生成法 | PDF |
| 081330359 | 梅本凌汰 | 結縁祥治 | Scribble言語を用いた通信プロトコル仕様の振舞いを表す通信有限状態機械の可視化 | PDF |
| 081330383 | 大隅彰太 | 工藤博章 | 視線計測を用いた視野検査における固視点の注視誤差の補正 | PDF |
| 081330413 | 岡本卓也 | 高田広章 | SW/HW協調設計ツールを用いたDNNによる手書き文字認識プログラムの実装 | PDF |
| 081330502 | 勝田健斗 | 石川佳治 | セマンティックWeb技術に基づく意味的な移動軌跡の表現と問合せに関する研究 | PDF |
| 081330537 | 金澤慶明 | 関浩之 | 項書換え系への変換による条件付き項書換え系の停止性証明法の有効性の評価 | PDF |
| 081330588 | 河井悠佑 | 石川佳治 | 大規模シミュレーションデータの対話的分析のためのデータベース技術に関する研究 | PDF |
| 081330618 | 川崎綾也 | 村瀬勉 | 衝突警告アプリケーションにおける車車間・歩車間通信のLTEでの実現可能性に関する研究 | PDF |
| 081330626 | 北垣修 | 加藤ジェーン | 車載カメラ映像における事故リスクのレーティング | PDF |
| 081330650 | 国仲信一 | 金森敬文 | 隠れマルコフモデルによるポートフォリオ設計 | PDF |
| 081330669 | 栗本雄太 | 外山勝彦 | 法令文の統計的機械翻訳における訳語統一の効果 | PDF |
| 081330677 | 黒柳彰宏 | 枝廣正人 | モデルベース並列化手法を用いた自動車プラントモデルの並列化 | PDF |
| 081330715 | 児玉祐樹 | 村瀬洋 | 低解像度顔画像群を用いた集団の注目位置推定 | PDF |
| 081330774 | 佐合惇 | 枝廣正人 | モデルベース開発におけるSHIMベースシミュレータを用いた性能見積に関する研究 | PDF |
| 081330782 | 佐藤陽昇 | 村瀬洋 | 撮影支援に向けた料理写真の魅力度推定手法 ー選好実験時の注視領域を反映した特徴抽出ー | PDF |
| 081330790 | 佐藤充晃 | 外山勝彦 | 統計的機械翻訳の利用による法律文の自動要約システム | PDF |
| 081330839 | ＪＵＮＧ Ｄａｗｏｏ | 長尾確 | 発表スライド内の用語と関連した質問の自動生成に関する研究 | PDF |
| 081330910 | 関谷和明 | 片桐孝洋 | 高精度計算ライブラリを利用した多倍長精度基本線形代数演算の性能評価 | PDF |
| 081330960 | 武田健志 | 関浩之 | 木文法に基づくグラフ圧縮法および圧縮グラフに対する頂点選択問合せ評価法の提案と実装 | PDF |
| 081330987 | 舘高基 | 森健策 | 血管情報を用いた経時リンパ節の自動対応付け手法に関する研究 | PDF |
| 081331037 | 玉丸敏幸 | 高田広章 | 車載Ethernetネットワークにおけるメッセージ通信時間のシミュレーション評価 | PDF |
| 081331045 | 多門俊哉 | 枝廣正人 | マルチレート制御に対するモデルベース開発におけるCSPモデルの生成 | PDF |
| 081331088 | 鉄村悠介 | 森健策 | 機械学習を用いた腹部動脈血管名自動命名における肝動脈分岐情報利用方法に関する研究 | PDF |
| 081331169 | 長柄啓悟 | 高田広章 | 組込みシステム向けマルウェアMiraiの攻撃性能評価 | PDF |
| 081331193 | 西尾宣紀 | 金森敬文 | 統計的学習に基づく強化学習アルゴリズムの考察 | PDF |
| 081331290 | 檜作孟志 | 間瀬健二 | 認知能力訓練のための画像に基づくシーン記述を用いた出現・消失物体探しクイズの生成 | PDF |
| 081331347 | 藤岡和弥 | 外山勝彦 | 分散表現を用いた類似例規検索 | PDF |
| 081331355 | 藤川隼人 | 片桐孝洋 | データ同化処理における時空間ブロッキングの異機種性能評価 | PDF |
| 081331363 | 藤田恵理子 | 金森敬文 | 密度比推定法の変化検知への応用 | PDF |
| 081331452 | 本谷真志 | 村瀬洋 | 人物検出器の高精度化に向けた走行映像群からのネガティブ学習サンプルの抽出手法 | PDF |
| 081331487 | 前田高志 | 村瀬洋 | インテリジェントヘッドライトのための点滅光照射法の検討 | PDF |
| 081331495 | 前田侑也 | 関浩之 | ナローイング計算木による条件付き項書換え系の合流性証明 | PDF |
| 081331568 | 宮川祐輔 | 長尾確 | 3次元地図とオブジェクトの動的配置によるVR災害シミュレーションシステムに関する研究 | PDF |
| 081331657 | 森川一穂 | 戸田智基 | 喉頭摘出者のための歌唱支援を目指した電気音声変換法 | PDF |
| 081331665 | 守谷享泰 | 森健策 | Study on Unsupervised Segmentation of 3D Medical Images based on Clustering and Representation Learning | PDF |
| 081331673 | 八木俊賢 | 村瀬勉 | 多数の近接した無線LAN間での公平なスループット実現のための干渉強度に応じた優先制御方式の提案 | PDF |
| 081331711 | 山田賢也 | 片桐孝洋 | ディープラーニングを用いた数値計算ライブラリの最適実装選択の検討 | PDF |
| 081331720 | 山田陽平 | 山本修一郎 | 表を用いたディペンダビリティケースへの責任属性の導入に関する研究 | PDF |
| 081331754 | 山本暁 | 村瀬勉 | マルチホップ無線ネットワークにおいて公平で高いスループットを達成する送信先のバッファ蓄積量の推測に基づくフレーム送信数制御 | PDF |
| 081331762 | 山本大貴 | 村瀬洋 | Active Scan LIDARを用いた歩行者検出のための効率的スキャン法 | PDF |
| 081331819 | 渡邉陽介 | 結縁祥治 | 車載ソフトウェアのための高精度地図ダイナミックマップにおける動的情報の信頼性検証法 | PDF |
| 081331894 | 坂梨元軌 | 酒井正彦 | C言語サブセットからMalbolge難読コードへのコンパイラの設計と実装 | PDF |
| 081331908 | 髙尾大樹 | 石川佳治 | 日本語に対する自然論理タブロー法に関する研究 | PDF |