文部科学省　リーディングプロジェクト 「e-society基盤ソフトウェアの総合開発」シンポジウム 2006 http://www.tkl.iis.u-tokyo.ac.jp/e-society/h18_symposium/index.html 　高度情報化社会とうたわれる現在、いつでもどこでも誰でも安心して参加でき るIT社会を構築するには高度情報通信システム形成のための鍵となるソフトウェ ア開発が必須です。特に、我が国が世界最先端の国家を実現し、国際競争力を強 化するためには、今後益々その重要性・必要性が高まる、社会・経済的ニーズの 高いソフトウェアの研究開発と研究者の養成が急務です。 　文部科学省リーディングプロジェクト「e-society 基盤ソフトウェアの総合開 発」は本年度より開始され、現在、８大学および十数社の企業が緊密に連携し、 重点的に次の２技術領域、(1)高い生産性を持つ高信頼ソフトウェア作成技術の 開発、(2)情報の高信頼蓄積・検索技術の開発を推進しております。本プロジェ クトでは、産業界からのニーズに基づき、大学等が持つ研究ポテンシャル、人材 養成機能を最大限活用し、社会の基盤となるソフトウェアの研究開発と研究者養 成を一体的に推進することにより、社会基盤ソフトウェアに関わる新たな市場創 出が期待されます。 　本プロジェクト３回目となるこのシンポジウムでは、「e-society 基盤ソフト ウェアの総合開発」の今年度の代表的な成果につきまして、口頭およびデモにて 報告いたします。多くの方のご参加をお願い申し上げます。 主催　文部科学省リーディングプロジェクトe-society基盤ソフトウエア 総合開発推進委員会 協賛　ソフトウェア科学会ディペンダブルソフトウェア研究会 日時　12月19日（火曜日）10:00−17:30 　　　 懇親会　18:00 より 場所　 東京大学弥生講堂 　　　〒113-8657 東京都文京区弥生1-1-1 東京大学農学部内 　　　Tel. : 03-5841-8205 Fax. : 03-5841-5028 　　　http://www.a.u-tokyo.ac.jp/yayoi/map.html 　　　【 交通案内 】 　　　　地下鉄 　　 * 南北線「東大前」駅下車　徒歩1分 　　 * 千代田線「根津」駅下車　徒歩8分 プログラム 10:00〜10:15 開会挨拶 　　　　　　　片山卓也(e-society推進委員会委員長) 西尾章治郎(文部科学省科学官、大阪大学) 星野利彦(文部科学省情報科学技術研究企画官) 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〜 懇親会 参加費：無料 （先着順とさせて頂きます） 定員オーバーでご参加頂けない場合は事前にお断りの連絡をさせて頂きますので 連絡のない場合は当日直接会場にお越し下さい。 懇親会の会場等につきましては、WWW上に確定次第お知らせいたします。 申込み先： esoc-2006@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/ 申込み用紙：------------------------------------------ To:　esoc-2006@www.tkl.iis.u-tokyo.ac.jp 平成18年度 「e-Society 基盤ソフトウェアの総合開発」シンポジウムに 　　　　　　参加を申し込みます。 　　　　　　(シンポジウム参加費は無料でございます。 　　　　　　　懇親会は有料とさせて頂きます） 　　　　　　　どちらかに○をつけてください。未記入の場合には 　　　　　　　懇親会不参加とさせて頂きます。 　　　　　　［　］懇親会に参加する 　　　　　　［　］懇親会に参加しない 　　ご氏名 　　フリガナ 　　所属機関 　　所属部署 　　役職 　　郵便番号 　　ご住所 　　電話 　　FAX 　　メールアドレス -------------------------------------------------------