人工知能学会
知識流通ネットワーク研究会(二種研究会)
第十七回研究会
2015年10月2日(金) 13:00-17:30(予定)
名古屋大学 基盤センター 4F 演習室
第17回 人工知能学会 知識流通ネットワーク研究会 プログラム
【日程】
2015年 10月2日(金) 14:00-17:05
【会場】
名古屋大学 (地下鉄名城線 名古屋大学駅)
基盤センター 4F 演習室
愛知県名古屋市千種区不老町
http://www.nagoya-u.ac.jp/access/index.html
http://www.nagoya-u.ac.jp/upload_images/campus_map_jp.pdf
【プログラム】
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" 開催報告
山本 修一郎(名古屋大学), ○櫨山 淳雄(東京学芸大学), 桑田 喜隆(室蘭工業大学)
【本件問合先】
人工知能学会 知識流通ネットワーク研究会 幹事
sig-ksn[at]googlegroups.com([at]を@に変えてください。)
知識流通ネットワーク研究会HPに戻る