| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, MSS (共催) |
2024-01-18 11:05 |
石川 | 金沢商工会議所会館（石川県金沢市） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
車両情報を用いた深層学習による運転者眠気検知の検討 ○中釜雄太郎・石井大輔（北陸先端大）・美添一樹（九大）  MSS2023-63 SS2023-42 |
自動車運転者の注意力散漫による事故を防ぐため運転者眠気検知 (driver drowsiness detection, ... [more] | MSS2023-63 SS2023-42 pp.64-69 |
| MSS, SS (共催) |
2023-01-11 11:15 |
大阪 | 大阪市立生涯学習センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
ROSベースロボットアームの適合性テストに関する実験 ○陳 路威・石井大輔（北陸先端大） MSS2022-55 SS2022-40 |
[more] | MSS2022-55 SS2022-40 pp.60-65 |
| NLP, MSS (併催) |
2019-03-14 12:55 |
福井 | 福井大学 文京キャンパス | SimulinkモデルのSMT-LIBエンコード方法に関する実験 ○武仲紘輝・石井大輔（福井大） MSS2018-82 |
Simulink モデルの網羅テストなどにおいて，汎用プログラムと同様に SMT ソルバーを用いた静的解析が役立つ．そこ... [more] | MSS2018-82 pp.7-11 |
| NLP, MSS (併催) |
2019-03-14 13:45 |
福井 | 福井大学 文京キャンパス | Duraczらの操作的意味論に基づくハイブリッドシステムの高信頼シミュレータの実装 ○小嶋翔太・石井大輔（福井大） MSS2018-84 |
ハイブリッドシステムの解析において, 状態の保守的近似に基づく高信頼な数値シミュレーションが役立つ. しかし, 既存の... [more] |
MSS2018-84 pp.19-22 |
| SS | 2019-03-04 10:15 |
沖縄 | 沖縄産業支援センター | Acumenを用いたハイブリッドシステムの統計的モデル検査 ○井上晃輔・石井大輔（福井大） SS2018-54 |
信頼性の高い連続・離散ハイブリッドシステムの開発には, モデリング・シミュレーション・検証のための統合ツールが有用である... [more] | SS2018-54 pp.13-18 |
| IBISML | 2018-03-06 10:25 |
福岡 | 九州大学 西新プラザ | Krawczyk-Hansenによる精度保証つき大域的最適化法の局所解を用いた高速化 ○高田浩彰（東大）・美添一樹（理研）・石井大輔（福井大）・津田宏治（東大） IBISML2017-99 |
Krawczyk-Hansenアルゴリズムとは、区間演算と分枝最適化を用いて大域的最適化を精度保証つきで行う手法である。... [more] | IBISML2017-99 pp.63-70 |
| MSS | 2016-03-04 09:35 |
山口 | 海峡メッセ下関 | 時相論理式の反証を用いた制御器のチューニング ○峰尾太陽（東工大）・石井大輔（福井大）・渡部卓雄（東工大） MSS2015-79 |
[more] | MSS2015-79 pp.61-66 |
| SS, MSS (共催) |
2016-01-25 15:00 |
石川 | しいのき迎賓館 セミナールームB | ［招待講演］区間解析による時相論理式の頑健性モニタリング ○石井大輔（福井大） MSS2015-45 SS2015-54 |
[more] | MSS2015-45 SS2015-54 pp.59-62 |
| MSS, SS (共催) |
2015-01-27 08:30 |
鳥取 | ブランナールみささ | 区間解析を用いたハイブリッドシステムの統計的モデル検査 ○石井大輔・米崎直樹（東工大） MSS2014-80 SS2014-44 |
[more] | MSS2014-80 SS2014-44 pp.67-71 |
| SS, MSS (共催) |
2014-01-31 16:15 |
愛知 | 豊田中央研究所 | 平行体計算を用いた非線形ハイブリッドシステムのシミュレーション ○石井大輔（東工大）・Alexandre Goldsztejn（CNRS/LINA） MSS2013-74 SS2013-71 |
[more] | MSS2013-74 SS2013-71 pp.135-139 |
| SS, MSS (共催) |
2012-01-27 09:00 |
高知 | 高知市文化プラザかるぽーと | ［招待講演］区間制約プログラミングの研究事例 ～ Under-constrained問題のための射影手法とハイブリッドシステムの高精度シミュレーション手法 ～ ○石井大輔（NII） MSS2011-67 SS2011-52 |
区間制約プログラミングは連続領域の変数をもつ制約を用いて事象を記述し，区間計算を用いて高信頼な求解処理を行う枠組みである... [more] | MSS2011-67 SS2011-52 pp.73-77 |
| MSS | 2009-01-30 09:55 |
神奈川 | 神奈川県産業振興センター会議室(第一会議室) | 微分制約論理式によるハイブリッドシステムのモデリングと検証 ○石井大輔・上田和紀（早大）・細部博史（NII） CST2008-53 |
本研究ではハイブリッドシステムの到達可能性検証のための有界モデル検査法（bounded model checking）を... [more] | CST2008-53 pp.67-70 |
[研究会発表申込システムのトップページに戻る]