Masahiro Fujita 研究室
主宰者：Masahiro Fujita
東京大学
AI 要約（直近 5 年の研究成果）
本研究室は、電子回路設計とそれを用いた情報処理システムの実装・検証に関する広域な研究を展開しています。特に、乗算器などのデジタル回路の正当性を形式的に検証する手法、ニューラルネットワークの回路実装、そして画像圧縮・符号化システムのハードウェア実現に重点を置いています。これらの研究では、従来の検証方法では対応困難な最適化された複雑な回路に対して、参照設計の自動生成や機械学習を活用した新しい検証フレームワークを提案しています。
エネルギー効率と処理能力のバランスが求められる現代のエッジコンピューティング環境を意識した実装研究も特徴です。スパイキングニューラルネットワークをアナログ回路で実装する際に、デジタル訓練と回路動作の乖離を埋める設計手法、FPGAプラットフォームでの学習型画像圧縮システム、ドローン搭載のための軽量深層学習モデルの最適化など、理論と実装の統合的なアプローチを取っています。さらに、大規模言語モデルをEDA(電子設計自動化)ツールやRTL設計の補助に活用する試みも進めており、設計プロセス全体のDX化に向けた研究も進行中です。
※ AI（Claude）が、公開されている論文要旨から研究の問い・手法・主要な発見を事実情報として抽出・再構成して自動生成しています。誤りを含む可能性があるため、正確性は研究室公式情報でご確認ください。
外部リンク
関連研究室(8 件)
- 生化学・分子生物学・遺伝学Masahito Ohue 研究室東京工業大学論文 100 件·共通: ネットワーク・セキュリティ, ネットワーク, 応用数学, 応用・計算数学 +11
- 工学Nei Kato 研究室東北大学論文 100 件·共通: ネットワーク・セキュリティ, ネットワーク, 応用数学, 応用・計算数学 +10
- 社会科学Jinyu Chen 研究室東京大学論文 100 件·共通: 応用数学, 応用・計算数学, 最適化, 機械 +11
- 工学Yusuke Hayashi 研究室東京大学論文 122 件·共通: プロセス・反応, 化学工学, プロセス, 応用数学 +8
- 工学Weiwei Wan 研究室大阪大学論文 104 件·共通: 応用数学, 応用・計算数学, 最適化, 機械 +10
- 計算機科学Jun Ota 研究室東京大学論文 153 件·共通: 応用数学, 応用・計算数学, 最適化, システム +9
- 計算機科学Kiyoharu Aizawa 研究室東京大学論文 133 件·共通: ネットワーク・セキュリティ, ネットワーク, 機械, 学習 +8
- 工学Hiroshi Fujimoto 研究室東京大学論文 100 件·共通: 応用数学, 応用・計算数学, 最適化, 機械 +7
研究成果（52 件）
- DOI: https://doi.org/10.1109/tcad.2025.3645205
- DOI: https://doi.org/10.1109/itcindia66078.2025.11141575
- [2025] Development of a Multifunctional Lightweight Membrane with a High Specific Power Generation CapacityDOI: https://doi.org/10.26077/pam2-sa25
- DOI: https://doi.org/10.1093/ptep/ptaf168
- DOI: https://doi.org/10.33012/2025.20411
- DOI: https://doi.org/10.1109/gcce65946.2025.11274695
- [2025] Resource-Efficient LSTM Architecture for Keyword Spotting with CORDIC-Activation ApproximationDOI: https://doi.org/10.1109/isvlsi65124.2025.11130307
- DOI: https://doi.org/10.1109/tcad.2025.3567883
- DOI: https://doi.org/10.1145/3658617.3698489
- DOI: https://doi.org/10.1109/vlsid64188.2025.00061
続きを表示（残り 42 件）閉じる
- DOI: https://doi.org/10.1109/ojcas.2025.3585654
- DOI: https://doi.org/10.2322/tastj.23.49
- DOI: https://doi.org/10.52202/078365-0068
- DOI: https://doi.org/10.1109/ats64447.2024.10915239
- DOI: https://doi.org/10.1109/apsipaasc63619.2025.10848968
- DOI: https://doi.org/10.1109/jiot.2024.3502690
- DOI: https://doi.org/10.1109/ewdts63723.2024.10873686
- DOI: https://doi.org/10.1109/isocc62682.2024.10762201
- DOI: https://doi.org/10.1109/isocc62682.2024.10762251
- DOI: https://doi.org/10.1109/tcad.2024.3442987
- DOI: https://doi.org/10.1109/mwscas60917.2024.10658910
- DOI: https://doi.org/10.1109/jetcas.2024.3386328
- DOI: https://doi.org/10.1109/tqe.2024.3364546
- [2024] Decision Diagram vs. State Vector: A Comparative Study on Quantum Computing Simulation EfficiencyDOI: https://doi.org/10.1109/qce60285.2024.00095
- DOI: https://doi.org/10.1109/iscas46773.2023.10182209
- DOI: https://doi.org/10.1016/j.actaastro.2023.10.036
- DOI: https://doi.org/10.1109/jiot.2023.3326203
- DOI: https://doi.org/10.1002/lpor.202300279
- DOI: https://doi.org/10.1109/igarss52108.2023.10282466
- DOI: https://doi.org/10.1145/3597031.3597058
- DOI: https://doi.org/10.23919/vlsitechnologyandcir57934.2023.10185263
- [2023] LUT-based Arithmetic Circuit Approximation with Formal Guarantee on Worst Case Relative ErrorDOI: https://doi.org/10.1109/lats58125.2023.10154494
- DOI: https://doi.org/10.1364/iprsn.2023.im3a.1
- DOI: https://doi.org/10.1109/tcad.2022.3192176
- DOI: https://doi.org/10.1109/tcsii.2022.3216516
- DOI: https://doi.org/10.1109/tvlsi.2022.3186946
- DOI: https://doi.org/10.1109/tcad.2022.3166114
- DOI: https://doi.org/10.1109/isqed54688.2022.9806238
- DOI: https://doi.org/10.1109/isqed54688.2022.9806278
- DOI: https://doi.org/10.2197/ipsjtsldm.15.2
- DOI: https://doi.org/10.3390/electronics11111691
- DOI: https://doi.org/10.1109/cama56352.2022.10002589
- DOI: https://doi.org/10.1109/vcip56404.2022.10008876
- DOI: https://doi.org/10.1109/a-sscc56115.2022.9980666
- DOI: https://doi.org/10.1016/j.cie.2022.108792
- [2021] Efficient Reachability Analysis Based on Inductive Invariant Using X-value Based Flipflop SelectionDOI: https://doi.org/10.1109/isqed51717.2021.9424357
- DOI: https://doi.org/10.23919/date51398.2021.9474169
- DOI: https://doi.org/10.1145/3394885.3431422
- DOI: https://doi.org/10.1109/tcsi.2021.3084684
科研費（0 件）
まだデータがありません（KAKEN 取り込み後に表示）。
所属学会・役職（0 件）
まだデータがありません（学会データ連携後に表示）。