人工知能学会
知識流通ネットワーク研究会(二種研究会)
第十七回研究会
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に戻る