カテゴリー: 教育事業

統計モデリング入門(2020/2/12)

投稿日時: 投稿者: topse-center

セミナー概要

タイトル： 統計モデリング入門

日時： 2020年2月12日(水)
13:00-18:00（受付開始: 12:30）

会場： 東京都新宿区早稲田町27
早稲田大学 40号館1階102　プレゼンテーションルーム
https://www.waseda.jp/inst/gcs/access/
最寄り駅: 地下鉄東京メトロ東西線早稲田駅から徒歩5分

概要： 近年，計算機と通信技術の進歩により，いまだかつてないほどの多量のデータが取り扱える環境が整ってきました．それに伴い，機器に取り付けられたセンサーから得られるデータを解析して異常検知を行うことや，商業施設の未来の集客数を過去のデータ傾向から予測するなど，実践的なデータ解析に対する要望が高まってきています。 本セミナーでは，統計学や機械学習の初学者を対象に，ベイズ統計を用いた予測モデルの開発手法に関して解説します．確率分布などに関する基礎知識の導入から始まり，線形回帰、ポアソン回帰、ロジスティック回帰といった様々な予測モデルを順次構築していきます．これらのモデルの使い方や特性は，実際にPythonのサンプルコードを実行することによって学んでいきます．

なお、Google Colabを利用したコーディングのハンズオンを実施する予定ですので，参加者全員Googleアカウントをご用意していただく必要があります．

講師：須山 敦志（データサイエンティスト）
東京工業大学情報工学科卒業．東京大学大学院情報工学研究科博士前期課程修了．
国内メーカーやUK のベンチャー企業の研究職を経て，現在はデータ解析に関するコンサルティングに従事．
ブログ「作って遊ぶ機械学習。」にて実践的な機械学習技術に関する情報を発信中．
著書：「ベイズ推論による機械学習入門」（講談社，2017），「ベイズ深層学習」（講談社，2019）
twitter ID：@sammy suyama

定員： 20名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。

受講料：39,000円（消費税込み）

参加申込方法： 参加申込みサイトより必要事項を入力の上、お申込みください。 https://ws.formzu.net/fgen/S82929270/

※PCは必須です。各自お持ち込みいただく形となります。

主催： NPO法人 トップエスイー教育センター
共催：早稲田大学グローバルソフトウェアエンジニアリング研究所
協賛：enPiT-Pro スマートエスイー、スマートエスイーコンソーシアム

お問合せ窓口： セミナーに関するご質問などは、下記アドレスにて承ります。
inquiry_[at]_topse.or.jp ※_[at]_部分を@に変えてください

こちらのセミナーも現在受講者を募集しております。
タイトル：シミュレーションで体験するアジャイル開発
日時： 2020年3月4日(水)
13:00-18:00（受付開始: 12:30）
https://topse.or.jp/20200304agl/

GRACEワークショップ、シンポジウム(2017/12/19,20)【後援】[終了]

投稿日時: 投稿者: topse-center

GRACEワークショップ、シンポジウム

2017年12月19日(火)にGRACEワークショップ、12月20(水)にGRACEシンポジウムが開催されました。NPO法人トップエスイー教育センターはこの2つのイベントを後援致しました。

GRACEシンポジウム詳細

GRACE Symposium 2017 – Next Ten Years of Software Engineering

OSSユーザーのための勉強会#19 Python (6/29)[終了]

投稿日時: 投稿者: topse-center

2017年6月29日（木）に実施された「第19回 OSSユーザーのための勉強会」では、AI/Deep Learning 分野での活用が注目されているプログラム言語の「 Python 」を題材に、その概要から詳細な解説に至るまで、ご紹介していただきました。
111

勉強会概要

日時：
2017年6月29日（木） 18:30～　（20:15終了予定、開場 18:00）
会場：
国立情報学研究所 12階 1208-1210会議室
参加者：
51名
実施概要：
注目すべきオープンソースソフトウェア（OSS）を題材に、開発コミュニティの当事者と、これからOSSを学びたい人との交流・相互理解を通じて、共に見識を高めるための勉強会シリーズ「OSSユーザーのための勉強会 」が開催されました。

