SS2020プログラム　2日目：6/18(木)

8:30 9:00	ZOOM 事前動作確認 こちらにアクセスして、動作確認をするための時間として活用してください
9:00 9:25	ZOOM ［教育］ 司会：安達 賢二 (HBA)	ZOOM ［Future Presentation (1)］ 司会：日下部 茂 (長崎県立大学) 根本 紀之 (東京エレクトロン)
	事例報告 産学官連携による岩手県域における「震災復興支援家族ロボット教室」 新井 義和 (岩手県立大学)	9:00-9:40 ITシステムの現行ソフトウェアにおける技術的負債可視化の重要性について 増井 和也 (ソフトウェア・メインテナンス研究会) 9:40-10:20 コミュニティ型チーム活動の進化 ～ COVID-19 対策サイト開発から学ぶ～ 松尾谷 徹 (デバッグ工学研究所)
9:25 9:50	研究論文 インシデントリテラシ向上のための情報セキュリティゲームに導入教育を採用することの検証 廣瀬　司 (放送大学)
9:50 10:15	事例報告 コミュニケーション改善を目的とした論文形（かた）研修 阪井 誠 (SRA)
10:15 10:35	休憩
10:35 11:00	ZOOM ［形式仕様／モデル検査］ 司会：酒匂 寛 (デザイナーズデン)	ZOOM ［Future Presentation (2)］ 司会：西 康晴 (電気通信大学)
	研究論文 探索的仕様記述のための履歴ツールの提案と実装 小田 朋宏 (SRA)	10:35-11:15 デジタル変革を推進する上での課題 山本 修一郎
11:00 11:25	研究論文 行列計算に基づくモデル検査技術 熊澤 努 (SRA)
11:25 13:00	休憩
13:00 14:00	ZOOM 基調講演(2) 司会：本多 慶匡 (東京エレクトロン)
	第3次AIブームを考える ～情報科学を駆使した実社会データ連携～ 長谷山 美紀 教授 (北海道大学)
14:00 14:10	クロージング ※ クロージングは基調講演(2)と同じURLになります。 実行委員長 野村 行憲 (岩手県立産業技術短期大学校) プログラム委員長 河野 哲也 (ディー・エヌ・エー)
14:10 18:00	ワーキンググループ・チュートリアル
	ZOOM WG1 実践！形式仕様言語を用いたモブプログラミング ZOOM WG2 PMO・レビューアのための場を作る対話法を考えてみよう ～福祉分野で話題の対話法をソフトウェア開発へ～ ZOOM WG3 「技術的負債可視化簡易調査票」の試作 ZOOM WG4 新しい品質保証のかたちをめざして in SS2020 ZOOM WG5 探索的テストのコツ ～チャーターの活用術～ ZOOM WG6 エンジニアのトリセツ 4 ～「COVID-19 対策サイト開発の謎」に学ぶ～ ZOOM WG7 テレワーク時代の技術者育成 ～教えないでスーパーソフトウェアエンジニアを育てる～ ZOOM TS1 エンジニアの為のオンラインでの場作り ※ 開始・終了時間は、WG/TSのサイトで確認してください。 　 　 　 6/18(木)～19(金)の2日間開催するWGもあります。