研究者
J-GLOBAL ID:201901005550741439   更新日: 2020年09月01日

熊澤 努

クマザワ ツトム | Kumazawa Tsutomu
所属機関・部署:
研究分野 (1件): ソフトウェア
研究キーワード (2件): モデル検査 ,  ソフトウェア工学
論文 (12件):
  • 熊澤努, 小田朋宏. 行列計算に基づくモデル検査技術. ソフトウェア・シンポジウム2020 論文集. 2020. 104-113
  • 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
  • 高田圭一郎, 滝本宗宏, 熊澤努, 神林靖. ACOに基づくモデル検査の匂いフェロモンを用いた拡張. 情報処理学会プログラミング・シンポジウム予稿集. 2018. 59. 19-29
  • 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. 2018. 44. 511-521
  • Keiichiro Takada, Munehiro Takimoto, Tsutomu Kumazawa, Yasushi Kambayashi. ACO based model checking extended by smell-like pheromone with hop counts. Advances in Intelligent Systems and Computing. 2017. 514. 52-63
もっと見る
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
講演・口頭発表等 (3件):
  • 深層学習用組合せデザインを用いたドロップアウト法の性能評価報告
    (研究集会「実験計画法と符号および関連する組合せ構造」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件):
  • 博士(学術) (東京大学)
受賞 (3件):
  • 2011/03 - 情報処理学会 2010年度(平成22年度)山下記念研究賞
  • 2009/09 - 情報処理学会 ソフトウェアエンジニアリングシンポジウム 2009 優秀論文賞
  • 2001/03 - 電気学会 東京支部 平成12年度 電気学術奨励賞
所属学会 (2件):
ACM ,  情報処理学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る