今回の勉強会では、AI/Deep Learning 分野での活用が注目されているプログラム言語の「 Python 」をテーマに、その概要・特長・最新動向や、AI/Deep Learning 分野における活用について、株式会社ビープラウドの鈴木さん、株式会社CMSコミュニケーションズの寺田さんにご紹介していただきました。
また勉強会のあとの懇親会でも、参加者の有志の方から興味深く、熱いライトニング・トークが行われ、会場は参加者の熱気に溢れ、参加者同士の意見交換など活発な交流が行われました。

以下に発表資料を公開しております。
http://www.scsk.jp/product/oss/report2.html

概要:
　SCSK株式会社では、NPO法人トップエスイー教育センターの協賛の下、注目すべきオープンソースソフトウェア（OSS）を題材に、開発コミュニティの当事者とこれからOSSを学びたい人との交流・相互理解を通じて、共に見識を高めるための勉強会シリーズ「OSSユーザーのための勉強会 」を開催しております。今回は、AI/Deep Learning 分野での活用が注目されているプログラム言語の「 Python 」を題材に、その概要・特長・最新動向や、AI/Deep Learning 分野における活用についてご紹介いたします。
　また今回も、ユーザーからのご意見・ご要望を表明する場として、参加者によるライトニング・トーク（LT）の時間を設けています。

プログラム：

・開催日時：2017年6月29日（木） 18:30～　（20:15終了予定、開場 18:00）
・プログラム

１．「 Pythonの特長と最新動向 」（仮題）
　　　　 　　　
　　　株式会社ビープラウド Python Climber、一般社団法人PyCon JP 理事　　　鈴木たかのり

２．「 AI/Deep Learning 分野におけるPythonの活用 」（仮題）
　　 株式会社CMSコミュニケーションズ 代表取締役、一般社団法人PyCon JP 代表理事
　寺田 学　

３． Q&A、ディスカッション

　～ 終了後　懇親会（参加無料）～

４. 参加者によるライトニング・トーク（LT）：懇親会で実施

※ 予告なくプログラム内容が変更される場合がございます｡最新の情報は以下
のページでご確認ください｡
http://eventregist.com/e/ossx2017-06

※ 記載されている製品/サービス名称、社名、ロゴマークなどは該当する各社
の商標または登録商標です。

・問い合わせ、登録フォーム
以下のページからご登録ください。
http://eventregist.com/e/ossx2017-06

定員：
60名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
無料
参加申込方法：
下記サイトよりお申込みください。
http://eventregist.com/e/ossx2017-06
主催(共催)：
SCSK株式会社 R&Dセンター技術戦略部 OSS戦略課
協力：
国立情報学研究所 GRACEセンター、株式会社ビープラウド、株式会社CMSコミュニケーションズ
協賛：
NPO法人 トップエスイー教育センター
お問合せ窓口：
申し込みページをご覧ください

OSSユーザーのための勉強会#17 Ansible とChef (2/23)[終了]

投稿日時: 投稿者: topse-center

2017年2月23日（木）に実施された「第17回 OSSユーザーのための勉強会」では、データセンター自動化ツール（構成管理ツール）の「 Ansible とChef 」を題材に、その概要から詳細な解説に至るまで、ご紹介していただきました。
111

勉強会概要

日時：
2017年2月23日（木） 18:30～　（20:15終了予定、開場 18:00）
会場：
国立情報学研究所 12階 1208-1210会議室
参加者：
42名
実施概要：
注目すべきオープンソースソフトウェア（OSS）を題材に、開発コミュニティの当事者と、これからOSSを学びたい人との交流・相互理解を通じて、共に見識を高めるための勉強会シリーズ「OSSユーザーのための勉強会 」が開催されました。

今回の勉強会では、データセンター自動化ツール（構成管理ツール）の「 Ansible とChef 」をテーマに、その特長・アーキテクチャ・最新動向・今後の展望について、日本IBMの高良さん、レッドハットの安斎さんにご紹介していただきました。
また勉強会のあとの懇親会でも、参加者の有志の方から興味深く、熱いライトニング・トークが行われ、会場は参加者の熱気に溢れ、参加者同士の意見交換など活発な交流が行われました。

