日時：2011年11月22日（火曜日）
場所：東京工業大学 大岡山キャンパス:西2号館 W241講義室
地図：
- http://www.titech.ac.jp/about/campus/o_map.html
- （大岡山西地区->20番の建物）
- http://www.gakumu.titech.ac.jp/kyoumu/lectureroom/picture/nisi/W241.pdf
プログラム
1. 13:00～13:15 「計画概要」 加藤直樹（京都大学）[スライド]
2. 13:15～13:45 「大規模ビジネスデータのマイニングの可能性と限界
ー Webログおよびニュース記事の解析を例に」
羽室行信(関西学院大学)
3. 13:45～14:15 「都市内滞留者・移動者の時空間分布推定と大地震を
想定した人間行動シミュレーション」
大佛俊泰(東京工業大学)[スライド]
4. 14:30～15:00 「ソフトウェア検証における計算理論的問題
～安全性検証および等価性検証の事例」
住井 英二郎(東北大学)[スライド]
5. 15:00～15:30 「確率密度比を用いた機械学習アルゴリズムとその応用」
杉山将 (東京工業大学)[スライド]
6. 15:30～16:00 「Graph 500 ベンチマークへの挑戦」
鈴村豊太郎(東京工業大学)
7. 16:00～16:30 ディスカッション
お知らせ
＊ シンポジウム参加希望者は下記URLよりご登録下さい。
＊＊ 16時40分から東工大のスパコン「TSUBAME」の見学会を予定しています。
30名を1クールとして2クールで見学予定です。見学希望の方はお早めにご登録下さい。
＊＊＊ 18時30分から懇親会を予定しています。参加希望者は下記URLよりご登録下さい。
場所は追ってお知らせします。
＊＊＊＊ シンポジウム、TSUBAME見学会、懇親会の参加登録は下記URLよりお願いします。
〆切は11月15日（火）です。
https://www.al.ics.saitama-u.ac.jp/horiyama/party/2011_1122_escience/
よろしくお願いします。
-> [top page]