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