以下に発表資料を公開しております。
http://www.scsk.jp/product/oss/report2.html

概要:
　SCSK株式会社では、NPO法人トップエスイー教育センターの協賛の下、注目すべきオープンソースソフトウェア（OSS）を題材に、開発コミュニティの当事者とこれからOSSを学びたい人との交流・相互理解を通じて、共に見識を高めるための勉強会シリーズ「OSSユーザーのための勉強会 」を開催しております。今回は、データセンター自動化ツール（構成管理ツール）の「 Ansible とChef 」を題材に、その特長・アーキテクチャ・最新動向・今後の展望についてご紹介いたします。
　また今回も、ユーザーからのご意見・ご要望を表明する場として、参加者によるライトニング・トーク（LT）の時間を設けています。

プログラム：

・開催日時：2017年2月23日（木） 18:30～　（20:15終了予定、開場 18:00）
・プログラム

１．「 Chef の概要と特長」（仮題） 　　　　 　　　

　　　日本IBM㈱ エキスパート・テクノロジー・アーキテクト 高良 真穂
　　
２．「 Ansible の特長と最新動向 」（仮題）

　　 レッドハット㈱ シニア・ソリューションアーキテクト 安斎 宗一郎
　
３． Q&A、ディスカッション

　～ 終了後　懇親会（参加無料）～

４. 参加者によるライトニング・トーク（LT）：懇親会で実施

※ 予告なくプログラム内容が変更される場合がございます｡最新の情報は以下
のページでご確認ください｡
http://eventregist.com/e/ossx2017-2

※ 記載されている製品/サービス名称、社名、ロゴマークなどは該当する各社
の商標または登録商標です。

・問い合わせ、登録フォーム
以下のページからご登録ください。
http://eventregist.com/e/ossx2017-2

定員：
60名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
無料
参加申込方法：
下記サイトよりお申込みください。
http://eventregist.com/e/ossx2017-2
主催(共催)：
SCSK株式会社 R&Dセンター OSS戦略企画室
協力：
国立情報学研究所 GRACEセンター、日本IBM株式会社、レッドハット株式会社
協賛：
NPO法人 トップエスイー教育センター
お問合せ窓口：
申し込みページをご覧ください

MTSAチュートリアル： 人工知能技術を応用したソフトウェア仕様自動生成ツール(1/24)

投稿日時: 投稿者: topse-center

セミナー概要

タイトル：
MTSAチュートリアル： 人工知能技術を応用したソフトウェア仕様自動生成ツール
日時：
2017年1月24日(火)
13:30-17:00（受付開始: 13:00）
会場：
国立情報学研究所 20階 ミーティングルーム(2009/2010)
概要：
MTSA(The Modal Transition System Analyzer)はインペリアル・カレッジ・ロンドンとブエノスアイレス大学で共同開発された，ソフトウェア仕様の自動生成ツールです．形式的に記述された環境モデルと要求モデルを入力とし，正しさが保証された仕様モデルをゲーム理論に基づいて自動生成します．本セミナーではMTSAの開発者であり，ソフトウェア工学分野の若手トップクラスの研究者であるブエノスアイレス大学のNicolas D’Ippolito助教によるMTSAチュートリアルを行います．

1. Introduction to behaviour models
2. Modelling concurrency.
3. Brief intro to linear temporal logics
4. Controller synthesis in MTSA
5. Enactment of controllers

MTSA: http://mtsa.dc.uba.ar
本講義は英語にて行われます．

講師
　Nicolas D’Ippolito助教, ブエノスアイレス大学
　http://lafhis.dc.uba.ar/en/~dippolito

定員：
30名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
無料
参加申込方法：
参加申込みサイトより必要事項を入力の上、お申込みください。※こちらでPCを準備できますのでご希望の場合は申請時に選択してください。
http://ws.formzu.net/fgen/S53074529/
主催：
NPO法人 トップエスイー教育センター
協力：
国立情報学研究所 GRACEセンター
お問合せ窓口：
セミナーに関するご質問などは、下記アドレスにて承ります。
inquiry_[at]_topse.or.jp ※_[at]_部分を@に変えてください

トップエスイー実践プログラミングセミナーシリーズ「Sparkによる実践的ビッグデータ分析演習」（1/14,21）

投稿日時: 投稿者: topse-center

セミナー概要

タイトル：
トップエスイー実践プログラミングセミナーシリーズ「Sparkによる実践的ビッグデータ分析演習」
日時：
2017年1月14,21日(土)
10:30-18:00（受付開始: 10:00）
会場：
国立情報学研究所 20階 ミーティングルーム(2009/2010)
概要：
Apache Sparkを利用して実践的なビッグデータ分析に取り組んで頂きます．国立情報学研究所が公開するビッグデータなどを対象にして，Apache Sparkにより統計解析や機械学習などの演習を行います．さらに，Apache Sparkは扱えるデータの規模に限界があるため，超ビッグデータに対する分析システムとしてHiveも体験して頂きます．

講師：坂本一憲(国立情報学研究所)

スケジュール：
2017年1月14,21日(土) 10:30 ～ 18:00 (受付開始: 10:00)
1日目
・1コマ目： Apache Sparkの概要説明
・2コマ目： Apache Sparkによる分析演習
・3コマ目： Apache SparkおよびHiveの分析演習
・4コマ目： 5コマ目以降で扱うデータセットの説明
2日目
・5コマ目： データセットを活用した実践的な分析演習(1)
・6コマ目： データセットを活用した実践的な分析演習(2)
・7コマ目： データセットを活用した実践的な分析演習(3)
・8コマ目： 分析演習を通して得られた知見の発表会
定員：
40名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
会員 145,000円／一般 150,000円／学生 150,000円
参加申込方法：
参加申込みサイトより必要事項を入力の上、お申込みください。http://www.topse.jp/ja/programming.html
※会員の方は申し込み時に会員であることを質問事項に記載してください
トップエスイー・実践プログラミングセミナーシリーズは2016年度のみNPO法人トップエスイー教育センターの主催となります．2017年度からは国立情報学研究所主催となりますのでご注意下さい．

事前に指定口座に受講料をお振り込み下さい．請求書が必要な方は別途NPO法人トップエスイー教育センター事務局(inquiry@topse.or.jp)までお問い合わせ下さい．

主催：
NPO法人 トップエスイー教育センター
お問合せ窓口：
セミナーに関するご質問などは、下記アドレスにて承ります。
inquiry_[at]_topse.or.jp ※_[at]_部分を@に変えてください

トップエスイー実践プログラミングセミナーシリーズ「TensorFlowによるニューラルネットワーク入門」（11/28）

投稿日時: 投稿者: topse-center

セミナー概要

タイトル：
トップエスイー実践プログラミングセミナーシリーズ「TensorFlowによるニューラルネットワーク入門」
日時：
2016年11月28日(月)
10:30-18:00（受付開始: 10:00）
会場：
国立情報学研究所 20階 ミーティングルーム(2009/2010)
概要：

ディープラーニングの活用が広がるきっかけともなった，「畳み込みニューラルネットワーク（CNN：Convolutional Neural Network）」の基本的な構造をTensorFlowで実装したサンプルコードを用いて解説していきます．機械学習に馴染みのない方にも受講していただけるよう，機械学習の基本的な考え方から始まり，CNNを構成する各パーツの機能を丁寧に解説していきます．サンプルコードを各自で実行するための演習環境を提供しますので，実際にコードを実行して動作を確認しながら理解を深めていただくことができます．また，CNNの応用例として，DCGAN（画像生成アルゴリズム）の概要も紹介します．

講師：中井悦司(Google Inc.)

