You are here

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 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
  • 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
  • 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を用いた可変連想度セットアソシエイティブキャッシュによる充足/最大充足可能性問題の高速計算
    金澤 健治; 丸山 勉
    リコンフィギャラブルシステム研究会/2014-06-12--2014-06-12
Teaching
2018-10 -- 2018-12Introduction to Computer LiteracyUniversity of Tsukuba.
2018-10 -- 2019-02Computer Systems Laboratory BUniversity of Tsukuba.
2018-04 -- 2018-08Computer Systems Laboratory AUniversity of Tsukuba.
2018-10 -- 2018-12VLSI EngineeringUniversity of Tsukuba.
2018-04 -- 2018-06Integrated Systems EngineeringUniversity of Tsukuba.
2018-10 -- 2019-02Seminar in Computer ScienceUniversity of Tsukuba.
2018-10 -- 2019-02Research in Computer Science IUniversity of Tsukuba.
2018-10 -- 2019-02Research in Computer Science IIUniversity of Tsukuba.
2018-10 -- 2019-02Research in Computer ScienceUniversity of Tsukuba.
2018-10 -- 2019-02Computer Science Seminar AUniversity of Tsukuba.
Professional activities
2013-08 -- (current)International Conference on Field Programmable TechnologyProgram comittee
2014-04 -- (current)The Institute of Electronics, Information and Communication Enineers (IEICE)リコンフィギャラブルシステム研究専門委員会 専門委員
University Management
2017-04 -- (current)情報科学類 計算機運用委員会委員
2017-10 -- (current)コンピュータサイエンス専攻・情報科学類 進路指導委員会委員
2017-04 -- (current)情報科学類 クラス担任(平成29年度 3年次)
2015-04 -- (current)情報科学類 学務委員会委員
2015-04 -- (current)コンピュータサイエンス専攻・情報科学類 学生委員会委員
2016-04 -- (current)コンピュータサイエンス専攻広報委員会委員
2013-04 -- (current)共通科目「情報」推進室

(Last updated: 2019-06-28)