| 学生番号 | 名前 | 指導教員 | 題目 | 要旨 |
|---|
| 081131070 | 竹内浩太郎 | 山本修一郎 | ArchiMateによるロジスティクス手法の研究 | PDF |
| 081330340 | 宇野雄登 | 山本修一郎 | ArchiMateによるCOBITプロセスの研究 | PDF |
| 081330820 | SHIN Dong | 酒井正彦 | A Proof Assistant for Constrained Rewriting Induction with Lemma Generation Based on Equality Derivation | PDF |
| 081430040 | 浅川脩介 | 外山勝彦 | 法令文のニューラル機械翻訳へのソフトテンプレートの導入 | PDF |
| 081430237 | 内田勇志 | 外山勝彦 | Linked Open Data を用いた法令沿革データベースの設計と構築 | PDF |
| 081430391 | 北岡恭明 | 山本修一郎 | 簡易BMDとArchiMateを用いたビジネスモデルのモデル化手法についての研究 | PDF |
| 081430506 | 澤田潤 | 結縁祥治 | 関数型リアクティブプログラミングにおけるテスト手法 | PDF |
| 081430772 | 野田紘司 | 村瀬洋 | CNNの多段階分解によるSemantic Segmentation処理の高速化 | PDF |
| 081430832 | 日比裕太 | 森健策 | Graph Convolutional Networksを用いた腹部動脈血管名の自動命名に関する研究 | PDF |
| 081431096 | 山本篤志 | 酒井正彦 | 深層ボルツマンマシンの学習アルゴリズム効率化に関する研究 | PDF |
| 081431103 | 山本翔太 | 森健策 | 深層学習を用いた手術手技評価のための出血領域自動抽出に関する研究 | PDF |
| 081530038 | 厚見周 | 楫勇一 | カードシャッフルにより生成されるエントロピーの評価 | PDF |
| 081530058 | 井川元 | 高田広章 | 地図データと点群データに対する空間検索手法の研究 | PDF |
| 081530071 | 生駒流季 | 松原茂樹 | 遷移型構文解析のためのRNNモデルの学習における構造化損失関数に関する考察 | PDF |
| 081530085 | 磯貝孝明 | 酒井正彦 | 命題論理式の全ての投射モデルを表現するBDDの構成法 | PDF |
| 081530110 | 伊藤滉一朗 | 松原茂樹 | 傾聴を示す応答で繰り返される語りの語句の検出 | PDF |
| 081530124 | 稲石日奈子 | 高田広章 | 機械学習の推論ハードウェアのC言語設計における性能見積もり手法 | PDF |
| 081530130 | 稲垣雄大 | 高田広章 | HTTPとMQTTの通信性能評価 | PDF |
| 081530141 | 井ノ川誠 | 枝廣正人 | ブラシレスモータを用いたクロスレイヤ設計適用 | PDF |
| 081530148 | 猪熊杜斗 | 山本修一郎 | 自動化レベルを考慮したシステム評価手法 | PDF |
| 081530153 | 今井達矢 | 間瀬健二 | 認知タスク中の表情特徴を用いた認知的負荷の自動推定 | PDF |
| 081530159 | 今井諒 | 間瀬健二 | 腹部動作計測型ウェアラブル呼吸センサを用いた身体・認知負荷の識別 | PDF |
| 081530172 | 岩田紗希 | 村瀬洋 | 超低解像度遠赤外線画像系列からのCNN回帰による人物骨格推定 | PDF |
| 081530198 | 梅村和紀 | 村瀬洋 | 画像キャプションの質的評価に向けた文の心像性推定 | PDF |
| 081530230 | 大竹徹郎 | 戸田智基 | 楽曲音源分離における各種音源抽出ネットワークの統合法 | PDF |
| 081530236 | 大野颯汰 | 外山勝彦 | 改正・被改正関係を用いた法令の分類 | PDF |
| 081530257 | 奥村幸介 | 村瀬勉 | 多数の近接するアドホックネットワークにおけるスループット向上のためのユーザ移動制御 | PDF |
| 081530283 | 笠井雄太 | 石川佳治 | ⼤規模点群データ分析のためのデータベースの開発 | PDF |
| 081530291 | 加藤克也 | 山本修一郎 | ゴール指向型ソフトウェアレビュー手法の評価 | PDF |
| 081530299 | 加藤聖也 | 枝廣正人 | モデルベース開発における遅延挿入による並列度向上手法の検討 | PDF |
| 081530313 | 加藤諒 | 酒井正彦 | SQLに基づく組合せ最適化問題記述言語を用いたタイムテーブリング | PDF |
| 081530320 | 金子尚史 | 山本修一郎 | モバイルアプリにおける機能変更とカスタマーレビューの調査 | PDF |
| 081530355 | 河合恒輝 | 外山勝彦 | ニューラルモデルを用いた「昭和天皇実録」からの固有表現抽出 | PDF |
| 081530375 | 川瀬卓也 | 長尾確 | 会議音声からの議事録要約生成に関する研究 | PDF |
| 081530403 | 岸潤一郎 | 酒井正彦 | SQLに基づく組合せ最適化問題記述言語を用いたテストスケジューリング | PDF |
| 081530409 | 北井成哉 | 片桐孝洋 | スーパーコンピュータを用いたSPIRALコードジェネレータの性能評価 | PDF |
| 081530415 | 北澤修太 | 片桐孝洋 | HMDによるプラズマ乱流シミュレーションの可視化 | PDF |
| 081530439 | 久門香穂 | 長尾確 | 仮想空間におけるミーティングの効果的なインタフェースおよび記録手法に関する研究 | PDF |
| 081530447 | 倉地洸 | 長尾確 | 拡張現実システム向けのセンサグローブ型入力デバイスとその応用に関する研究 | PDF |
| 081530468 | 小林聖弥 | 村瀬勉 | 移動アクセスポイントノードを用いた高速無線LAN通信方法の提案 | PDF |
| 081530474 | 小林倫也 | 酒井正彦 | 値呼び戦略により全ての解が求められる条件付き項書換え系の十分条件 | PDF |
| 081530528 | 椎名健 | 石川佳治 | DBMSを用いた三次元TINデータ管理手法の開発 | PDF |
| 081530545 | 清水桃子 | 関浩之 | データ語書換え系のレジスタ正則保存性について | PDF |
| 081530566 | 白倉大河 | 村瀬勉 | クローラ等のHTTPリクエスト自動収集/簡易解析システム reqhack | PDF |
| 081530609 | 鈴木健太 | 高田広章 | コンテナ技術のネットワーク性能への影響 | PDF |
| 081530630 | 高橋良輔 | 武田浩一 | 格要素の典型性と連想性に基づいた換喩判定 | PDF |
| 081530636 | 多賀遥香 | 戸田智基 | ユーザの協力的動作を活用したリアルタイム声質変換 | PDF |
| 081530659 | 立道大樹 | 村瀬洋 | 欠損復元AutoEncoderによる遮蔽に頑健な物体姿勢推定 | PDF |
| 081530696 | 中根里空 | 結縁祥治 | 離散時間実行環境におけるYampaプログラムの振舞い検証 | PDF |
| 081530702 | 中原拓哉 | 武田浩一 | 教師なし機械翻訳手法を用いた文体変換 | PDF |
| 081530753 | 西堀翔真 | 村瀬勉 | 超大量ナノスケール端末からの微量データ転送のための階層化MACプロトコル | PDF |
| 081530789 | 波多野優斗 | 工藤博章 | 特徴空間上におけるN近傍の属性に基づくラベル推定を利用した半教師あり能動学習 | PDF |
| 081530882 | 平田智紀 | 楫勇一 | RSA復号の実行時間から漏洩する鍵の情報量について | PDF |
| 081530896 | 福島直人 | 枝廣正人 | モデルベース並列化におけるモデル分析手法の検討 | PDF |
| 081530917 | 振津勇紀 | 村瀬洋 | 時間連続性を考慮した列車前方映像に対するセマンティックセグメンテーション | PDF |
| 081530964 | 本多雄樹 | 結縁祥治 | Z定理を用いたλμ計算の合流性証明 | PDF |
| 081530972 | 前川大和 | 村瀬洋 | 電動車いす運転の習熟に伴う視行動変化の分析 | PDF |
| 081531012 | 御手洗翠 | 森健策 | 表現学習を用いた胃壁Micro-CT像からの解剖学的構造セグメンテーションに関する研究 | PDF |
| 081531032 | 宮地航太 | 松原茂樹 | 読みにくい語順の文への読点の自動挿入 | PDF |
| 081531040 | 三輪竜矢 | 関浩之 | 動的情報漏洩量の解析および適応的制御入力最適化に関する研究 | PDF |
| 081531080 | 百瀬孝紀 | 楫勇一 | Hybrid-DAG Consensus: 非中央集権的で高速処理可能な許可無しモデルにおけるコンセンサスプロトコル | PDF |
| 081531097 | 盛満慎太郎 | 森健策 | 内視鏡外科手術における術野映像からの血管領域自動認識に関する研究 | PDF |
| 081531109 | 安原和輝 | 戸田智基 | End-to-End型テキスト音声合成におけるWaveNetボコーダの学習に関する調査 | PDF |
| 081531124 | 山内克哉 | 高田広章 | mruby on EV3RT+TECS の VM のメモリ保護の実現 | PDF |
| 081531144 | 山下望 | 工藤博章 | テンションラグの相互作用を考慮したドラムチューニング支援システム | PDF |
| 081531151 | 山田康輔 | 武田浩一 | SNSにおける行動類似性を用いたユーザの性格推定 | PDF |
| 081531170 | 山本遼人 | 片桐孝洋 | VRシステムでのHRTF選択方法の比較 | PDF |
| 081531246 | 岡野兼也 | 高田広章 | 競技プログラミングコンテストの提出プログラムを利用した記号実行ツールKLEEの定量的評価 | PDF |
| 081531257 | 早乙女献自 | 結縁祥治 | 循環証明体系における準cut除去定理について | PDF |