スケジュール：
2016年11月28日(月) 10:30 ～ 18:00 (受付開始: 10:00)
10:30-11:45
・オープンニング，環境説明
・データサイエンスと機械学習
・ロジスティック回帰と最尤推定法
13:00-17:30
・TensorFlowのコードの書き方
・線形多項分類器
・多層ニューラルネットワークによる特徴抽出
・畳み込みフィルターによる画像の特徴抽出
・畳み込みフィルターの動的な学習
・DCGAN（画像生成アルゴリズム）の概要
・QA & 自主演習
特典：
本セミナーにご参加いただける方には，「TensorFlowで学ぶディープラーニング入門」（マイナビ出版）のPDF版を差し上げます．当日受付にて，書籍を入手できるシリアルコードをお渡しします．
定員：
30名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
会員 75,000円／一般 80,000円／学生 80,000円
参加申込方法：
参加申込みサイトより必要事項を入力の上、お申込みください。http://www.topse.jp/ja/programming.html
※会員の方は申し込み時に会員であることを質問事項に記載してください
トップエスイー・実践プログラミングセミナーシリーズは2016年度のみNPO法人トップエスイー教育センターの主催となります．2017年度からは国立情報学研究所主催となりますのでご注意下さい．

事前に指定口座に受講料をお振り込み下さい．請求書が必要な方は別途NPO法人トップエスイー教育センター事務局(inquiry@topse.or.jp)までお問い合わせ下さい．

主催：
NPO法人 トップエスイー教育センター
お問合せ窓口：
セミナーに関するご質問などは、下記アドレスにて承ります。
inquiry_[at]_topse.or.jp ※_[at]_部分を@に変えてください

OSSユーザーのための勉強会#16 Vuls (11/22)[終了]

投稿日時: 投稿者: topse-center

2016年11月22日(火)に実施された「第16回 OSSユーザーのための勉強会」では、脆弱性スキャナーの「 Vuls 」を題材に、その概要から詳細な解説に至るまで、講演していただきました。
111
 

勉強会概要

日時：
2016年11月22日（火） 18:30～　（20:15終了予定、開場 18:00）
会場：
国立情報学研究所 12階 1208-1210会議室
参加者：
28名
実施概要：
注目すべきオープンソースソフトウェア（OSS）を題材に、開発コミュニティの当事者と、これからOSSを学びたい人との交流・相互理解を通じて、共に見識を高めるための勉強会シリーズ「OSSユーザーのための勉強会 」が開催されました。

今回の勉強会では、脆弱性スキャナーの「 Vuls 」をテーマに、その概要から詳細な解説に至るまで、フューチャーアーキテクトの林さんと神戸さんにご紹介していただきました。
また勉強会のあとの懇親会でも、参加者の有志の方から興味深いライトニング・トークが行われ、会場は参加者の熱気に溢れ、参加者同士の意見交換など活発な交流が行われました。

以下に発表資料を公開しております。
http://www.scsk.jp/product/oss/report2.html

概要:
　SCSK株式会社では、NPO法人トップエスイー教育センターの協賛の下、注目すべきオープンソースソフトウェア（OSS）を題材に、開発コミュニティの当事者とこれからOSSを学びたい人との交流・相互理解を通じて、共に見識を高めるための勉強会シリーズ「OSSユーザーのための勉強会 」を開催しております。

今回は脆弱性スキャンツール「 Vuls 」を題材に、その特長・アーキテクチャ・最新動向・今後の展望についてご紹介いたします。

また今回も、ユーザーからのご意見・ご要望を表明する場として、参加者によるライトニング・トーク（LT）の時間を設けています。
最新のOSS動向に触れるチャンスとして、お気軽にご参加ください。セッション終了後にはささやかな懇親の場を用意しております。

プログラム：

・開催日時：2016年11月22日（火） 18:30～　（20:15終了予定、開場 18:00）
・プログラム

１．「セキュリティの現状とOSSの応用」

フューチャーアーキテクト㈱ スペシャリスト　林 優二郎

２．「脆弱性スキャナーVuls徹底入門」

フューチャーアーキテクト㈱ スペシャリスト　神戸 康多

３． Q&A、ディスカッション

～ 終了後　懇親会（参加無料）～

４. 参加者によるライトニング・トーク（LT）：懇親会で実施

※ 予告なくプログラム内容が変更される場合がございます｡最新の情報は以下のページでご確認ください｡
http://eventregist.com/e/ossx2016-11

