研究者
J-GLOBAL ID:201901005550741439   更新日: 2022年01月21日

熊澤 努

クマザワ ツトム | Kumazawa Tsutomu
所属機関・部署:
研究分野 (1件): ソフトウェア
研究キーワード (2件): モデル検査 ,  ソフトウェア工学
論文 (13件):
  • Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi. 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. 12876. 264-276
  • 熊澤努, 滝本 宗宏, 神林 靖. アリコロニー最適化法を用いたモデル検査の効率化のための探索戦略. ソフトウェア・シンポジウム2021 論文集. 2021. 126-135
  • 熊澤努, 小田朋宏. 行列計算に基づくモデル検査技術. ソフトウェア・シンポジウム2020 論文集. 2020. 104-113
  • 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. 2019. 44. 511-521
  • 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. 2018. 108. 86-96
もっと見る
MISC (2件):
  • 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件):
  • 博士(学術) (東京大学)
経歴 (4件):
  • 2011/04 - 現在 株式会社SRA
  • 2021/04 - 2022/03 東京理科大学 研究推進機構総合研究院 デジタルトランスフォーメーション研究部門 客員研究員
  • 2020/04 - 2021/03 東京理科大学 理工学部 横断型コース制 デジタルトランスフォーメーションコース 客員研究員
  • 2001/04 - 2005/03 株式会社アドバンテスト
受賞 (4件):
  • 2021/06 - ソフトウェア技術者協会 ソフトウェア・シンポジウム2021 最優秀論文賞 アリコロニー最適化法を用いたモデル検査の効率化のための探索戦略
  • 2011/03 - 情報処理学会 2010年度(平成22年度)山下記念研究賞 モデルに基づく誤り特定と反例修正候補の提示
  • 2009/09 - 情報処理学会 ソフトウェアエンジニアリングシンポジウム 2009 優秀論文賞 モデルに基づく誤り特定と反例修正候補の提示
  • 2001/03 - 電気学会 東京支部 平成12年度 電気学術奨励賞
所属学会 (2件):
ACM ,  情報処理学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る