Rchr
J-GLOBAL ID:201901005550741439   Update date: Sep. 30, 2020

Kumazawa Tsutomu

クマザワ ツトム | Kumazawa Tsutomu
Affiliation and department:
Research field  (1): Software
Research keywords  (2): Model Checking ,  Software Engineering
Papers (11):
  • 熊澤努, 小田朋宏. 行列計算に基づくモデル検査技術. ソフトウェア・シンポジウム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 : Engineering2018. 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
more...
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
Lectures and oral presentations  (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)
Professional career (1):
  • 博士(学術) (東京大学)
Awards (3):
  • 2011/03 - 情報処理学会 2010年度(平成22年度)山下記念研究賞
  • 2009/09 - 情報処理学会 ソフトウェアエンジニアリングシンポジウム 2009 優秀論文賞
  • 2001/03 - 電気学会 東京支部 平成12年度 電気学術奨励賞
Association Membership(s) (2):
ACM ,  INFORMATION PROCESSING SOCIETY OF JAPAN
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page