Kanazawa Kenji

Affiliation
Faculty of Engineering, Information and Systems
Official title
Assistant Professor
Research fields
Computer system
Research keywords
Reconfigurable Computing
Research projects
マルチFPGAシステムにおける任意のデータアクセス幅のキャッシュ機構の実現2014 -- 2016金澤　健治Japan Society for the Promotion of Science/若手研究(B)3,770,000Yen
Career history
2013-04 -- (current)University of TsukubaFaculty of Engineering, Information and SystemsAssistant Professor
Degree
2007-03修士(工学)筑波大学
2012-03Ph. D in EngineeringUniversity of Tsukuba
Academic societies
2013-06 -- (current)THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS.
Articles
  • Solving Maximum Clique Problems using FPGA Based on Swap-Based Tabu Search
    Kanazawa Kenji
    1st International Workshop on Heuristic Search in Industry (HSI 2020), 2021-01
  • 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実装
    中村 匠吾; 相部 範之; 金澤 健治; 安永 守利
    Proceedings of JIEP Annual Meeting/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 Aibe; ...
    Symposyum on Parallel Computing with FPGAs 2015/pp.533-542, 2015-09
  • FPGA Acceleration of SAT/MaxSAT Solving using Variable-way Set Associative Cache
    金澤 健治; 丸山 勉
    IEICE technical report/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; Noriyuki...
    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; Maruyama ...
    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
Conference, etc.
  • FPGA-based Object Detection for Autonomous Driving System
    Harada Kenichi; Kanazawa Kenji; Yasunaga Moritoshi
    International Conference on Field-Programmable Technology (ICFPT)/2019-12-09--2019-12-13
  • 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
Teaching
2021-10 -- 2022-02Research in Computer Science IfUniversity of Tsukuba.
2021-10 -- 2022-02Computer Science Seminar BfUniversity of Tsukuba.
2021-04 -- 2021-08Research in Computer Science IIsUniversity of Tsukuba.
2021-10 -- 2022-02Seminar in Computer Science fUniversity of Tsukuba.
2021-04 -- 2021-08Seminar in Computer ScienceUniversity of Tsukuba.
2021-10 -- 2022-02Seminar in Computer ScienceUniversity of Tsukuba.
2021-10 -- 2022-02Research in Computer Science fUniversity of Tsukuba.
2021-10 -- 2022-02Research in Computer Science IUniversity of Tsukuba.
2021-04 -- 2021-08Research in Computer Science IUniversity of Tsukuba.
2021-10 -- 2022-02Computer Science Seminar AfUniversity of Tsukuba.
more...
Other educational activities
2019-11 -- 2019-11出前講義
Professional activities
2021-06 -- (current)The Institute of Electronics, Information and Communication Enineers (IEICE)専門委員
2020-02 -- (current)FPGA Technologies for Adaptive ComputingProgram Commitee
2020-02 -- 2020-10第9回 相磯秀夫杯 FPGAデザインコンテスト実行委員会
2017-01 -- 2017-12International Symposium on Highly Efficient Accelerators and Reconfigurable TechnologiesPublicity co-chair
2013-08 -- (current)International Conference on Field Programmable TechnologyProgram comittee
2014-04 -- 2020-03The Institute of Electronics, Information and Communication Enineers (IEICE)リコンフィギャラブルシステム研究専門委員会 専門委員
University Management
2021-04 -- (current)情報科学類 情報システム主専攻実験世話人
2020-04 -- (current)情報理工学位プログラム/コンピュータサイエンス専攻 カリキュラム委員会
2020-04 -- 2021-03情報理工学位プログラム/コンピュータサイエンス専攻 学務学生委員会
2018-04 -- 2019-03情報科学類教育用計算機仕様策定委員会・同WG
2018-04 -- 2020-03コンピュータ・サイエンス専攻学務学生委員会
2017-04 -- 2019-03情報科学類 計算機運用委員会委員
2017-10 -- 2019-03コンピュータサイエンス専攻・情報科学類 進路指導委員会委員
2018-04 -- (current)情報科学類 クラス担任(平成30年度 4年次)
2015-04 -- 2018-03情報科学類 学務委員会委員
2015-04 -- 2018-03コンピュータサイエンス専攻・情報科学類 学生委員会委員
more...

(Last updated: 2021-08-30)