研究者
J-GLOBAL ID：201901005550741439   更新日: 2024年11月12日

熊澤 努

クマザワ ツトム | Kumazawa Tsutomu
所属機関・部署：
株式会社SRA 先端技術研究室

株式会社SRA 先端技術研究室 について


その他の所属（所属・部署名・職名） (1件)：
研究分野 (1件)： ソフトウェア
研究キーワード (2件)： モデル検査 ,  ソフトウェア工学
競争的資金等の研究課題 (1件)：
  • 2022 - 2025 複数の群れに基づく群知能を用いた軽量モデル検査技法の研究
論文 (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
もっと見る
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
講演・口頭発表等 (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)
学位 (1件)：
  • 博士(学術) (東京大学)
経歴 (5件)：
  • 2023/04 - 現在 山陽小野田市立山口東京理科大学 工学部 数理情報科学科 教授
  • 2021/04 - 現在 東京理科大学 研究推進機構総合研究院 デジタルトランスフォーメーション研究部門 客員研究員
  • 2011/04 - 現在 株式会社SRA
  • 2020/04 - 2021/03 東京理科大学 理工学部 横断型コース制 デジタルトランスフォーメーションコース 客員研究員
  • 2001/04 - 2005/03 株式会社アドバンテスト
受賞 (5件)：
  • 2022/06 - ソフトウェア技術者協会 ソフトウェア・シンポジウム2022 最優秀論文賞 深層学習における正則化へのドロップアウトデザインの適用
  • 2021/06 - ソフトウェア技術者協会 ソフトウェア・シンポジウム2021 最優秀論文賞 アリコロニー最適化法を用いたモデル検査の効率化のための探索戦略
  • 2011/03 - 情報処理学会 2010年度(平成22年度)山下記念研究賞 モデルに基づく誤り特定と反例修正候補の提示
  • 2009/09 - 情報処理学会 ソフトウェアエンジニアリングシンポジウム 2009 優秀論文賞 モデルに基づく誤り特定と反例修正候補の提示
  • 2001/03 - 電気学会 東京支部 平成12年度 電気学術奨励賞
所属学会 (2件)：
ACM ,  情報処理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM