研究者
J-GLOBAL ID：200901084669293469   更新日: 2024年04月02日

山根 智

ヤマネ サトシ | Yamane Satoshi
所属機関・部署：
金沢大学 理工研究域

金沢大学 理工研究域 について


職名： 教授
ホームページURL (1件)： http://csl.ec.t.kanazawa-u.ac.jp/
研究分野 (1件)： ソフトウェア
研究キーワード (2件)： 機械学習,深層強化学習,深層学習,敵対的生成ネットワーク, 人工知能,データサイエンス ,  ソフトウェアモデル検査、計算機ソフトウェア、形式的検証、リアルタイムシステム,情報基礎
競争的資金等の研究課題 (11件)：
  • 2021 - 2024 割込みを持つ組込みアセンブリプログラムのリアルタイム性のソフトウェアモデル検査
  • 2018 - 2021 組込みアセンブリプログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発
  • 2015 - 2018 革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証
  • 2014 - 2017 多様なアプリケーションのための実行履歴を扱うソフトウェア基盤の研究開発
  • 2012 - 2015 動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証
全件表示
論文 (133件)：
  • Shunya Kidera, Kosuke Shintani, Toi Tsuneda, Satoshi Yamane. Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning. IEEE Access. 2024
  • Satoshi Yamane, Taro Kriyama, Yajun Wu. An Efficient Reduction of Timer Interrupts for Model Checking of Embedded Assembly Programs. Electronics. 2024. 13. 2
  • Shunya KIDERA, Kosuke SHINTANI, Toi TSUNEDA, Satoshi YAMANE. Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning (Extended Abstract). IEICE Technical Report. 2024. MSS2023. 56. 25-30
  • Ryoma FURUYAMA, Daiki KUYOSHI, Satoshi YAMANE. Extrinsicaly Rewarded Soft Q Imitation Learning with Discriminator (Extended Abstract). IEICE Technical Report. 2024. MSS2023-55. 55. 19-24
  • Ryoma Furuyama, Daiki Kuyoshi, Satoshi Yamane. Extrinsicaly Rewarded Soft Q Imitation Learning with Discriminator. CoRR. 2024. abs/2401.16772
もっと見る
MISC (173件)：
もっと見る
学歴 (3件)：
  • 博士(京都大学) 情報工学
  • 京都大学大学院
  • 京都大学
学位 (1件)：
  • 工学(博士) 情報工学 (京都大学)
経歴 (2件)：
  • 2003 - -: 金沢大学 教授
  • 2001 - -: Kanazawa University
受賞 (5件)：
  • 2004 - 国際コミュニケーション基金
  • 2003 - 人工知能研究振興財団
  • 2002 - 柏森情報科学振興財団
  • 1998 - 電気普及財団研究助成
  • 1998 - telecommunications advancement foundation
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM