現在地

ホーム

金澤 健治(カナザワ ケンジ; Kanazawa, Kenji)

所属
システム情報系
職名
助教
研究分野
計算機システム
研究キーワード
リコンフィギュラブルコンピューティング
研究課題
マルチFPGAシステムにおける任意のデータアクセス幅のキャッシュ機構の実現2014 -- 2016金澤　健治日本学術振興会/若手研究(B)3,770,000円
職歴
2013-04 -- (現在)筑波大学 システム情報系 助教
取得学位
2007-03修士(工学)筑波大学
2012-03博士(工学)筑波大学
所属学協会
2013-06 -- (現在)電子情報通信学会
論文
  • FPGA-Based Object Detection for Autonomous Driving System
    Harada Ken-ichi; Kanazawa Kenji; Yasunaga Moritoshi
    ICFPT-2019, 2019-12
  • Accelerating Swap-Based Tabu Search for Solving Maximum Clique Problems on FPGA
    金澤 健治
    ISPA-2019, 2019-12
  • FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT
    Kanazawa Kenji; Cai Shaowei
    IEEE 12th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2018-09
  • FPGAを用いた部分MaxSATの高速化に基づく最大クリーク問題の高速計算
    金澤健治; 石倉 健太郎; 安永 守利
    電子情報通信学会第68回 機能集積情報システム研究会,信学技報 (FIIS2019)/(No.497), 2019-03
  • 機械学習アプローチによるチップ部品画像の重心検出とそのFPGA実装
    中村 匠吾; 相部 範之; 金澤 健治; 安永 守利
    第33回エレクトロニクス実装学術講演大会講演論文集/13C4-04, 2019-03
  • Acceleration of Solving Quadratic Assignment Problems on Programmable SoC using High Level Synthesis'
    Kanazawa Kenji
    4th International Workshop on FPGAs for Software Programmers, 2017-09
  • FPGAを用いたk-means法の高速化とチップマウンタへの応用
    中村匠吾; 安永 守利; 金澤健治; 相部範之; 江原宏紀
    電子情報通信学会技術研究報告(リコンフィギャラブルシステム研究会), 2017-09
  • An Approach for Solving SAT/MaxSAT-Encoded Formal Verification Problems on FPGA
    KANAZAWA Kenji; MARUYAMA Tsutomu
    IEICE Transactions on Information and Systems/100(8)/pp.1807-1818, 2017
    CiNii Tsukuba Repository
  • High-Speed Calculation of Convex Hull in 2D Images Using FPGA
    Kanazawa Kenji; Kahori Kemmotsu; Yamato Mori; Noriyuki Ai...
    Symposyum on Parallel Computing with FPGAs 2015/pp.533-542, 2015-09
  • FPGAを用いた可変連想度セットアソシエイティブキャッシュによる充足/最大充足可能性問題の高速計算(アプリケーション高速化)
    金澤 健治; 丸山 勉
    電子情報通信学会技術研究報告. RECONF, リコンフィギャラブルシステム/114(75)/pp.73-78, 2014-06
    CiNii
  • FPGA Acceleration of SAT/MaxSAT Solving using Variable-way Cache
    Kanazawa Kenji; Maruyama Tsutomu
    24th International Conference on Field Programmable Logic and Applications, 2014-09
  • Solving SAT-encoded Formal Verification Problems on SoC based on a WSAT algorithm with a new Heuristic for Hardware Acceleration
    Kanazawa Kenji; Maruyama Tsutomu
    IEEE 7th International Symposium on Embedded Multicore/Many-core SoCs (MCSoC-13), 2013-09
  • Crosstalk-noise Reduction in GHz Domain Using Segmental Transmission Line
    Katsuyuki Seki; Kenji Kanazawa; Yasunaga Moritoshi
    Proceedings of 2013 IEEE Electrical Design of Advanced Packaging & Systems Symposium (EDAPS) 2013/pp.96-99, 2013-12
  • Signal Integrity Evaluation of Segmental Transmission Line under Real-world Application
    Hidefumi Inoue; Yasunaga Moritoshi; Kenji kanazawa; Noriy...
    Proceedings of 2013 IEEE Electrical Design of Advanced Packaging & Systems Symposium (EDAPS) 2013/pp.108-111, 2013-12
  • Decoupling-capacitor Allocation Problem Solved by Genetic Algorithm
    Kazuma Shibasaka; Kenji Kanazawa; Yasunaga Moritoshi
    Proceedings of 2013 IEEE Electrical Design of Advanced Packaging & Systems Symposium (EDAPS) 2013/pp.225-228, 2013-12
  • An acceleration method for evolutionary systems based on iterated prisoner's dilemma
    Yamaguchi Yoshiki; Kanazawa Kenji; Ohke Yoshiharu; Maruya...
    3rd International Workshop on Applied Reconfigurable Computing, 2007-03
  • An FPGA Solver for WSAT Algorithms
    Kanazawa Kenji; Maruyama Tsutomu
    15th International Conference on Field Programmable Logic and Applications, 2005-08
  • An FPGA Solver for Large SAT Problems
    Kanazawa Kenji; Maruyama Tsutomu
    16th International Conference on Field Programmable Logic and Applications, 2006-08
  • An FPGA Solver for Very Large SAT Problems
    Kanazawa Kenji; Maruyama Tsutomu
    17th International Conference on Field Programmable Logic and Applications, 2007-08
  • An FPGA Solver for SAT-encoded Formal Verification Problems
    Kanazawa Kenji; Maruyama Tsutomu
    21st International Conference on Field Programmable Logic and Applications, 2011-09
  • FPGAを用いたWSATアルゴリズムの高速計算
    金澤 健治; 丸山 勉
    電子情報通信学会論文誌D, 2006-06
  • FPGAを用いた大規模な充足可能性問題の高速計算
    金澤 健治; 丸山 勉
    電子情報通信学会論文誌D, 2007-10
  • An Approach for Solving Large SAT Problems on FPGA
    Kanazawa Kenji; Maruyama Tsutomu
    ACM Transactions on Reconfigurable Technology and Systems, 2010-12
会議発表等
  • FPGA-Based Object Detection for Autonomous Driving System
    Kanazawa Kenji
    FPGA Design Competition
  • FPGAを用いた部分MaxSATの高速化に基づく最大クリーク問題の高速計算
    金澤 健治; 石倉 健太郎; 安永 守利
    電子情報通信学会第68回 機能集積情報システム研究会(FIIS2019)/2018-03-08--2018-03-08
  • 機械学習アプローチによるチップ部品画像の重心検出とそのFPGA実装
    中村 匠吾; 相部 範之; 金澤 健治; 安永 守利
    第33回エレクトロニクス実装学術講演大会/2019-03-11--2019-03-13
  • FPGAを用いた可変連想度セットアソシエイティブキャッシュによる充足/最大充足可能性問題の高速計算
    金澤 健治; 丸山 勉
    リコンフィギャラブルシステム研究会/2014-06-12--2014-06-12
担当授業科目
2020-04 -- 2021-02情報理工後期特別演習B筑波大学
2020-04 -- 2021-02情報理工後期特別演習A筑波大学
2020-04 -- 2021-02情報理工後期特別研究筑波大学
2020-04 -- 2021-02情報理工前期特別研究II筑波大学
2020-04 -- 2021-02情報理工前期特別研究I筑波大学
2020-04 -- 2021-02情報理工前期特別演習筑波大学
2020-04 -- 2020-08情報システム実験B筑波大学
2020-04 -- 2020-08情報システム実験A筑波大学
2013-10 -- (現在)専門語学B筑波大学
2013-04 -- (現在)専門語学A筑波大学
more...
授業以外の教育活動
2019-11 -- 2019-11出前講義
学協会等委員
2020-02 -- (現在)FPGA Technologies for Adaptive ComputingProgram Commitee
2020-02 -- (現在)第9回 相磯秀夫杯 FPGAデザインコンテスト実行委員会
2017-01 -- 2017-12International Symposium on Highly Efficient Accelerators and Reconfigurable TechnologiesPublicity co-chair
2013-08 -- (現在)International Conference on Field Programmable TechnologyProgram comittee
2014-04 -- 2020-03電子情報通信学会リコンフィギャラブルシステム研究専門委員会 専門委員
学内管理運営業績
2020-04 -- (現在)情報理工学位プログラム/コンピュータサイエンス専攻 カリキュラム委員会
2020-04 -- (現在)情報理工学位プログラム/コンピュータサイエンス専攻 学務学生委員会
2018-04 -- 2019-03情報科学類教育用計算機仕様策定委員会・同WG
2018-04 -- 2020-03コンピュータ・サイエンス専攻学務学生委員会
2017-04 -- 2019-03情報科学類 計算機運用委員会委員
2017-10 -- 2019-03コンピュータサイエンス専攻・情報科学類 進路指導委員会委員
2018-04 -- (現在)情報科学類 クラス担任(平成30年度 4年次)
2015-04 -- 2018-03情報科学類 学務委員会委員
2015-04 -- 2018-03コンピュータサイエンス専攻・情報科学類 学生委員会委員
2015-04 -- 2017-03コンピュータサイエンス専攻・情報科学類 インターンシップ推進委員会委員
more...

(最終更新日: 2020-08-31)