• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Kumazawa Tsutomu  熊澤 努

ORCIDConnect your ORCID iD *help
… Alternative Names

熊澤 努  クマザワ ツトム

Less
Researcher Number 90847906
Other IDs
Affiliation (Current) 2025: 山陽小野田市立山口東京理科大学, 工学部, 教授
2025: 株式会社SRA(先端技術研究室), 先端技術研究室, 研究員
Affiliation (based on the past Project Information) *help 2025: 山陽小野田市立山口東京理科大学, 工学部, 教授
2022 – 2023: 株式会社SRA(先端技術研究室), 先端技術研究室, 研究員
Review Section/Research Field
Principal Investigator
Basic Section 60050:Software-related
Keywords
Principal Investigator
群知能 / 目的関数 / 問題分割 / ベンチマーク生成 / 網羅性 / 粒子群最適化法 / モデル検査
  • Research Projects

    (2 results)
  • Research Products

    (3 results)
  • Co-Researchers

    (3 People)
  •  言語モデル型深層強化学習に基づくモデル検査技法の研究Principal Investigator

    • Principal Investigator
      熊澤 努
    • Project Period (FY)
      2025 – 2027
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Tokyo University of Science, Yamaguchi
  •  複数の群れに基づく群知能を用いた軽量モデル検査技法の研究Principal Investigator

    • Principal Investigator
      熊澤 努
    • Project Period (FY)
      2022 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Software Research Assosiate,Inc.(Key Technology Group)

All 2023 2022

All Presentation

  • [Presentation] Efficient Inductive Logic Programming based on Predictive A*-like Algorithm2023

    • Author(s)
      Moeko Okawara, Junji Fukuhara, Munehiro Takimoto, Tsutomu Kumazawa, Yasushi Kambayashi
    • Organizer
      9th International Conference on Human Interaction and Emerging Technologies (IHIET-AI 2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K11988
  • [Presentation] Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization2023

    • Author(s)
      Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kodama, Yasushi Kambayashi
    • Organizer
      21st International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K11988
  • [Presentation] A safety checking algorithm with multi-swarm particle swarm optimization2022

    • Author(s)
      Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi
    • Organizer
      The Genetic and Evolutionary Computation Conference (GECCO '22)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K11988
  • 1.  滝本 宗宏 (00318205)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 2.  児玉 靖司 (30266910)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 3.  神林 靖 (40269527)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi