中村 正樹 氏の講演一覧

5月20日(金) 11:00-12:15 @第1室
(セッション番号 321)
司会
  1. 榊原 一紀 (富山県立大学)
11:30
- 11:45
到達可能性解析と定理証明を用いたハイブリッドシステムの形式的検証の検討
  1. 浅井 智也 ,
  2. 中村 正樹 ,
  3. 榊原 一紀 (富山県立大学)
11:45
- 12:00
自動運転システムのSimulinkによるモデル化とSpaceExによる形式的検証
  1. 甲斐 雅也 ,
  2. 中村 正樹 ,
  3. 榊原 一紀 (富山県立大学)
5月20日(金) 15:00-16:45 @第2室
(セッション番号 342)
司会
  1. 星野 健太 (京都大学)
16:00
- 16:15
自動運転車群運行の全体最適化のための機械学習を用いたモデル予測制御
  1. 吉田 暉 ,
  2. 松﨑 仁平 ,
  3. 榊原 一紀 ,
  4. 中村 正樹 (富山県立大学)
5月20日(金) 15:00-16:45 @第5室
(セッション番号 345)
司会
  1. 田中 雅博 (甲南大学)
15:15
- 15:30
タンパク質可溶化予測のための機械学習モデルの形式概念分析による可視化
  1. 北條 佑斗 ,
  2. 鈴木 皓大 ,
  3. 榊原 一紀 ,
  4. 中村 正樹 ,
  5. 渡邉 幸夫 ,
  6. 篠田 優 ,
  7. 浅野 泰久 (富山県立大学)
「中村 正樹 氏の講演一覧」 の情報を共有