Rchr
J-GLOBAL ID：201901005550741439
Update date: Nov. 12, 2024
Kumazawa Tsutomu
クマザワ ツトム | Kumazawa Tsutomu
Affiliation and department：
Other affiliations (1)：
Research field (1)：
Software
Research keywords (2)：
Model Checking
, Software Engineering
Research theme for competitive and other funds (1)：
- 2022 - 2025 複数の群れに基づく群知能を用いた軽量モデル検査技法の研究
Papers (21)：
-
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
-
Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kodama, Yasushi Kambayashi. Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization. Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection. 2023. 137-148
-
Moeko Okawara, Junji Fukuhara, Munehiro Takimoto, Tsutomu Kumazawa, Yasushi Kambayashi. Efficient Inductive Logic Programming based on Predictive A*-like Algorithm. Human Interaction and Emerging Technologies (IHIET-AI 2023): Artificial Intelligence and Future Applications. 2023
-
Kyosuke Obara, Munehiro Takimoto, Tsutomu Kumazawa, Yasushi Kambayashi. Efficient Inductive Logic Programming Based on Particle Swarm Optimization. Artificial Intelligence for Communications and Networks. AICON 2022. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. 2023. 151-158
-
Takashi Nagata, Jinwei Xing, Tsutomu Kumazawa, Emre Neftci. Uncertainty Aware Model Integration on Reinforcement Learning. 2022 International Joint Conference on Neural Networks (IJCNN). 2022
ｍ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
