Rchr
J-GLOBAL ID:201901005550741439   Update date: Jul. 21, 2022

Kumazawa Tsutomu

クマザワ ツトム | Kumazawa Tsutomu
Affiliation and department:
Research field  (1): Software
Research keywords  (2): Model Checking ,  Software Engineering
Research theme for competitive and other funds  (1):
  • 2022 - 2025 複数の群れに基づく群知能を用いた軽量モデル検査技法の研究
Papers (16):
  • Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi. A safety checking algorithm with multi-swarm particle swarm optimization. Proceedings of the Genetic and Evolutionary Computation Conference Companion. 2022. 786-789
  • 熊澤 努, 地嵜 頌子, 中川 智之, 室井 浩明, 渡邉 卓也. 深層学習における正則化へのドロップアウトデザインの適用. ソフトウェア・シンポジウム 2022論文集. 2022. 1-10
  • Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi. Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization. Journal of Information and Telecommunication. 2022
  • Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi. Exploration Strategies for Model Checking with Ant Colony Optimization. Computational Collective Intelligence, Proceedings of 13th International Conference on Computational Collective Intelligence, ICCCI 2021, Lecture Notes on Artificial Intelligence. 2021. 12876. 264-276
  • 熊澤努, 滝本 宗宏, 神林 靖. アリコロニー最適化法を用いたモデル検査の効率化のための探索戦略. ソフトウェア・シンポジウム2021 論文集. 2021. 126-135
more...
MISC (2):
  • Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi. A Survey on the Applications of Swarm Intelligence to Software Verification. Handbook of Research on Fireworks Algorithms and Swarm Intelligence. 2020. 376-398
  • 熊澤 努. 高信頼性ソフトウェアシステムの実現ためモデル修正技術に関する研究. 情報処理. 2012. 53. 3. 269
Lectures and oral presentations  (4):
  • ドロップアウトデザインの深層学習への適用と性能評価
    (Japanese Conference on Combinatorics and its Applications 2021 離散数学とその応用研究集会2021 ミニシンポジウム「符号・暗号・人工知能」 2021)
  • 深層学習用組合せデザインを用いたドロップアウト法の性能評価報告
    (研究集会「実験計画法と符号および関連する組合せ構造」2019 2019)
  • Methodologies and Applications of Swarm Intelligence Techniques Based on Communicating Agents
    (Asia Pacific Society for Computing and Information Technology 2018 Annual Meeting (APSCIT 2018 Annual Meeting) 2018)
  • Model Checking with Metaheuristics
    (2017 International Symposium for Advanced Computing and Information Technology (ISACIT 2017) 2017)
Professional career (1):
  • 博士(学術) (東京大学)
Work history (4):
  • 2011/04 - 現在 Software Research Associates, Inc.
  • 2021/04 - 2022/03 Tokyo University of Science Division of Digital Transformation, Research Institute for Science & Technology Visiting Fellow
  • 2020/04 - 2021/03 Tokyo University of Science
  • 2001/04 - 2005/03 ADVANTEST CORPORATION
Awards (5):
  • 2022/06 - ソフトウェア技術者協会 ソフトウェア・シンポジウム2022 最優秀論文賞 深層学習における正則化へのドロップアウトデザインの適用
  • 2021/06 - ソフトウェア技術者協会 ソフトウェア・シンポジウム2021 最優秀論文賞 アリコロニー最適化法を用いたモデル検査の効率化のための探索戦略
  • 2011/03 - 情報処理学会 2010年度(平成22年度)山下記念研究賞 モデルに基づく誤り特定と反例修正候補の提示
  • 2009/09 - 情報処理学会 ソフトウェアエンジニアリングシンポジウム 2009 優秀論文賞 モデルに基づく誤り特定と反例修正候補の提示
  • 2001/03 - 電気学会 東京支部 平成12年度 電気学術奨励賞
Association Membership(s) (2):
ACM ,  INFORMATION PROCESSING SOCIETY OF JAPAN
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page