研究者情報
基本情報
研究者基本情報
主な研究課題
所属
研究分野
研究経歴
研究職歴
委員歴／役員歴
学位
出身大学
研究情報
著作(論文等)
著書
学会発表
その他業績
特許
受賞歴
学会活動
客員教授
産学連携情報
共同研究テーマ
教育情報
学識経験
外部リンク
外部リンク
基本情報
氏名
熊澤 努
氏名（カナ）
クマザワ ツトム
氏名（英語）
Kumazawa Tsutomu
所属
山陽小野田市立山口東京理科大学工学部数理情報科学科
職名
教授
researchmap研究者コード
researchmap機関
基本情報
研究者基本情報
熊澤 努 クマザワ ツトム Kumazawa Tsutomu
主な研究課題
ソフトウェアの開発を円滑に進め，高い品質を実現するためには，ソフトウェアを検査して不具合を発見する技術が必要です．こうした検査技術の一つである形式的検証技術の研究を，群知能と呼ばれる知的探索技術を使って行っています．
所属
山口東京理科大学 工学部数理情報科学科 教授
研究分野
モデル検査, ソフトウェア工学 Model Checking, Software Engineering
研究経歴
2015 ～ 現在 群知能を用いたモデル検査技法の研究
2019 ～ 現在 組合せ論の深層学習への適用
研究職歴
2019 ～ 2022 株式会社SRA DX技術本部 先端技術研究所 研究員
2022 ～ 現在 株式会社SRA 技術研究所 先端技術研究室 研究員
委員歴／役員歴
2024 2025 ソフトウェア技術者協会 ソフトウェア・シンポジウム2025 プログラム委員長
学位
東京大学 学術 博士（学術）
東京大学 学術 修士（学術）
東京都立大学 工学 学士（工学）
出身大学
東京都立大学 工学部 電子・情報工学科 学士 卒業
東京大学大学院 総合文化研究科 広域科学専攻 修士課程 修了
東京大学大学院 総合文化研究科 広域科学専攻 博士課程 修了
研究情報
著作(論文等)
Efficient Inductive Logic Programming Based on Neural Networks Computational Science and Computational Intelligence. CSCI 2024, Communications in Computer and Information Science 2025/08 2503 80 89
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/07 435 438
Gravitational Search Algorithm-Based Efficient Model Checking Proceedings of the 18th ACM International Conference on PErvasive Technologies Related to Assistive Environments 2025/07 468 472
Memoization in Model Checking for Safety Properties with Multi-Swarm Particle Swarm Optimization Electronics 2024/10 13 21 4199
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/07 137 ～ 148
全て表示する（27件）
Efficient Inductive Logic Programming based on Predictive A*-like Algorithm Human Interaction and Emerging Technologies (IHIET-AI 2023): Artificial Intelligence and Future Applications 2023/04 99 ～ 107
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/03 151 ～ 158
群知能でソフトウェアの不具合を発見する 科学フォーラム 2022/10 431 4 ～ 8
A safety checking algorithm with multi-swarm particle swarm optimization Proceedings of the Genetic and Evolutionary Computation Conference Companion 2022/07 786 ～ 789
Uncertainty Aware Model Integration on Reinforcement Learning 2022 International Joint Conference on Neural Networks (IJCNN) 2022/07
深層学習における正則化へのドロップアウトデザインの適用 ソフトウェア・シンポジウム 2022論文集 2022/06 1 ～ 10
Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization Journal of Information and Telecommunication 2022/03 6 3 341 ～ 359
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/09 264 ～ 276
アリコロニー最適化法を用いたモデル検査の効率化のための探索戦略 ソフトウェア・シンポジウム2021 論文集 2021/05 126 ～ 135
行列計算に基づくモデル検査技術 ソフトウェア・シンポジウム2020 論文集 2020/06 104 ～ 113
A Survey on the Applications of Swarm Intelligence to Software Verification Handbook of Research on Fireworks Algorithms and Swarm Intelligence 2020/04 376 ～ 398
Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts Swarm and Evolutionary Computation 2019/02 44 511 ～ 521
A Fast Learning Recommender Estimating Preferred Ranges of Features Takuya Watanabe , Yuji Nakazato , Hiroaki Muroi , Takuya Hashimoto , Toru Shimogaki , Takeshi Nakano , Tsutomu Kumazawa 2018/08 108 86 ～ 96
ACOに基づくモデル検査の匂いフェロモンを用いた拡張 情報処理学会プログラミング・シンポジウム予稿集 2018/01 59 19 ～ 29
ACO based model checking extended by smell-like pheromone with hop counts Advances in Intelligent Systems and Computing 2017/01 514 52 ～ 63
Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone EAI Endorsed Transactions on Industrial Networks and Intelligent Systems 2016/04 3 7 e1
Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone Proceedings of the 9th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS) (BICT'15) 2015/12 214 ～ 220
高信頼性ソフトウェアシステムの実現ためモデル修正技術に関する研究 情報処理 2012/03 53 3 269
Counterexample-Based Error Localization of Behavior Models NASA FORMAL METHODS 2011/04 6617 222 ～ 236
モデルに基づく誤り特定と反例修正候補の提示 ソフトウェアエンジニアリング最前線 : 情報処理学会ソフトウェアエンジニアリングシンポジウム 2009 2009/09 55 ～ 62
Iterative model fixing with counterexamples Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference (APSEC '08) 2008/12 369 ～ 376
ユースケースによる安全性要求分析のための想定外シナリオ抽出法の提案 情報処理学会研究報告. SE,ソフトウェア工学研究会報告，2007-SE-155 2007/03 155 3 191 ～ 198
表示を折りたたむ
著書
学会発表
A Simple Negative Benchmark Generation for Safety Checking 口頭発表（一般） First International Conference on AI-empowered Software Engineering 2024/08
ドロップアウトデザインの深層学習への適用と性能評価 口頭発表（一般） Japanese Conference on Combinatorics and its Applications 2021 離散数学とその応用研究集会2021 ミニシンポジウム「符号・暗号・人工知能」 2021/08
深層学習用組合せデザインを用いたドロップアウト法の性能評価報告 口頭発表（一般） 研究集会「実験計画法と符号および関連する組合せ構造」2019 2019/11
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/07
Model Checking with Metaheuristics 口頭発表（招待・特別） 2017 International Symposium for Advanced Computing and Information Technology (ISACIT 2017) 2017/07
その他業績
特許
受賞歴
ソフトウェア・シンポジウム2022 最優秀論文賞 2022/06
ソフトウェア・シンポジウム2021 最優秀論文賞 2021/06
山下記念研究賞 2011/03
ソフトウェアエンジニアリングシンポジウム 2009 優秀論文賞 2009/09
電気学術奨励賞 2001/03
学会活動
客員教授
産学連携情報
共同研究テーマ
教育情報
学識経験
2025 東京理科大学 非常勤講師
2024 東京理科大学 非常勤講師
2023 株式会社SRA 研究員
外部リンク
外部リンク
https://www.d-pam.com/socu/2311123/index.html?tm=1#target/page_no=15
