熊澤 努（Tsutomu Kumazawa）

職名	教授　(Professor)
学位	博士(学術)
専門分野	ソフトウェア工学、特に、形式的検証技術とその応用
略歴	東京都立大学 工学部 電子・情報工学科 卒業 株式会社アドバンテスト 　　　　　 東京大学大学院 総合文化研究科 広域科学専攻 修士課程修了 東京大学大学院 総合文化研究科 広域科学専攻 博士課程修了 株式会社SRA 東京理科大学 理工学部 横断型コース制 デジタルトランスフォーメーションコース 客員研究員 東京理科大学 研究推進機構総合研究院 デジタルトランスフォーメーション研究部門 客員研究員
研究者データベース	詳細はこちらから
研究シーズ	詳細はこちらから
SDGsの取組み

主な研究課題

群知能を用いたモデル検査技法の研究

ソフトウェアの開発を円滑に進め，高い品質を実現するためには，ソフトウェアを検査して不具合を発見する技術が必要です．こうした検査技術の一つである形式的検証技術の研究を行っています．

主な著書・論文

• Takashi Nagata, Jinwei Xing, Tsutomu Kumazawa, Emre Neftci, "Uncertainty Aware Model Integration on Reinforcement Learning," In 2022 International Joint Conference on Neural Networks, 2022.
• Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi, "A Safety Checking Algorithm with Multi-swarm Particle Swarm Optimization," In Proceedings of the Genetic and Evolutionary Computation Conference Companion, 786-789, 2022.
• 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 6(3), 341-359, 2022.
• 熊澤 努, 地嵜 頌子, 中川 智之, 室井 浩明, 渡邉 卓也，「深層学習における正則化へのドロップアウトデザインの適用」，ソフトウェア・シンポジウム 2022論文集， 1-10 2022．
• 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 376-398, 2020.
• Tsutomu Kumazawa, Keiichiro Takada, Munehiro Takimoto, Yasushi Kambayashi, "Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts," Swarm and Evolutionary Computation 44, 511-521, 2019.
• Takuya Watanabe, Yuji Nakazato, Hiroaki Muroi, Takuya Hashimoto, Toru Shimogaki, Takeshi Nakano, Tsutomu Kumazawa, "A Fast Learning Recommender Estimating Preferred Ranges of Features," Knowledge-Based Software Engineering: 2018 (JCKBSE 2018), Smart Innovation, Systems and Technologies 108, 86-96, 2018.
• Tsutomu Kumazawa, Chihiro Yokoyama, Munehiro Takimoto, Yasushi Kambayashi, "Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone," EAI Endorsed Transactions on Industrial Networks and Intelligent Systems 3(7) e1 2016.
• Tsutomu Kumazawa, Tetsuo Tamai, "Counterexample-Based Error Localization of Behavior Models," NASA Formal Methods (NFM 2011), Lecture Notes in Computer Science 6617, 222 - 236, 2011.

主な国際・国内活動

• 情報処理学会
• ACM