（報告：中津川さん／参加者代表）

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

　　　　主催: ソフトウェア技術者協会 (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 [at-mark] sea.jp

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

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

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

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

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

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

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

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

◆1. 期日: 2013 年 7 月 6 日 (土曜日)

◆2. プログラム
　　14:00 〜 17:00
　　　講演会
　　　　題目：実務家のための形式手法
　　　　講師：荒木 啓二郎 (九州大学)
　　　　　　　栗田 太郎 (フェリカネットワークス)
　　18:00 〜
　　　懇親会 (会場は別になります．会費は 6,000 円を予定してお
　　　ります)

◆3. 会場
　　九州大学システム LSI 研究センター
　　　　百道サテライトキャンパス 会議室 B (205 室)
　　福岡市早良区百道浜 3-8-33
　　福岡システムLSI総合開発センター 2 階
　　　　http://www.ist.or.jp/lsi/

◆4. 参加費
　　おひとり様 1,000 円

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

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

　　お申し込み先: entry-kyushu [at-mark] sea.jp

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

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

───────────────────────────────
◆実務家のための形式手法セミナー 参加お申込票◆

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

「ソフトウェア開発におけるオープンソースの位置づけとその変化、これから」
講師：倉貫 義人（株式会社ソニックガーデン代表取締役）

当日は約30名の方が倉貫さんの講演を聞き、その後の質疑応答や議論に参加されました。開始直後に挙手で確認したところ、会社員の方が多く、残念ながら学生さんの参加はなかったようですが、SEAのイベントとしては平均年齢は低かったように思います。

講師の倉貫さんは、オープンソースの活用、自社で開発したシステムのオープンソース化などについて、ご自身のご経歴や経験に基づいてわかりやすく紹介してくださいました。アプリケーションやサービスを提供するビジネスにおいて、何をオープンソース化し、何はオープンソースを利用すべきなのか、大変示唆に富んだお話でした。

また、既存のソフトウェア開発のビジネスモデルを分類し、それぞれの特徴や課題を整理して詳しく解説してくださいました。そして既存のモデルの課題を解決するビジネスモデルとして倉貫さんの会社が採用している「納品のない受託開発」について、実績や留意点、顧客からの声などを紹介してくださいました。

ご講演後の質疑応答では、会場の複数の方から質問が活発に寄せられました。今回は2枠連続で105分と比較的長時間のセッションでしたが、大変密度の濃いセッションだったと思います。

（SEA九州支部世話人 古賀）

「ソフトウェア開発におけるオープンソースの位置づけとその変化、これから」
講師：倉貫 義人（株式会社ソニックガーデン代表取締役）

詳細については、同カンファレンスのWebページ1コマ目＆2コマ目をご参照ください。
多数のご参加をお待ちしております。

— 最新動向と今後の展望 —

Twitterハッシュタグ： #FL20120531

主催: ソフトウェア技術者協会 九州支部
共催: 一般社団法人 情報処理学会九州支部

参加者募集

本フォーラムでは，今注目を集めている関数プログラミングを取り上げます．長らくコンピュータサイエンスの研究領域にあると思われていた「関数プログラミング」は、近年，実用的なプロジェクトでの使用例が続々と報告されるようになってきました．スピーカー，パネリストには早い時期から関数プログラミングの高い生産性と品質に着目し実用システム開発に活用されている方々をお招きし，その特徴，利点および導入への注意点などを紹介して頂きます．関数プログラミングに関する予備知識は一切必要ありません．

多くの皆さまの積極的なご参加をお待ち申しあげております．

───────────　開　催　要　領　──────────

◆1. 日時

2012年5月31日（木）13:30 – 17:00

◆2. プログラム（予定）

13:00 – 13:30 受付

13:30 – 15:00

「関数プログラミングのエッセンスと考え方」

小笠原 啓（ITプランニング）

15:00 – 15:15 休憩

15:15 – 17:00 (105分)　（順番は仮です）

「Web アプリケーション・フレームワーク Yesod」

山本 和彦（IIJイノベーションインスティテュート）

デモンストレーション「OCamlの開発環境とコーディング手順」

小笠原 啓（ITプランニング）

「Erlangを活用した地域産業支援への取組み事例の紹介」

岡本 勝幸（有限会社イットワークス）

「Erlang OTPを活用したマルチプログラミング言語システム」

賀川 将彦（プロトグラム）

質疑応答 – クロージング

終了後の懇親会は、申込者多数により受付を終了しました。（2012-4-17追記）

フォーラムの終了後，話者，主催者を交えた懇親会を行います．
(費用，会場は別です)． お申込時に，参加する・しないを
ご記入ください．ただし，懇親会については15名程度で募集を
打ち切る予定です（先着順）．予めご了承ください．

◆3. 会場：

福岡県Ruby・コンテンツ産業振興センター
セミナールームA+B　　 http://frac.jp/

福岡市博多区博多駅東1丁目17-1
福岡県福岡東総合庁舎　5階

◆4. 定員：

50名 （ただし、懇親会については先着15名程度まで）

終了後の懇親会は、申込者多数により受付を終了しました。（2012-4-17追記）

◆5. 参加費：

3,000円（当日現金でお支払いください．懇親会の費用は別途です．）

終了後の懇親会は、申込者多数により受付を終了しました。（2012-4-17追記）

◆6. お申し込み方法

下記ATNDでお申し込みください。

http://atnd.org/events/27376

終了後の懇親会については、申込者多数により受付を終了しました。（2012-4-17追記）

ATNDによるお申し込み時のアンケートにおいて「懇親会の参加する／しない」が表示されてしまいます。お手数ですが、「参加しない」をご選択ください。（2012-4-17追記）

お問い合わせ：SEA九州支部（担当：古賀）
koga [at-mark] class-k.jp

◆その他：

SEAでは、同様のテーマのイベントを3月に東京で開催致しました。
以下は、そのイベントに関する情報です。

開催案内： http://sea.jp/?p=895
参加レポート： http://sea.jp/?p=937
発表資料集： http://sea.jp/?p=943

情報処理学会九州支部 特別講演会　のご案内

　　　　　　　　　　　　　　　　　　　情報処理学会 九州支部
　　　　　　　　　　　　　　　　　　　　　支部長　荒木 啓二郎

情報処理学会九州支部では、韓国浦項理工大学校 (POSTECH) の
姜 教哲 (Kang, Kyo-Chul) 教授をお招きして、下記の要領で
ソフトウェアプロダクトライン工学に関する講演会を開催致します。
姜教授は、韓国におけるソフトウェア工学の第一人者で、ソフトウェア
プロダクトラインの創設者として世界的に著名な研究者です。
英語による講演ですが、できるだけ解りやすくお話し頂くように
お願いしておきます。姜教授から直接お話をお聴きできる貴重な機会です
ので、皆様、万障お繰り合わせの上、ご参加下さいますよう
ご案内いたします。

　　　　　　　　　　記

講師：Kyo-Chul Kang（姜 教哲）教授（韓国 浦項理工大学校）
題目：APLE: Architecture-Centric Product Line Engineering
概要：添付ファイルを参照下さい
日時：2012年2月11日（土）15:00～16:30
場所：福岡システムＬＳＩ総合開発センター 2階　会議室B
　　　http://www.ist.or.jp/lsi/pg03_01.html
主催：一般社団法人 情報処理学会九州支部
共催：NPO法人 九州組込みソフトウェアコンソーシアム(QUEST)、
IEEE Fukuoka Section
協賛：(財)九州先端科学技術研究所(ISIT)、
　　　ソフトウェア技術者協会(SEA)九州支部、
　　　プロジェクトマネジメント学会九州支部、
　　　九州地域組込みシステム協議会(ES-Kyushu)
参加費：無料
定員：50名
（申し込み多数の場合は参加をお断りすることがありますことを
　予め御承知おき下さい。）
申込先：
　情報処理学会九州支部事務局（川根） kawane [at-mark] isit.or.jp
　QUEST（芦原） ashihara [at-mark] nalab.jp

以上
問合先：
情報処理学会九州支部長　荒木 啓二郎（九州大学）
　　　　araki [at-mark] csce.kyushu-u.ac.jp

==================================================
姜 教授　特別講演会　参加申し込み

氏名：
所属：
E-mail：
参加組織をお知らせ下さい（複数選択可）：
　情報処理学会、QUEST、IEEE、SEA、PM学会、ES-Kyushu、該当無し
備考：
==================================================

場　　　所：　　くまもと森都心プラザ　会議室A
　　　　　　　　（熊本市春日1-14-1　http://stsplaza.jp/index.html )

主　　　催：　　くまもと技術革新・融合研究会　RIST

共　　　催：　　独立行政法人　情報処理推進機構（IPA）
　　　　　　　　九州地域組込みシステム協議会（ES-Kyushu）
　　　　　　　　ソフトウェア技術者協会　九州支部（SEA九州）

定　　　員：　　20 名

■研修アジェンダ（予定）
1/16（月）　10：00 – 17：45
　・オリエンテーション
　　（事前アンケートのフィードバックを含む二日間の概要を説明）
　・実際のプロジェクトに如何に形式手法を取り入れたか？ ・・・Mobile Felica
　・形式手法の適用事例 ・・・国内外での幅広い適用事例
　・形式手法を導入する際の考慮事項
　・EA から形式手法への道？なぜアーキテクチャセントリックか？
　・開発対象のアーキテクチャー記述
1/17（火）　9：15 – 17：00
　・開発対象を如何にモデル化し、記述するか？・・・実例で説明

■IPA/SEC 形式手法人材育成ワーキンググループ
　　【主　査】九州大学　荒木啓二郎 【副主査】名古屋大学　山本修一郎
　　（株）三菱総合研究所　石黒正揮　 （有）イットワークス　岡本勝幸
　　フェリカネットワークス㈱　栗田太郎 （株）SCSK　佐原伸
　　（株）NTT データ　塚本英昭　 （独）産業技術総合研究所　西原秀明
　　グローバル情報社会研究所㈱　藤枝純教　 名古屋大学　結縁祥治　
　　IPA/SEC　新谷勝利 　　　　　和歌山大学　鰺坂恒夫

■受講対象者および前提
　・対象者は、現場における問題点を改善・解決したいと考えているプロジェクトリーダー
　　あるいはマネージャー。
　・仕様作成とプログラム開発、ソフトウェア開発プロセスについてのある程度の知見を
　　持っていること。

■このコースを受講して身に付くと期待されるもの
　・形式手法による開発が高品質で生産性が高いことを実感できる
　　-例：従来の手法では見つけにくかった欠陥の発見を支援
　　-例：非効率なレビューの改善
　　-例：コミュニケーションの質の向上
　・形式手法導入の要点を理解できる
　　-例：形式手法導入の目的
　　-例：開発プロセスとの関係
　・形式手法導入を志向できるようになる
　　-例：当事者として自らの開発プロセスへの導入を検討
　　-例：他事例をより深く調査

参　加　費：　　無料

申込み締切：　　平成24 年1 月12 日（木）　
　　　　　　　　※先着順申込み、定員になり次第受付を締め切ります。

申込み方法：　　以下のフォームに必要事項を明記の上、下記アドレスまで
　　　　　　　　メールにてお申込み下さい。

問い合わせ：　　株式会社　電盛社　（担当：富松、市村）
　　　　　　　　Tel　096-212-7724
　　　　　　　　E-mail　s_ichimura [at-mark] densei.co.jp

***形式手法導入パイロット教育コース（2012 年1月16 日 – 1月17日開催）申込書***
会社名：
所属：
役職：
氏名：
TEL：
E-mail：
*********************************************************************

熊本で基本を学ぶ：形式手法とソフトウェア品質保証

くまもと技術革新・融合研究会
ソフトウェア工学検討会

ソフトウェア工学検討会では、品質保証と形式手法の2本立てセミナーを下記の通り開催します。

品質保証についてはNARAコンサルタントの奈良 隆正氏を、形式手法については九州大学の荒木 啓二郎氏を講師としてお迎えします。

しっかり理解していただけるように、質疑応答の時間もたっぷり確保しました。ソフトウェア開発部門や品質保証部門の管理者やリーダーはもちろんですが、基本的な考え方を知る機会としては、経営者の方にもお勧めです。

多くのみなさんの積極的なご参加をお待ちしています。

記

■日　時■

2011年11月8日(火) 　12:30開場　13:00～17:00

■会　場■

くまもと森都心プラザ　会議室A、B（連結利用）
熊本市春日１丁目１４番１号（JR熊本駅前）
http://bit.ly/moritoshin （熊本市HP内への短縮リンク）

■対象者■

九州内の企業・大学等管理者・技術者・研究者など
（九州以外からの参加者も歓迎します）

■定　員■

90名（定員になり次第受付終了）

■内　容■

[第1部]　13:00 – 15:00　品質保証

「ソフトウェア品質保証（活動）の基本的なフレームワーク」
＜NARAコンサルタント　奈良 隆正氏＞

ソフトウェアの品質保証（活動）というと多くの人は何か特別な事をしなければいけないと誤解しているが、基本は「自分の仕事の結果について責任を持つ」という事です。ではどの様にすれば自分の結果に責任を持つことが出来るのでしょうか。

ソフトウェアの世界には「V＆V（検証と妥当性確認）」と言われる品質保証のための有名なモデルが有り、このモデルを着実に実行することこそが品質保証の基本となります。今回はV&Vの考え方、その実務への適用方法と基本的なフレームワーク、適用を確実にするための関連技術（例えば測定技術）などについて解説します。

[第2部]　15:00 – 17:00　形式手法

「形式手法って何？　ー　効用と導入のポイント　ー」
＜九州大学　荒木 啓二郎氏＞

ソフトウェアの信頼性や安全性を保証する有効な方法の一つとして形式手法 (formal methods) に対する関心が高まっています。ヨーロッパでは、基礎研究と実用システム開発への適用経験が長年にわたって蓄積されています。

本講演では、具体的な適用事例も挙げながら、形式手法の特質とその効用について紹介し、形式手法を実際のシステム開発に適用する際の留意点について述べます。

■主　催■

くまもと技術革新・融合研究会(RIST)　ソフトウェア工学検討会
九州地域組込みシステム協議会（ES-Kyushu）

■共　催■

独立行政法人　情報処理推進機構（IPA)
ソフトウェア技術者協会(SEA) 九州支部