※ 記載されている製品/サービス名称、社名、ロゴマークなどは該当する各社の商標または登録商標です。

・問い合わせ、登録フォーム
以下のページからご登録ください。
http://eventregist.com/e/ossx2016-11

定員：
60名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
無料
参加申込方法：
下記サイトよりお申込みください。
http://eventregist.com/e/ossx2016-11
主催(共催)：
SCSK株式会社 R&Dセンター OSS戦略企画室
協力：
国立情報学研究所 GRACEセンター、フューチャーアーキテクト株式会社
協賛：
NPO法人 トップエスイー教育センター
お問合せ窓口：
申し込みページをご覧ください

CafeOBJで学ぶ形式仕様記述とその証明(9/16,23)

投稿日時: 投稿者: topse-center

セミナー概要

タイトル：
CafeOBJで学ぶ形式仕様記述とその証明
日時：
2016年9月16日(金)、23日(金)
13:30-17:00（受付開始: 13:00）
会場：
国立情報学研究所 20階 ミーティングルーム(2009/2010)
概要：

CafeOBJは、代数的にシステムの仕様を記述し、その上の性質を証明することができる先端的な形式仕様言語の一つです。本講義では、CafeOBJを使った代数仕様言語の記述方法とシステムの性質を対話的に証明する方法を実際に支援ツールを使いながら学ぶことができます。

講義は2日間にわたって行われ、自然数やリストを使ったCafeOBJによる代数仕様記述の記述方法から、具体的な相互排他プロトコルを使った対話的な証明まで、ツールを通して体験していただけます。CafeOBJの開発者の一人である二木特任教授から直接学ぶことができるまたとない機会となっております。

当日会場に用意されたシンクライアントにて演習を行うことができます。ご自身のPCで動かしてみたいという方は、以下のページからCafeOBJ 1.5.5をインストールしてご持参ください。

http://cafeobj.org/download/

※本講義は、2015年10月23日に行われた内容に「仕様計算(Specification Calculus)による場合分けの自動化」の解説と演習が追加されています。

講師：北陸先端科学技術大学院大学 ソフトウェア検証研究センター 特任教授 二木厚吉

参考資料：

以下のページから最新の講義資料をダウンロードできます。http://www.jaist.ac.jp/~kokichi/lecture/1609NII/

※講義資料は英語が中心となりますが、講義は日本語で行います。

「CafeOBJ入門」
(1) 形式手法とCafeOBJ: http://ci.nii.ac.jp/naid/110006664762
(2) 構文と意味: http://ci.nii.ac.jp/naid/110006664763
(3) 等式推論と項書換システム: http://ci.nii.ac.jp/naid/110006840405
(4) 証明譜による検証法: http://ci.nii.ac.jp/naid/110006990888
(5) 認証プロトコルの検証: http://ci.nii.ac.jp/naid/130004549136
(6) 通信プロトコルの検証: http://ci.nii.ac.jp/naid/10025982447

スケジュール：
9月16日(金)
13:30 – 15:00 講義1: CafeOBJの概要と基礎, 自然数の表現
15:15 – 16:45 講義2: リスト・シーケンス・集合と仕様計算(Specification Calculus)
16:45 – 17:00 質疑応答
9月23日(金)
13:30 – 15:00 講義3: CafeOBJによるモデリングと記述の実際
15:15 – 16:45 講義4: CafeOBJによる証明の記述と証明の実際
16:45 – 17:00 質疑応答
定員：
16名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
会員 無料／一般 16,000円／学生 3,000円
※NPO法人 トップエスイー教育センター会員および日本ソフトウェア科学会会員の方は、会員価格で参加いただけます。
参加申込方法：
参加申込みサイトより必要事項を入力の上、お申込みください。※こちらでPCを準備できますのでご希望の場合は申請時に選択してください。
https://ws.formzu.net/fgen/S29943907/
主催：
NPO法人 トップエスイー教育センター
協力：
国立情報学研究所 GRACEセンター
協賛：
日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
お問合せ窓口：
セミナーに関するご質問などは、下記アドレスにて承ります。
inquiry_[at]_topse.or.jp ※_[at]_部分を@に変えてください

