文部科学省　リーディングプロジェクト 「e-society基盤ソフトウェアの総合開発」シンポジウム 2003 　高度情報化社会とうたわれる現在、いつでもどこでも誰でも安心して参加でき るIT社会を構築するには高度情報通信システム形成のための鍵となるソフトウェ ア開発が必須です。特に、我が国が世界最先端の国家を実現し、国際競争力を強 化するためには、今後益々その重要性・必要性が高まる、社会・経済的ニーズの 高いソフトウェアの研究開発と研究者の養成が急務です。 　文部科学省リーディングプロジェクト「e-society 基盤ソフトウェアの総合開 発」は本年度より開始され、現在、８大学および十数社の企業が緊密に連携し、 重点的に次の２技術領域、(1)高い生産性を持つ高信頼ソフトウェア作成技術の 開発、(2)情報の高信頼蓄積・検索技術の開発を推進しております。本プロジェ クトでは、産業界からのニーズに基づき、大学等が持つ研究ポテンシャル、人材 養成機能を最大限活用し、社会の基盤となるソフトウェアの研究開発と研究者養 成を一体的に推進することにより、社会基盤ソフトウェアに関わる新たな市場創 出が期待されます。 　本プロジェクト初となるこのシンポジウムでは、「e-society 基盤ソフトウェ アの総合開発」の今年度の代表的な成果および今後のプロジェクトの展望につい て報告いたします。多くの方のご参加をお願い申し上げます。 主催　文部科学省リーディングプロジェクトe-society基盤ソフトウエア 総合開発推進委員会 協賛　ソフトウェア科学会ディペンダブルソフトウェア研究会 日時　12月１日（月曜日）午前10時−午後５時30分 場所　ホテルフロラシオン青山　孔雀 　　　107-0062　東京都港区南青山4-17-58 　　　03-3403-1541 　　　http://www.floracion-aoyama.com/index/index.html 　　　（表参道駅より徒歩３分、東京） プログラム 10:00-10:20 開会 挨拶 片山卓也(e-society推進委員会委員長) 西尾章治郎(文部科学省科学官、大阪大学) 古西真(文部科学省情報科学技術研究企画官) 10:20-11:15 高信頼組込みソフトウェア構築技術 (片山卓也,北陸先端科学技術大学院大学) 11:15-11:45 プログラム自動解析に基づく高信頼ソフトウェアシステムの 構築技術 (大堀淳,北陸先端科学技術大学院大学) 11:45-12:15 プログラム自動解析に基づく高信頼ソフトウェアシステムの 構築技術 (米澤明憲,東京大学) 昼食休憩（１時間15分） 13:30-14:00 次世代高性能コンピュータシステム上の高信頼ソフトウェア システムの開発支援技術 (石川裕,東京大学) 14:00-14:30 データ収集に基づくソフトウェア開発支援システム (鳥居宏次,奈良先端科学技術大学院大学) 14:30-15:00 高信頼構造化文書変換技術 (武市正人,東京大学) 15:00-15:30 高信頼WebWareの生成技術 (阿草清滋,名古屋大学) 休憩（20分） 15:50-16:20 インターネット上の知識集約を可能にするプラットフォーム 構築技術 (村岡洋一,早稲田大学) 16:20-16:50 ユーザ負担のない話者・環境適応性を実現する自然な音声対話 処理技術 (鹿野清宏,奈良先端科学技術大学院大学) 16:50-17:20 先進的なストレージ技術およびWeb解析技術 (喜連川優,東京大学) 17:20-17:30 挨拶 閉会 参加費：無料 （先着順とさせて頂きます） 定員オーバーでご参加頂けない場合は事前にお断りの連絡をさせて頂きますので 連絡のない場合は当日直接会場にお越し下さい。 申込み先： esoc-2003@www.tkl.iis.u-tokyo.ac.jp 東京大学生産技術研究所　戦略情報融合国際研究センター内 事務局 　　　　　 住所　153-8505 東京都目黒区駒場4-6-1 電話　03-5452-6254 FAX 03-5452-6255 URL http://www.tkl.iis.u-tokyo.ac.jp/e-society/ 申込み用紙：------------------------------------------ 　　ご氏名 　　フリガナ 　　所属機関 　　所属部署 　　役職 　　郵便番号 　　ご住所 　　電話 　　FAX 　　メールアドレス -------------------------------------------------------