■参加費■

無料　（懇親会は4000円程度の予定）

■お問い合わせ・お申し込み■

株式会社電盛社　市村　s_ichimura [at-mark] densei.co.jp
※参加申込みは、平成23年11月7日（月）までに以下の内容を
メールにて送信してください。

■□■————————————————————–■□■
熊本で基本を学ぶ：形式手法とソフトウェア品質保証
平成23年11月8日（火）
組織名：
氏　名：
電　話：
メールアドレス：
懇親会：参加・不参加（不要な方を削除して下さい。）
■□■————————————————————-■□■

３つの地域を遠征しながら連続で実施するイベントのまず最初のフォーラムを、SIGEDU、SEA九州支部および地元の上海オフショア開発フォーラム（SOF)の主催で7月22日に開催しました。

日本から10名、地元から11名の参加があり、無形労働、OSS、技術移転をテーマに話題講演と引き続いての討論を行いました。その中で「もぐら」経営者の新井さんの「創造性」の話をきっかけに、オブザーバ参加のPANTAさんを巻き込んで議論が拡大しました。

アンケートによると中国のでのソフトウェア開発の実態を知ることができたとかで、好評でした。講演資料は現在編集中であり、準備ができ次第案内の予定。

SEA上海支部・杉田義明　（8月5日）