You are here

Home

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 Tsukuba Faculty of Engineering, Information and Systems Assistant 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
  • 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 Ai...
    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; 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
Conference, etc.
  • 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
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 -- (current)専門語学B筑波大学
2013-04 -- (current)専門語学A筑波大学
more...
Other educational activities
2019-11 -- 2019-11出前講義
Professional activities
2020-02 -- (current)FPGA Technologies for Adaptive ComputingProgram Commitee
2020-02 -- (current)第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
2020-04 -- (current)情報理工学位プログラム/コンピュータサイエンス専攻 カリキュラム委員会
2020-04 -- (current)情報理工学位プログラム/コンピュータサイエンス専攻 学務学生委員会
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コンピュータサイエンス専攻・情報科学類 学生委員会委員
2015-04 -- 2017-03コンピュータサイエンス専攻・情報科学類 インターンシップ推進委員会委員
more...

(Last updated: 2020-08-31)