| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SIS | 2021-03-04 15:50 |
ONLINE | オンライン開催 | ［招待講演］AIをより安全に制御に使うための一提案 ○金川信康（日立）  SIS2020-50 |
第２次AI（人工知能）ブーム中に提案された「ニューラルネットワーク」を発展させた「ディープ・ラーニング」（深層学習）の研... [more] | SIS2020-50 pp.83-87 |
| DC | 2018-12-14 17:15 |
沖縄 | 沖縄県立宮古青少年の家 | ［招待講演］安全検証を利用したセキュリティ機能の実現 ～ セキュリティと機能安全の両立のために ～ ○金川信康（日立） DC2018-70 |
本発表ではまず，人工知能(AI)とは何か，なぜ安全が課題なのかを示す．続いて報告者らが提案したAIに安全検証機能を付加し... [more] | DC2018-70 pp.59-64 |
| MSS, NLP (併催) |
2018-03-13 14:55 |
大阪 | 大阪大学豊中キャンパス | 定理証明器Princessを用いた組込みアセンブリプログラムのリアルタイム安全性の演繹的検証 ○小田島直樹（金沢大）・福田岳飛（金沢錦丘高校）・山根 智（金沢大） MSS2017-84 |
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, 組込みプログラムのリ... [more] | MSS2017-84 pp.35-40 |
| SIP, CAS, MSS, VLD (共催) |
2017-06-20 09:30 |
新潟 | 新潟大学五十嵐キャンパス 中央図書館ライブラリーホール | 組込みアセンブリプログラムのリアルタイム安全性の演繹的検証 ～ □≦TIME q = □(q∧(time≦TIME)) ～ ○山根 智（金沢大） CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12 |
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, 組込みプログラムのリ... [more] | CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12 pp.59-64 |
[研究会発表申込システムのトップページに戻る]