学位論文情報

2018年度

修士
  • 細粒度再構成可能デバイスMPLDにおける最短経路でコストを求める配置配線CADの実装と多様なアーキテクチャに対する評価
  • メモリアクセス最適化のための高位合成記述の自動変換 〜ステンシル計算を対象としたラインバッファの自動生成〜
  • VR空間における聴覚フィードバックを援用した運動制御の検討
  • マルチポート・マルチバンクメモリを用いたFPGAによる単一始点最短経路問題の高速化
  • 多重化した6方向接続を持つスイッチベース細粒度再構成可能デバイスMPLDにおける面積,速度に関するアーキテクチャの評価
  • リアルタイム画像からステアリング制御をオンライン学習するCNNを用いたレーンキーピングシステムの研究
学士
  • 主体的な学びを促進する演習型授業の設計と評価 〜コンピュータシステムの入門的演習を例にして〜
  • 関数型言語によるアプリケーション開発のためのマイクロプロセッサTemple用プログラミング環境の構築
  • プロセッサのトレースデータ収集と圧縮を行う回路の提案及び実装
  • 一括学習型自己組織化マップの専用ハードウェアを用いた高速化のための並列アーキテクチャの検討
  • API集合のデータベース検索効率化のための頻出パターンマイニングによるAPI集合間の関係付けとそれに基づくGUIの設計
  • 4倍精度浮動小数点演算器による共役勾配法の高速化を目的としたライブラリのFPGA上での実装
  • 小規模プロセッサTempleにおけるリアルタイムシステム開発環境の設計と実装
  • 高位合成を用いたリアルタイムアナログ信号処理のためのFPGAフレームワークの実装
  • 細粒度再構成可能デバイスMPLDにおけるニューラルネットワークを用いた配置コスト評価関数の検討

2017年度

修士
  • 負荷分散比自動チューニング機能を備えたFPGA-CPUハイブリッド実行向け設計支援ツールの開発
学士
  • 波形およびゆらぎを用いた精神状態分析に向けた脈波の階層的クラスタリング手法の検討
  • 蛍光X線ホログラムからの3次元原子像再生のGPUおよびFPGAによる高速化
  • 区間演算ライブラリMPFIを用いた実数計算ライブラリIFN-Hの記憶領域管理をHaskellのみで記述した設計と実装
  • 定理証明支援系と連携した実用的な証明木表示ツールの開発
  • スタック溢れの無い効率的な実行のための再帰プログラムのソースコード変換ツールの設計
  • 小規模電子回路の実時間シミュレータのFPGA実装
  • ディープラーニングを用いた自己学習可能な配置配線CADツールの検討
  • プログラムに実装されている機能を文集合として提示できるソースコード理解支援ツール

2016年度

修士
  • OpenCLを用いたFPGAコンピューティングの性能分析
  • 精度保証付き数値計算のための区間演算FPUの設計 ~区間演算方式の違いが性能に与える影響の調査~
  • 細粒度再構成可能デバイスMPLDにおける機械学習を用いた配置手法
  • 図示された証明木に基づく定理証明支援系の利用に向けたProof Generalと連携するユーザインタフェースの設計と実装
  • セレクタベース論理ブロックSLBを用いた再構成デバイスの評価
学士
  • 吸排気管シミュレーションに用いられるMacCormackスキームのFPGA実装
  • 実数計算ライブラリIFNの高速化を目指した区間演算ライブラリMPFIを用いた設計と実装
  • 結晶構造データからの蛍光X線ホログラムの理論計算の並列化
  • 細粒度再構成可能デバイスMPLDの論理セル配置問題を対象としたSA法におけるコスト関数の改善
  • 証明支援ツールと連携した証明木のLATEX記述抽出機能の実現
  • 区間演算ライブラリMPFIへのHaskellバインディングの設計と実装
  • エンジン制御用RBFネットワークのオンライン学習およびFPGAを用いた高速化の検討
  • メソッドデータベース検索の効率化のためのAPI呼び出しに着目したタグ付け手法の検討
  • プログラムのAPI呼び出し系列の不備について制御構造を踏まえて指摘できるツールの設計と実装
  • 画像の圧縮・復元を行う深層ボルツマンマシンのFPGA実装
  • 再構成デバイスSePLDの0.6μmCMOSプロセスを用いた設計試作
  • マルチポート・マルチバンクメモリを用いた大規模グラフ解析のFPGA実装