BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//connpass.com//Connpass//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:connpass-JST/CREST-FMAPシンポジウム
X-WR-CALNAME:connpass-JST/CREST-FMAPシンポジウム
X-WR-TIMEZONE:UTC
BEGIN:VEVENT
SUMMARY:JST/CREST-FMAPシンポジウム
DTSTART:20251125T000000Z
DTEND:20251125T083000Z
DTSTAMP:20260920T152317Z
CATEGORIES:
CREATED:20250809T050947Z
DESCRIPTION:## JST 戦略的創造研究推進事業CRESTプロジェク
 ト「次世代車載基盤システムのための形式手法と検証
 ツールの創出」シンポジウム\n\nー 自動運転社会の安全
 を支える最先端科学技術：現状と未来 ー\n\n  * 主催：JS
 T 戦略的創造研究推進事業 CRESTプロジェクト  \n「次世
 代車載基盤システムのための形式手法と検証ツールの
 創出」\n\n  * 後援：小松市，BOLDLY株式会社\n  * ホームペ
 ージ：https://sites.google.com/view/crest-fmap-2025\n\n  \n\n本シン
 ポジウムでは，CRESTプロジェクト「次世代車載基盤シス
 テムのための形式手法と検証ツールの創出」の取り組
 みを紹介するとともに，自動運転社会の到来および自
 動運転システムの安全性をテーマに議論を行います．CR
 ESTは科学技術振興機構が提供する最大規模の学術研究
 予算です．本プロジェクトでは，自動運転システムの
 安全性を科学的に検証する手法の研究を進めています
 ．\n\n## シンポジウムの見どころ\n\n本シンポジウムでは
 ，石川県小松市およびコマツの取組に焦点を当て，社
 会における自動運転の現状についてご講演いただきま
 す．さらに，本CRESTプロジェクトの目的，課題，現状，
 そして今後の展開について紹介します．本シンポジウ
 ムの主な見どころは以下のとおりです．\n\n  * 一般技術
 者に分かりやすい紹介．自動運転に直接関わる技術者
 だけでなく，他分野の技術者にも理解いただけるよう
 ，全講演者に分かりやすい内容でご講演いただきます
 ． \n  * 小松市で運行中の自動運転バス．石川県小松市
 およびBOLDLY社より，自動運転バスの取組についてご紹
 介いただきます．また，実際に小松駅‐小松空港間を
 走行する自動運転バスの試乗・見学（定員50名程度）も
 実施します． \n  * コマツの無人ダンプトラック．自動
 運転の代表例として知られる，コマツの鉱山用無人ダ
 ンプトラックについてご講演いただきます．現在稼働
 している実システムを中心に，その技術の概要や工夫
 等についてご紹介いただきます． \n  * 本CRESTプロジェ
 クトでの取組紹介．本プロジェクトでは，オープンソ
 ースの自動運転システムAutowareを対象に研究を進めてい
 ます．小松市で運行中の自動運転バスもAutowareをベース
 にしたシステムを搭載しており，Tier IV社が開発と提供
 を担っています．本プロジェクトにも，Tier IV社のメン
 バが参画しています．本シンポジウムでは，まず，自
 動運転システムとAutowareについてわかりやすく解説しま
 す．そして，本プロジェクトの概要と最新の成果につ
 いて紹介します．\n  * 参加費無料です．\n\n## プログラ
 ム\n\n  * 9:00 - 9:10 開会の挨拶\n  * 9:10 - 9:50 石黒 康太郎 
 氏（小松市）：小松市における社会実装を軸とした自
 動運転バスの取り組みについて\n  * 9:50 - 10:30 脇 昭太郎
  氏（BOLDLY）：BOLDLYの考える自動運転車両の社会実装\n  
 * 10:30 - 10:40 休憩\n  * 10:40 - 11:20 佐々木 淳弥 氏（ティア
 フォー）：自動運転システム用オープンソースソフト
 ウェア Autoware の概要と応用例  \n  \n\n  * 11:20 - 13:30 昼休
 み + 自動運転バス見学（別途申込が必要です！）  \n  \n
 \n  * 13:30 - 14:30 【招待講演】遠嶋 雅徳 氏（コマツ）：
 コマツの鉱山機械の自動化への取り組みについて\n  * 14
 :30 - 14:40 休憩\n  * 14:40 - 15:20 青木 利晃 教授（JAIST）：
 自動運転システムの安全性検証に向けた最先端科学技
 術の挑戦\n  * 15:20 - 16:00 髙野 祐輝 氏（ティアフォー）
 ：自動運転時代のオペレーティングシステム\n  * 16:00 - 
 16:10 休憩\n  * 16:10 - 16:30 安積 卓也 教授（埼玉大学）：
 リアルタイム性検証が支える安全で信頼できる自動運
 転\n  * 16:30 - 16:50 冨田 尭 准教授（JAIST）：自動運転シ
 ステムのシナリオ＆シミュレーションベースの検証\n  *
  16:50 - 17:10 石井 大輔 准教授（JAIST）：MATLAB/Simulinkによ
 る自動運転制御のモデル化と検証\n  * 17:10 - 17:20 閉会の
 挨拶\n\nhttps://connpass.com/event/365564/
LOCATION:石川県小松市 日の出町1丁目100番 ウレシャス小
 松2F (こまつ北電ホール)
URL:https://connpass.com/event/365564/
END:VEVENT
END:VCALENDAR