| 学生番号 | 名前 | 指導教員 | 題目 | 要旨 |
|---|
| 081130643 | 小島和之 | 関浩之 | 木文法に基づくグラフに対する木分解結果の圧縮法および圧縮データへの直接問合せ処理法の提案と実装 | PDF |
| 081231024 | 田中玲吏 | 石川佳治 | 3D TINデータの可視化のためのRDBMSを用いた実装手法に関する研究 | PDF |
| 081430077 | 飯島啓之 | 結縁祥治 | 帰納的述語を含む分離論理式の可視化によるエンテイルメント判定ツールの作成 | PDF |
| 081530735 | 永田拓也 | 高田広章 | 修正候補検出を目的とした時相論理に基づく要求仕様書分析手法 | PDF |
| 081530803 | 服部直樹 | 石原亨 | ニューラルネットワークの光実装に適した回路構造探索 | PDF |
| 081630009 | 赤尾健太 | 酒井正彦 | 自動採譜における木オートマトンに基づくリズム量子化への休符処理の導入 | PDF |
| 081630042 | 安食拓海 | 村瀬勉 | 多段階情報処理システムにおけるエッジノード間VM移動手法による性能改善 | PDF |
| 081630061 | 井狩佑太 | 外山勝彦 | エンティティリンキングのための新聞記事からの法令名表現抽出 | PDF |
| 081630075 | 池田崇志 | 結縁祥治 | 並列プログラムに対する逆向き実行環境の構築 | PDF |
| 081630086 | 石井沙織 | 結縁祥治 | 汎用的自然演繹の部分論理式性 | PDF |
| 081630128 | 犬塚雅也 | 戸田智基 | 環境音の記号表現獲得に向けた教師なし学習法に関する検討 | PDF |
| 081630140 | 岩城駿弥 | 楫勇一 | 超高密度二次元コードにおける印刷密度と読み取りビット誤り率の関係について | PDF |
| 081630155 | 岩瀬慶 | 間瀬健二 | 寝姿体圧画像に対する人物領域と姿勢情報を用いた関節位置推定 | PDF |
| 081630163 | 岩田駿 | 枝廣正人 | モデルベース並列化アルゴリズムのデッドロックフリー性の証明 | PDF |
| 081630192 | 大石仁美 | 森健策 | 内視鏡ビデオからの内視鏡的粘膜下層剥離術における穿孔自動検出に関する研究 | PDF |
| 081630206 | 大鐘崇史 | 高田広章 | ステレオカメラを用いた車両特徴量の抽出と選択的利用 | PDF |
| 081630227 | 大西晃 | 関浩之 | レジスタ付きプッシュダウンシステムに対するpre*アルゴリズムの実装 | PDF |
| 081630242 | 岡崎真治 | 武田浩一 | レシピテキストからの調理時間推定 | PDF |
| 081630281 | 小野瞭 | 武田浩一 | 牌譜情報を用いた麻雀の実況解説文の分類 | PDF |
| 081630316 | 加藤拓洋 | 酒井正彦 | whileプログラムのLLVM中間コードから論理制約付き項書換え系への変換法 | PDF |
| 081630359 | 蒲浩輝 | 楫勇一 | 多項分布のエントロピーに対する上界式の改善 | PDF |
| 081630367 | 北村紗野 | 高田広章 | LiDARとスマートフォンを使用した歩行者の位置及び属性情報検出システム | PDF |
| 081630405 | 熊崎真仁 | 村瀬勉 | Web上のリアルタイム情報を利用したWAFシグネチャ生成に関する研究 | PDF |
| 081630412 | 公門瑛介 | 間瀬健二 | 皮膚表面温度変化に着目した筋力トレーニングの負荷集中度合いの評価 | PDF |
| 081630434 | 桑原和也 | 番原睦則 | 解集合プログラミングを用いた時間割問題の解法に関する考察 | PDF |
| 081630454 | 小嶋美咲 | 酒井正彦 | 排他制御を含むプログラムから論理制約付き項書換え系への変換 | PDF |
| 081630460 | 小杉駿介 | 松原茂樹 | 傾聴を示す応答に対応した語りの語句の同定 | PDF |
| 081630471 | 近藤匠 | 外山勝彦 | 改正関係に基づく法令の分類におけるカーネル法の利用 | PDF |
| 081630485 | 後藤優太 | 村瀬洋 | 複数映像の統合利用による環境変化に頑健な自車位置推定 | PDF |
| 081630496 | 坂田悠馬 | 長尾確 | 自動走行車いすの実世界環境認識とその安全走行への応用に関する研究 | PDF |
| 081630514 | 塩原拓海 | 村瀬勉 | 車載無線LAN通信におけるダイナミックな干渉変動に対応するQoS制御 | PDF |
| 081630541 | 下平健太 | 枝廣正人 | 小規模組込みシステム向けDNNフレームワークの比較評価 | PDF |
| 081630553 | 杉浦拓未 | 片桐孝洋 | 医用画像処理におけるLDDMMのGPU高速化 | PDF |
| 081630584 | 杉山裕一 | 山本修一郎 | コーディングルールの逸脱がソースコード読解に与える影響 | PDF |
| 081630601 | 鈴村悠輝 | 森健策 | 読影レポート解析を利用した医用画像解析AI学習法に関する初期検討 | PDF |
| 081630632 | 竹内頼人 | 番原睦則 | 車両装備仕様問題に対する解集合プログラミングの適用 | PDF |
| 081630638 | 武田一馬 | 村瀬洋 | 注視点と注視対象の動きの類似性に着目した複数物体への注目度推定 | PDF |
| 081630664 | 角掛正弥 | 松原茂樹 | 学術論文で引用されたWeb上の研究データの同定と分類 | PDF |
| 081630669 | 手塚湧太郎 | 枝廣正人 | パーティショニングOSの性能評価 | PDF |
| 081630692 | 徳増直紀 | 石川佳治 | メニーコアシステムにおける分散ストリーム処理システムの性能評価 - スループットに関する評価 - | PDF |
| 081630698 | 富山葉月 | 石原亨 | 遅延故障に起因する回路寿命分布の確率的高速推定手法 | PDF |
| 081630728 | 中川浩輔 | 結縁祥治 | 時相論理反証ツールstaliroにおける離散値と連続値を含むMTL式のfalsification | PDF |
| 081630735 | 中島健斗 | 戸田智基 | リアルタイム統計的声質変換における聴覚フィードバックに関する検討 | PDF |
| 081630782 | 新美航太郎 | 山本修一郎 | モバイルアプリのユーザレビューの調査と計算機支援による分類 | PDF |
| 081630813 | 長谷川博紀 | 高田広章 | 組込みマイコン向けROS2の性能評価 | PDF |
| 081630827 | 服部広大 | 長尾確 | 仮想空間への実世界環境のリアルタイム反映とその評価に関する研究 | PDF |
| 081630910 | 藤井勇人 | 間瀬健二 | VSLAMによる環境マップと白杖先端刺激提示デバイスを用いた歩行誘導法の検討 | PDF |
| 081630938 | 牧田直樹 | 石川佳治 | メニーコアシステムにおける分散ストリーム処理システムの性能評価–遅延に関する評価– | PDF |
| 081630969 | 松平茅隼 | 村瀬洋 | 視覚特徴と言語特徴を用いた単語の心像性推定 | PDF |
| 081631028 | 宮木龍 | 高田広章 | ファジングツールAFLの利用を支援するツールの開発 | PDF |
| 081631041 | 森太郎 | 村瀬洋 | 弱教師あり学習を活用した自転車検出器の精度向上 | PDF |
| 081631047 | 山内泉水 | 山本修一郎 | ドキュメントとバグ報告における出現単語数の比較によるバグ集中箇所の予測 | PDF |
| 081631066 | 山田健太郎 | 番原睦則 | 解集合プログラミングを用いた配電網問題の解法に関する考察 | PDF |
| 081631087 | 山梨祥平 | 片桐孝洋 | 外乱のある環境での分散深層学習の性能評価 | PDF |
| 081631114 | 吉岡大貴 | 外山勝彦 | 汎用事前学習モデルを用いた重要文抽出による法律の要約 | PDF |
| 081631211 | 大栁慶悟 | 武田浩一 | 自動構築された格フレームと日本語FrameNetの対応づけ | PDF |
| 081631233 | 森下誠 | 片桐孝洋 | OpenACCを用いたGKVベンチマークの並列化 | PDF |