 |
|||||||||||||||||||||||||||||
|
 |
||||||||||||||||||||||||||||
|
本ページは未決定の内容を含んでおり，変更される可能性があります |
|||||||||||||||||||||||||||||
| 10:00〜10:15 | 開会挨拶 |
| 10:15〜10:40 | 「高信頼組み込みソフトウェア構築技術」 片山卓也 北陸先端科学技術大学院大学 |
| 10:40〜11:05 | 「高信頼WebWareの生成技術」 阿草清滋 名古屋大学 |
| 11:05〜11:30 | 「高信頼構造化文書変換技術」 武市正人 東京大学 |
| 11:30〜11:55 | 「プログラム自動解析に基づく高信頼ソフトウェアシステムの構築技術」 −高信頼プログラミング言語および高信頼プログラム環境− 大堀淳 東北大学 |
| 昼食休憩（1時間15分) | |
| 13:20〜13:45 | 「プログラム自動解析に基づく高信頼ソフトウェアシステムの構築技術」 −安全なシステム記述言語および高信頼OS− 米澤明憲 東京大学 |
| 13:45〜14:10 | 「データ収集に基づくソフトウェア開発支援システム」 鳥居宏次 奈良先端科学技術大学院大学 |
| 14:10〜14:35 | 「インターネット上の知識集約を可能にするプラットフォーム構築技術」 村岡洋一 早稲田大学 |
| 14:35〜15:00 | 「ユーザ負担のない話者・環境適応性を実現する自然な音声対話処理技術」 鹿野清宏 奈良先端科学技術大学院大学 |
| 15:00〜15:25 | 「先進的なストレージ技術およびWeb解析技術」 |
| 準備休憩（5分） | |
| 15:30〜18:00 | デモンストレーション |
| 18:00〜 | 懇親会 |
日時
平成18年12月19日(火)
10:00 - 17:30
場所
東京大学弥生講堂[アクセス]
(懇親会:東大農学部生協・農学部3号館地下)
お申し込み
参加費：無料
(先着順とさせて頂きます。懇親会は3,000円となります。)
申込ページ(ここをクリック)よりご登録ください。
定員オーバーでご参加頂けない場合は事前にお断りの連絡をさせて頂きますので、連絡のない場合は当日直接会場にお越し下さい。
申込み先
esoc-2006@www.tkl.iis.u-tokyo.ac.jp
東京大学生産技術研究所
戦略情報融合国際研究センター内事務局
住所 〒153-8505
東京都目黒区駒場4-6-1
電話：03-5452-6254
FAX：03-5452-6255