学生番号 | 名前 | 指導教員 | 題目 | 要旨 |
081330090 | 石野慎弥 | 山本修一郎 | Word2Vecを用いたソフトウェアドキュメント検索の支援にむけた調査 | PDF |
081330766 | 酒井英伸 | 枝廣正人 | モデルベース開発における並列実行の可視化 | PDF |
081331266 | 長谷川颯 | 片桐孝洋 | MPS法による流体解析における重心ボロノイ分割を用いた粒子の初期位置設定法 | PDF |
081331312 | 平山大貴 | 長尾確 | 発話訓練動画を用いた言語障害の遠隔リハビリテーション支援に関する研究 | PDF |
081331746 | 山村暢 | 結縁祥治 | 帰納的述語を含む分離論理のための循環証明探索アルゴリズムの実装 | PDF |
081430014 | 青山恵子 | 外山勝彦 | 並列構造の分割による法令文の読解性向上 | PDF |
081430094 | 石黒史也 | 片桐孝洋 | 高精度行列-行列積アルゴリズムにおけるbatched BLASの適用 | PDF |
081430148 | 伊藤智稀 | 村瀬勉 | IoTデータの短寿命・ローカリティを考慮したメタデータ管理のための負荷分散制御 | PDF |
081430167 | 伊藤弘将 | 高田広章 | 汎用ファジングツールを活用した組込みTCP/IPスタックの脆弱性検出 | PDF |
081430175 | 伊藤耀一朗 | 村瀬洋 | 画像付き料理レシピからの味推定 | PDF |
081430206 | 岩金カナン | 酒井正彦 | C言語サブセットからMalbolgeへのコンパイラにおける配列処理の実現 | PDF |
081430221 | 植原リサ | 外山勝彦 | 単語の分散表現を用いた法令用語間の関係の獲得 | PDF |
081430269 | 大橋宗治 | 村瀬勉 | ハニーポットへの攻撃に対するNIDS検知反応を利用したシグネチャ自動チューニングに関する研究 | PDF |
081430289 | 大脇亮太 | 結縁祥治 | Timed Scribble言語で記述された通信プロトコル仕様の振舞いシミュレータ | PDF |
081430295 | 岡田慎太郎 | 戸田智基 | 空気・体内伝導音声の混合による自己聴取音声の生成 | PDF |
081430302 | 岡田直人 | 間瀬健二 | 歩行支援ロボットによる歩行中のバランス能力の評価指標に関する検討 | PDF |
081430314 | 小澤卓也 | 森健策 | 深層学習を用いた内視鏡動画像に対する大規模アノテーションデータの構築手法に関する研究 | PDF |
081430326 | 甲斐琢朗 | 枝廣正人 | SimulinkモデルからのGPUコード生成 | PDF |
081430333 | 柏倉祐吉 | 楫勇一 | Winternitzワンタイム署名の改良とその評価 | PDF |
081430358 | 加藤光 | 工藤博章 | BiLSTM-RNNによるSNS投稿からの画像タグの自動生成 | PDF |
081430370 | 金森公洋 | 山本修一郎 | アクションゲームのソースコード理解における課題とその改善策の提案 | PDF |
081430425 | 小澤慶祐 | 高田広章 | ロボット制御ミドルウェアROS2及び軽量DDSの車載システムへの適用性評価 | PDF |
081430442 | 小平美沙季 | 加藤ジェーン | マルチレベルの深層特徴を用いた歩行者検出 | PDF |
081430455 | 小松大河 | 高田広章 | 組込みシステム向けSSL/TLSライブラリの評価 | PDF |
081430487 | 櫻井刀麻 | 片桐孝洋 | 自動チューニング言語ppOpen-ATにおける新ループ変換手法の提案 | PDF |
081430512 | 重野泰和 | 外山勝彦 | ニューラルモデルと翻訳メモリを併用した機械翻訳 | PDF |
081430523 | 清水貴裕 | 高田広章 | シンボリック実行に基づく状態遷移モデルの抽出 | PDF |
081430530 | 志村薫 | 石川佳治 | RDBの構造を考慮したデータベースからの学習手法に関する研究 | PDF |
081430569 | 仙田涼摩 | 関浩之 | レジスタ付き文脈自由文法に対する所属問題と空問題の計算複雑さ | PDF |
081430581 | 高木聖也 | 村瀬勉 | DHCPv6クライアントの実装差を利用した詐称攻撃とその対策に関する研究 | PDF |
081430588 | 高田萌絵 | 戸田智基 | 空気/体内伝導マイクロフォンを用いた雑音環境下における自己発声音制御法 | PDF |
081430646 | 田端浩明 | 酒井正彦 | 線形マルチボトムアップ木変換器の関数性の決定可能性 | PDF |
081430663 | 鶴田佑太 | 酒井正彦 | 正規条件付き項書換え系に対する同時評価型および逐次評価型紐解き変換の合流性に関する性質の比較 | PDF |
081430676 | 戸田佳成 | 高田広章 | 機能共鳴分析手法FRAMによるセーフティクリティカルシステムの安全分析 | PDF |
081430681 | 鳥越敬 | 枝廣正人 | ハードウェア抽象化記述SHIMを用いた静的性能見積手法の検討 | PDF |
081430689 | 中井沙蘭 | 結縁祥治 | クロック凍結機構を持つ稠密時間プッシュダウンオートマトンにおける到達可能性解析のためのゾーン構成器の作成 | PDF |
081430696 | 中島大地 | 片桐孝洋 | Modylasを用いたFX100のアシスタントコアの性能評価 | PDF |
081430722 | 中村真務 | 村瀬洋 | 弁当の惣菜配置に関する魅力度推定 | PDF |
081430742 | 西江一志 | 酒井正彦 | 書換え解析ツールを利用したC言語プログラムの漸近的計算量と実行命令数の解析 | PDF |
081430749 | 西尾光平 | 森健策 | Fast Marching Algorithm に基づく小児CT像からの腸管閉塞部位検出に関する研究 | PDF |
081430755 | 西田尚樹 | 村瀬洋 | 白杖固有の形状と存在範囲に着目した白杖利用者検出 | PDF |
081430779 | 野田昌太郎 | 石川佳治 | 大規模データ分析のための可視化手法に関する研究 | PDF |
081430800 | 早川今日子 | 関浩之 | CBTにおける複数軸の学力推定法の提案と評価 | PDF |
081430838 | 福井康介 | 結縁祥治 | トップ木代数の完全な公理系 | PDF |
081430852 | 福田大地 | 村瀬勉 | Ethernet AVBにおけるスループットを考慮したTCP比較 | PDF |
081430928 | 松山仁 | 関浩之 | 負例サンプリングによるSkip-gramの学習方法に関する性能比較 | PDF |
081430950 | 右島琢也 | 村瀬洋 | ドライバの運転行動情報を利用した信号機検出用学習データの獲得 | PDF |
081431006 | 六浦由佳 | 長尾確 | VR空間における知的作業の脳波に基づく有効性の検証に関する研究 | PDF |
081431024 | 文振碩 | 間瀬健二 | 機械学習を用いた覚醒水準の変動推定に基づく運転中の眠気予知システムの検討 | PDF |
081431037 | 森優介 | 村瀬洋 | フロントガラスへの映り込みを考慮した歩行者視認性推定 | PDF |
081431056 | 安田健人 | 石川佳治 | 配列DBMSにおける空間スキャン統計量の計算手法に関する研究 | PDF |
081431068 | 籔崎竣太 | 山本修一郎 | ArchiMateによるモデル内保証- Intra model Assuranceについての研究 | PDF |
081431089 | 山中隆太郎 | 楫勇一 | X-headerを利用したメール送信環境のフィンガープリンティング | PDF |
081431096 | 山本篤志 | 関浩之 | 深層ボルツマンマシンの学習アルゴリズム効率化に関する研究 | PDF |
081431115 | 横山勇斗 | 長尾確 | 仮想空間におけるミーティングコンテンツの効果的な表示とその利用に関する研究 | PDF |
081431127 | 吉村玲勇 | 関浩之 | 重み付きオートマトンの計数ツールおよび重み付きレジスタオートマトンへの拡張 | PDF |
081431149 | 渡辺博文 | 間瀬健二 | 白杖先端刺激提示による仮想誘導路デザインの検討 | PDF |
081431196 | 石飛篤志 | 外山勝彦 | 法令文のニューラル機械翻訳に関する研究 | PDF |