第1７回 人工知能学会 知識流通ネットワーク研究会 プログラム
論文はこちらをご覧ください。
【日程】 2015年 10月2日(金) 14:00-17:05
【会場】 名古屋大学 （地下鉄名城線 名古屋大学駅）
基盤センター 4F 演習室
愛知県名古屋市千種区不老町
【プログラム】1件 40分（発表時間：25分、質疑応答：15分）
■セッション1：14:00-15:20
(1) ソフトウェア設計書と要求仕様書の共通語彙分析
○奈加 大樹(名古屋大学大学院), 森崎 修司(名古屋大学大学院), 渥美 紀寿(名古屋大学), 山本 修一郎(名古屋大学)
(2) EARSを拡張した車載ソフトウェア仕様記述言語セットの提案
小林 展英(株式会社デンソークリエイト), ○岡本 惇一朗(株式会社デンソークリエイト), 岡戸 真一郎(株式会社デンソークリエイト)
■セッション2：15:30-16:50
(3) 構成情報に基づく保証ケースレビュ手法の提案
〇山本修一郎(名古屋大学)，森崎修司(名古屋大学)，渥美紀寿(名古屋大学)
(4) モデルに基づく統一的保証ケース作成手法の提案
○山本修一郎(名古屋大学)，森崎修司(名古屋大学)，渥美紀寿(名古屋大学), 正田稔(名古屋大学)
■セッション3：16:50-17:05
(5) KES2015 Invited Session “Networks for Innovation, Knowledge Creation and Sharing” 開催報告
山本 修一郎(名古屋大学), ○櫨山 淳雄(東京学芸大学), 桑田 喜隆(室蘭工業大学)