IoT機器のセキュリティ検証の新潮流 － Tritonを題材として(8/31)

投稿日時: 投稿者: topse-center

セミナー概要

タイトル：
IoT機器のセキュリティ検証の新潮流 － Tritonを題材として
日時：
2016年8月31日(水)
15:00-17:00（受付開始: 14:30）
会場：
国立情報学研究所 20階 ミーティングルーム(2009/2010)
概要：

「セキュリティ検証の現場で使える形式手法のツールがあるのか？」という疑問を、制御/IoT機器のセキュリティ検証業務を実施していく上で感じるようになりました。同じような疑問を持ったエンジニアの方もいらっしゃると思います。

Microsoft社では、動的ソフトウェアモデル検査の考え方を用いて、OSやオフィスソフトの脆弱性診断を実施しています。ソフトウェアのコード中の条件分岐をできるだけ網羅するように、テストの入力データを試験の実行時に変化させる手法です。しかし、残念ながらその実装系(SAGE) は、一般には未公開でした。

この技術はもっと広範に使えるのではないか、と感じていたところ、最近では、オープンソースの実装系も登場し、アクティブに開発が進められています。今回のセミナーでは、この実装系を実際に動かすことで、現場までの距離感を掴んで頂ければと思います。対象をうまく絞れれば、または、Microsoft社のようにスケールさせれば、確かに使えるのかも、と実感できると思います。

こうしたツールが必要な背景には、IoT機器の増加に伴うセキュリティへの懸念、電力分野の制御システムおよびスマートメーターに関するセキュリティガイ ドラインの発行に代表される、制御システムのセキュリティへの懸念、があります。これらのセキュリティの検証も、機器の認証を取るだけであれば、ファジングツールによる過去の攻撃事例に基づくパケットと大量のパケットに対して仕様通りに機器が振る舞えれば十分です。しかし、ファジングツールに実装されていない独自プロトコルに対する攻撃やゼロデイ攻撃によるリスクを減らすためには、もう少し賢い検証ツールを使えることが間違い無く重要になります。

本セミナーでは、動的なバイナリ解析ツールであるTritonという実装系を用いて、セキュリティ検証に関して

・何ができるのか
・どうやっているのか

について、動作原理の解説と、例をハンズオン形式で実施することで習得できます。

当日はシンクライアントを使ってTritonの演習を行いますが、ご自身のPCで演習されたい方は、インストール手順(Triton-install-log.txt)を参考に、以下のサイトから最新のソースをダウンロードし、インストールしてくだしさい。

Triton: https://github.com/JonathanSalwan/Triton

本ツールは、以下の環境で動作を確認しています。

Ubuntu 16.04, libboost(1.55以上),libpython, libcapstone,
libz3(https://github.com/Z3Prover/z3.git), Pin

[前提知識]
デバッガの画面、抽象構文木（abstract syntax tree、AST）の表現をご覧になったことがあると面食らわずに理解しやすいと思います。また、Pythonの基礎知識があると、ハンズオンで利用するサンプルコードを理解する際に役立ちます。

[参考URL:]
SAGE: http://research.microsoft.com/en-us/um/people/pg/
Triton: https://github.com/JonathanSalwan/Triton

なお、その他の事例については、「ディペンダブル・システムのための形式手法の実践ポータル(http://formal.mri.co.jp/)」もご参照ください。

講師：松崎 和賢・（株）三菱総合研究所

定員：
16名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
会員 1,000円／一般 8,000円／学生 1,000円
※NPO法人 トップエスイー教育センター会員および日本ソフトウェア科学会会員の方は、会員価格で参加いただけます。
参加申込方法：
参加申込みサイトより必要事項を入力の上、お申込みください。※こちらでPCを準備できますのでご希望の場合は申請時に選択してください。
https://ws.formzu.net/fgen/S41806214/
主催：
NPO法人 トップエスイー教育センター
協力：
国立情報学研究所 GRACEセンター
協賛：
日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
お問合せ窓口：
セミナーに関するご質問などは、下記アドレスにて承ります。
inquiry_[at]_topse.or.jp ※_[at]_部分を@に変えてください