トップエスイーチュートリアルのご案内「分散モデル検証実践」

♦2010/03/06

Category ¦

■日　程：2010年3月26日　13：00　～　17：30　（受付開始　12：30）
■会　場（予定）：国立情報学研究所 20階階講義室１・２室(2004,2005)
■参加申し込み：参加申し込みページへ
■参加費：無料

セミナー概要

日　時	2010年3月26日　13：00　～　17：30　（受付開始　12：30）
会　場（予定）	国立情報学研究所 20階階講義室１・２室(2004,2005)
概　要	モデル検査を現場の問題に適用する際に、検証のための探索空間が巨大になるために、検証が出来ない場合が往々にしてあり、そのための抽象化などの技術が必要になる。しかし、そのための工数が非常にかかり、モデル検査技術の普及を妨げている。本セミナーでは、バックエンドに並列分散計算機環境を利用することで、より大きな検証問題を解くことが可能であることを、演習を通じて経験・理解してもらう。
内容のレベル	応用
講　師	粂野文洋（株式会社三菱総合研究所情報技術研究センター主任研究員）豊嶋大輔（同上）
定　員	20名(先着順) ※NPO法人トップエスイー教育センターの会員が対象となります。お申込みの際に会員であることをご登録願います。 ※GRACEセンター協賛企業の方は事務局までお問い合わせ下さい。
受講料	無料
主　催	NPO法人トップエスイー教育センター
協　力	国立情報学研究所 GRACEセンター(予定)
お問合せ窓口	セミナーに関するご質問などは、下記アドレスにて承ります。 seminar@topse.or.jp