現在地

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

所属
システム情報系
職名
助教
研究分野
計算機システム
研究キーワード
リコンフィギュラブルコンピューティング
研究課題
マルチFPGAシステムにおける任意のデータアクセス幅のキャッシュ機構の実現2014 -- 2016金澤 健治日本学術振興会/若手研究(B)3,770,000円
職歴
2013-04 -- (現在)筑波大学 システム情報系 助教
取得学位
2007-03修士(工学)筑波大学
2012-03博士(工学)筑波大学
所属学協会
2013-06 -- (現在)電子情報通信学会
論文
  • 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を用いた可変連想度セットアソシエイティブキャッシュによる充足/最大充足可能性問題の高速計算(アプリケーション高速化)
    金澤 健治; 丸山 勉
    電子情報通信学会技術研究報告. RECONF, リコンフィギャラブルシステム/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
会議発表等
  • FPGAを用いた可変連想度セットアソシエイティブキャッシュによる充足/最大充足可能性問題の高速計算
    金澤 健治; 丸山 勉
    リコンフィギャラブルシステム研究会/2014-06-12--2014-06-12
担当授業科目
2018-10 -- 2018-12情報(実習)筑波大学
2018-10 -- 2019-02情報システム実験B筑波大学
2018-04 -- 2018-08情報システム実験A筑波大学
2018-10 -- 2018-12VLSI工学筑波大学
2018-04 -- 2018-06集積システム工学筑波大学
2018-10 -- 2019-02コンピュータサイエンス特別演習筑波大学
2018-10 -- 2019-02コンピュータサイエンス特別研究I筑波大学
2018-10 -- 2019-02コンピュータサイエンス特別研究II筑波大学
2018-10 -- 2019-02コンピュータサイエンス特別研究筑波大学
2018-10 -- 2019-02コンピュータサイエンス特別演習A筑波大学
学協会等委員
2013-08 -- (現在)International Conference on Field Programmable TechnologyProgram comittee
2014-04 -- (現在)電子情報通信学会リコンフィギャラブルシステム研究専門委員会 専門委員
学内管理運営業績
2017-04 -- (現在)情報科学類 計算機運用委員会委員
2017-10 -- (現在)コンピュータサイエンス専攻・情報科学類 進路指導委員会委員
2017-04 -- (現在)情報科学類 クラス担任(平成29年度 3年次)
2015-04 -- (現在)情報科学類 学務委員会委員
2015-04 -- (現在)コンピュータサイエンス専攻・情報科学類 学生委員会委員
2016-04 -- (現在)コンピュータサイエンス専攻広報委員会委員
2013-04 -- (現在)共通科目「情報」推進室

(最終更新日: 2018-08-20)