第1回COEアドバイザ−委員会

第1回ＣＯＥアドバイザー委員会

「検証進化可能電子社会」

日時　：　4月2４日（月）
場所　：　7階輪講室

< 出席者 >
玉井　哲雄（東京大学大学院　総合文化研究科教授）
木下　佳樹（産業技術総合研究所　システム検証研究センター長）
新田　克己（東京工業大学大学院　総合理工学研究科教授）
松本　隆（NTTデータ技術開発本部長）
片山　卓也（拠点リーダー・情報科学研究科教授）
小野　寛晰（情報科学研究科教授）
島津　明（情報科学研究科教授）
Bjorner Dines（情報科学研究科特任教授）
落水　浩一郎（情報科学研究科教授）
篠田　陽一（情報科学センター教授）

< プログラム >
14：30〜15：00　　　　　検証進化可能電子社会プログラムの目指すもの
　　　　片山　卓也
15：00〜15：20　　　　　法令文書の言語処理と論理表現
　　　　島津　明
15：20〜15：50　　　　　電子社会の形式検証技術ードメイン形式記述
　　　　Bjorner Dines
15：50〜16：10　　　　　休憩
16：10〜16：30　　　　　電子社会のモデル化
　　　　落水　浩一郎
16：30〜17：00　　　　　インターネットシミュレータによるネットワーク検証
　　　　篠田　陽一
17：00〜17：30　　　　　休憩
17：30〜　　　　　　　　議論　

< アドバイザー委員コメント >
辻井　重男　　情報セキュリティ大学院大学学長
玉井　哲雄　　東京大学大学院　総合文化研究科教授
新田　克己　　東京工業大学大学院　総合理工学研究科教授
松本　隆明　　NTTデータ技術開発本部長
木下　佳樹　　産業技術総合研究所　システム検証研究センター長