• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

熊澤 努  Kumazawa Tsutomu

ORCIDORCID連携する *注記
研究者番号 90847906
その他のID
所属 (現在) 2025年度: 山陽小野田市立山口東京理科大学, 工学部, 教授
2025年度: 株式会社SRA(先端技術研究室), 先端技術研究室, 研究員
所属 (過去の研究課題情報に基づく) *注記 2025年度: 山陽小野田市立山口東京理科大学, 工学部, 教授
2022年度 – 2023年度: 株式会社SRA(先端技術研究室), 先端技術研究室, 研究員
審査区分/研究分野
研究代表者
小区分60050:ソフトウェア関連
キーワード
研究代表者
モデル検査 / 言語モデル / 深層強化学習 / 群知能 / 目的関数 / 問題分割 / ベンチマーク生成 / 網羅性 / 粒子群最適化法
  • 研究課題

    (2件)
  • 研究成果

    (3件)
  • 共同研究者

    (3人)
  •  言語モデル型深層強化学習に基づくモデル検査技法の研究研究代表者

    • 研究代表者
      熊澤 努
    • 研究期間 (年度)
      2025 – 2027
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      山陽小野田市立山口東京理科大学
  •  複数の群れに基づく群知能を用いた軽量モデル検査技法の研究研究代表者

    • 研究代表者
      熊澤 努
    • 研究期間 (年度)
      2022 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      株式会社SRA(先端技術研究室)

すべて 2023 2022

すべて 学会発表

  • [学会発表] Efficient Inductive Logic Programming based on Predictive A*-like Algorithm2023

    • 著者名/発表者名
      Moeko Okawara, Junji Fukuhara, Munehiro Takimoto, Tsutomu Kumazawa, Yasushi Kambayashi
    • 学会等名
      9th International Conference on Human Interaction and Emerging Technologies (IHIET-AI 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K11988
  • [学会発表] Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization2023

    • 著者名/発表者名
      Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kodama, Yasushi Kambayashi
    • 学会等名
      21st International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K11988
  • [学会発表] A safety checking algorithm with multi-swarm particle swarm optimization2022

    • 著者名/発表者名
      Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi
    • 学会等名
      The Genetic and Evolutionary Computation Conference (GECCO '22)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K11988
  • 1.  滝本 宗宏 (00318205)
    共同の研究課題数: 2件
    共同の研究成果数: 3件
  • 2.  神林 靖 (40269527)
    共同の研究課題数: 2件
    共同の研究成果数: 3件
  • 3.  児玉 靖司 (30266910)
    共同の研究課題数: 1件
    共同の研究成果数: 1件

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi