Rchr
J-GLOBAL ID：201901005550741439
Update date: Oct. 14, 2025
Kumazawa Tsutomu
クマザワ ツトム | Kumazawa Tsutomu
Affiliation and department：
Other affiliations (1)：
-
Sanyo-Onoda City University
Faculty of Engineering Department of Informatics and Data Science
Professor
Research field (1)：
Software
Research keywords (2)：
Model Checking
, Software Engineering
Research theme for competitive and other funds (3)：
- 2025 - 2028 Study on development and administrative use of safety evaluation tests for pharmaceuticals using NAMs
- 2025 - 2028 言語モデル型深層強化学習に基づくモデル検査技法の研究
- 2022 - 2025 複数の群れに基づく群知能を用いた軽量モデル検査技法の研究
Papers (25)：
-
Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kodama, Yasushi Kambayashi. A Simple Negative Benchmark Generation for Safety Checking. Learning and Analytics in Intelligent Systems. 2025. 52. 285-297
-
Tomo Nakazawa, Moeko Okawara, Tsutomu Kumazawa, Yasushi Kambayashi, Munehiro Takimoto. Efficient Inductive Logic Programming Based on Neural Networks. Computational Science and Computational Intelligence. CSCI 2024, Communications in Computer and Information Science. 2025. 2503. 80-89
-
Asaka Takase, Tsutomu Kumazawa, Munehiro Takimoto. Gravitational Search Algorithm-Based Efficient Model Checking. Proceedings of the 18th ACM International Conference on PErvasive Technologies Related to Assistive Environments. 2025. 468-472
-
Tomo Nakazawa, Tsutomu Kumazawa, Yasushi Kambayashi, Munehiro Takimoto. Effectiveness of Sub-MSH Size Pruning in BCP Based ILP. Proceedings of the 18th ACM International Conference on PErvasive Technologies Related to Assistive Environments. 2025. 435-438
-
Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kodama, Yasushi Kambayashi. Memoization in Model Checking for Safety Properties with Multi-Swarm Particle Swarm Optimization. Electronics. 2024. 13. 21. 4199-4199
ｍore...
MISC (3)：
-
熊澤 努. 群知能でソフトウェアの不具合を発見する. 科学フォーラム. 2022. 431. 4-8
-
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 (5)：
- 2023/04 - 現在 Sanyo-Onoda City University Faculty of Engineering Informatics and Data Science Professor
- 2021/04 - 現在 Tokyo University of Science Division of Digital Transformation, Research Institute for Science & Technology Visiting Fellow
- 2011/04 - 現在 Software Research Associates, Inc.
- 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
