研究会開催プログラム

お知らせ 2023年度・2024年度学生員会費割引キャンペーン実施中です
お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について

電子情報通信学会研究会発表申込システム
研究会開催プログラム

技報閲覧サービス
[ログイン]
技報アーカイブ

トップ

戻る

前のKBSE研究会 / 次のKBSE研究会

[HTML] / [HTML(simple)] / [TEXT]

[Japanese] / [English]

★知能ソフトウェア工学研究会（KBSE）
専門委員長　中川博之 (阪大)　　副委員長　猿渡卓也 (NTTデータ)
幹事　菊地奈穂美 (OKI)，金子朋子 (国立情報学研究所)
幹事補佐　小形真平 (信州大)，槇原絵里奈 (同志社大)

日時　2021年 1月23日(土)　13：00～17：00

会場オンライン開催

議題一般，学生

−−−　オープニング　（ 5分）　−−−

1月23日(土) 午後学生発表（13：05～14：15）

(1) 13:05 - 13:35
DevOpsアシュアランスケースによる自動運転システムの安全性保証
○小池湧大（日大）・岡田　学（ティアフォー）・高井利憲（チェンジビジョン）・大熊拓海・松野　裕（日大）

(2) 13:35 - 14:05
システム仕様書の形式化による漏れ・誤りの発見および修正支援
○若松大雅・青山裕介・久代紀之（九工大）

−−−　休憩　（ 10分）　−−−

1月23日(土) 午後一般発表（14：15～15：55）

(3) 14:15 - 15:00
時間制約を実行時に検証可能な自己適応フレームワークに関する研究
○小島英春・中川博之（阪大）

(4) 15:00 - 15:45
DNSトンネル検出研究のための評価データセットに係る考察
○朝倉哲也・辰己丈夫（放送大）

−−−　休憩　（ 10分）　−−−

1月23日(土) 午後招待講演（15：55～17：00）

(5) 15:55 - 16:55
［招待講演］「機械学習応用システムの安全性の研究動向と今後の展望」
○吉岡信和（NII）

−−−　クロージング　（ 5分）　−−−

一般講演：発表 30 分＋質疑応答 15 分
学生及び若手発表：発表 20 分＋質疑応答 10 分
招待講演：発表 55 分＋質疑応答 5 分

◎開催形態について
- オンラインではZoomを利用する予定です

☆KBSE研究会今後の予定　[ ]内発表申込締切日

3月5日(金)～6日(土)　オンライン開催　[1月12日(火)]　テーマ：一般，学生

【問合先】
ＫＢＳＥ幹事団ＭＬ
E-mail: kb