───────────────────────────────

　　　　　　実務家のための形式手法セミナー (熊本)

　　　　主催: ソフトウェア技術者協会 (SEA) 九州支部
　　　　　　　　　　情報処理学会 九州支部
　　　　　　　　くまもと技術革新・融合研究会

　　　　　　　　　　　　　参加者募集

───────────────────────────────

ソフトウェア技術者協会 (SEA) 九州支部，情報処理学会 九州支部，
くまもと技術革新・融合研究会では，九州大学の荒木 啓二郎氏とフ
ェリカネットワークスの栗田 太郎氏をお迎えして，「実務家のため
の形式手法セミナー」を開催いたします．情報処理推進機構 (IPA)
で公開されている「実務家のための形式手法シリーズ，教材及び副読
本」を基にして，これらを作成なさった中心人物であるお二人から直
接形式手法導入のエッセンスについてご講演いただきます．

「形式手法って何?」，「形式手法って役に立つの?」という問いに対
して，アカデミアと企業の立場から解説していただきます．形式手法
に関心のある方々のご参加をお待ちしております．

「実務家のための形式手法シリーズ，教材及び副読本」
　http://www.ipa.go.jp/sec/reports/20130328.html

◆1. 期日: 2013 年 7 月 26 日 (金曜日)

◆2. プログラム
　　13:30 ～ 16:30
　　　講演会
　　　　題目：実務家のための形式手法
　　　　講師：荒木 啓二郎 (九州大学)
　　　　　　　栗田 太郎 (フェリカネットワークス)
　　　　講演に続いて，スマートフォン開発などへの応用，小規模開
　　　　発への応用を中心に質疑応答，ディスカッションを行いたい
　　　　と思います．

　　17:30 ～
　　　懇親会 (会場は別になります．会費は 5,000 円を予定してお
　　　ります)

　　　申込み人数がある程度まとまりましたら，下記を予約する予定
　　　です．

　　　熊本に伝わる伝統の「古料理」と郷土料理を提供する和食料理
　　　店『櫻道』
　　　http://www.kyusanko.co.jp/landmark/sakuramichi/gaiyo.html
　　　http://www.kyusanko.co.jp/landmark/sakuramichi/pdf/dinner01.pdf

◆3. 会場
　　桜の馬場 城彩苑 多目的交流施設
　　　http://www.sakuranobaba-johsaien.jp/howtouse/
　　会場地図
　　　http://www.sakuranobaba-johsaien.jp/access/

◆4. 参加費
　　無料

◆5. お申し込み方法
　　下記のお申込票に必要事項をご記入の上，下記のアドレス宛てに
　　電子メールでお申し込みください．

　　折り返し受け付け確認のメールをお送りいたします．

　　お申し込み先: entry-kyushu@sea.jp

◆6. その他
　　当日の飛び込みの参加も歓迎ですが，会場の関係上，直前でも結
　　構ですので，上記のお申込みをメールでいただけると幸いです．

　　その他，お問い合せは entry-kyushu@sea.jp までお願いいたし
　　ます．

───────────────────────────────
◆実務家のための形式手法セミナー (7/26・熊本) 参加お申込票◆

　氏名: ふりがな:
　所属:
　メールアドレス:
　・セミナー　参加・不参加
　・懇親会　　参加・不参加
───────────────────────────────