SEA SPIN Meeting June 2012
テーマ：「プロセス改善あれこれ～色々な切り口で討議～」
参加者募集
主催: SEA プロセス分科会（SEA-SPIN）

皆さんご存知の通り，今年のソフトウェシンポジウム（SS2012)が福井市で行われます．

そこで，今回のSEA-SPIN Meeting は，SS2012 が終わったあと，近くの越前大野市（列車で1時間）に場所を移し，いくつかのテーマについてのプレゼンテーションをベースに，さまざまな角度からプロセスについての議論を展開したいと考えます．詳細は下記プログラムをご覧ください．

なお，大野市は越前の小京都と呼ばれる古都で，日本名水百選にも選ばれた「おしょうず」がある，水がきれいな町です．
福井名産のさといもも，そのきれいな水で育っています．また，近くの糸魚（イトヨ）町には，国の天然記念物になっているイトヨという美しい魚も棲んでいます．

多くの方々のご参加をお待ちしております．

****************  開催要領  *****************

1. 日時：2012年06月15日(金) ～16日（土）午前中

2. 会場：越前大野市 城下東広場 交流スペース

交通：JR 越美北線 越前大野駅 徒歩5分

大野市

越前おおの観光ガイド

3. プログラム：

コーディネータ 田中一夫（IXナレッジ株式会社）, 奈良隆正（NARAコンサルティング）

3.1 6月14日（木）

集合（指定ホテルに夕方までにチェックイン）
そのあとレセプション（詳細は後程連絡します）

3.2 6月15日（金）（Meeting 1日目）

9：00～9：30 受付，ネットワーキング

9：30～17：00 報告およびディスカッション

(1)基調講演 平鍋健児氏（株式会社チェンジビジョン）
・講演テーマ；アジャイルの現在・過去・未来
～ソフトウェア開発とエンジニアの働き方を越前大野で語る～

概要：
10年前に登場したアジャイル開発は，最近日本でも採用する組織がぐっと増えてきています．それは，ビジネスのスピードと変化に合わせてシステムを構築できるメリットが徐々に理解されてきたからです．その一方でアジャイル開発の技術・ビジネス面のみに目を奪われ，“誤解”するエンジニアも多いようです．アジャイル開発の源流を遡りつつ，現在のシステム開発の問題と，エンジニアの人生の質（Quality of Life），働き方やワークスタイルを含めて，みなさんと，考えてみたいと思います．

講師のご紹介：
株式会社チェンジビジョン代表取締役社長．（福井県大野市在住）
UMLエディタastah*（旧JUDE）の開発等，20年以上のオブジェクト指向ソフトウェア開発経験，うち10年のアジャイル開発経験をもち，ソフトウェア開発をより生産的に，協調的に，創造的に，そしてなにより，楽しく変えたいと考えている，越前大野出身のプログラマ．
2008年には，Agile Alliance よりアジャイルプラクティスの普及活動への貢献を認められ，一年に世界で2名に与えられるGordon Pask Award 受賞．日本では，XPJUGアドバイザリ，要求開発アライアンス理事，を務める．
著書「ソフトウェア開発に役立つマインドマップ」，共著「要求開発」，翻訳「XPエクストリームプログラミング導入編」，リーン開発の本質」，「アジャイルプロジェクトマネジメント」，アート・オブ・アジャイルデベロップメント」など多数．

(2)話題提供-1 岸田孝一氏（株式会社SRA）
・テーマ；リゾームモデルの可能性

概要：
ソフトウェア・プロセスはオープンな複雑系であり，旧来の科学工学的パラダイムでは対応できない．ウォータフォールやその改良型，あるい は VモデルやＷモデルなどの限界はそのあたりにあると考えられる．プロセスを階層や要素に静的に分解するのではなく，ひとつのダイナミックな全体として把握するモデルが必要である．ガタリ＆ドゥルーズが提案したリゾームのメタファはそうした新しいモデルとして有用だと思われる．リゾーム型のモデルやそのヴァリエーションを従来のプロセス・モデルの上に重ね合わせて使うというアプローチについて提案し皆さんのご批判を仰ぎたい．

(3)話題提供-2 栗田太郎氏（フェリカネットワークス株式会社）
・テーマ；形式的記述とアジャイル

概要：詳細は後日連絡します．

(4)話題提供-3 検討中
・SS2012の論文またはWS報告から選択する予定です

(5)情報交換会 （詳細は後日）
・18:00～21:00

3.3 6月16日（土）（Meeting 2日目）

9:30～12：00 報告およびディスカッション

(1)話題提供-4 伊藤昌夫氏（株式会社ニルソフトウェア）
・テーマ；立証を伴うソフトウェアプロセスのテーラリング

概要：
プロセス視点で通常用いられるプロセスープロダクト関係は，大文字のプロセスによって与えられている．テーラリングはそれを，如何に間引くかにあり，そのことは結果としてしか 明示されない．GSN を利用することで，このプロセスープロダクト関係に対して「立証」を与える．ここでは，大文字の
プロセスは必ずしも必要としない．

(2)話題提供-5 検討中
・SS2012の論文またはWS報告から選択する予定

4. 参加費用：

SEA正会員/SEA 賛助会員/SEA-SPIN MLメンバー：20,000円 一般：25,000円
（会費には14日(前日)，15日の2泊分の宿泊費,レセプション費，情報交換会費，を含みます）

5. 定員：先着20名

(申込多数の場合はSEA正会員を最優先し，以下 SEA賛助会員，
SEA-SPINメンバ，一般参加の順での先着順となります)

6. 申込方法：

下記申込用紙に必要事項を御記入の上，E-Mail[テキストのみ]でお申込みください．[HTMLメールや添付メールは不可] 出席の際には，申し込みメールを印刷してお持ちになり，会場受付にご提示下さい．

*** お申込みは1人ずつお送り下さい ***

なお，参加費は当日会場受付にて現金でお支払いください．(領収書を差し上げます)．申込受付後のキャンセルはできません．代理参加者をお立てください．

申込み宛先: spin-entry2010(at)sea(dot)or(dot)jp

***次の申込み票をメール本文に貼り付けて記入してください．***

………………………………………………………………………………

SEA-SPIN Meeting June 参加申込用紙 ( 2012-6-15,16)

「プロセス改善あれこれ～色々な切り口で討議～」

氏名 (ふりがな)：__________ (______________)

会社名／所属組織名： _______________________
E-Mail: ____________________________

種別(該当欄にチェック)：
□SEA正会員 (No. )←会員番号を記入
□SEA賛助会員
□SPIN ML メンバー (参加費は一般と同じ)
□一般
参加費：＿＿＿円

参加形態（いずれかにチェック）
□ SS2012 から継続して参加する
□ SS には出ず，SPIN-Meeting だけに参加する

*注：賛助会員企業一覧 http://sea.jp/sanjo.txt

受付済みの連絡はしません．お断りする場合には，メールでご連絡します．

SEA-SPIN その他情報

最終の資料をUPしています．今年度もより魅力的な会となるようご支援をお願いします．

総会案内

日時： 2012年5月16日（水）　19:30～20:00

場所： フェリカネットワークス株式会社　受付会議室

議題:

第一号議案 2011年度事業報告

第二号議案 2011年度決算報告

第三号議案 細則変更のご報告

第四号議案 2012年度事業計画

第五号議案 2012年度予算審議

第六号議案 役員改選

（下記を，事務局 office [at-mark] sea.jpまでメール願います）

——————————————————————————-

ソフトウェア技術者協会第27回総会に

□　出席する

□　欠席して議事を　（　　　　　　　　　　　　　　）　に委任する

（記入のない方は議長に委任とさせていただきます）

会員名

——————————————————————————-

総会資料：SEA_sokai_27-F（確定・承認版です　5/17）

本メルマガでは，定期的に SEA 主催のイベント情報や幹事による
コラム等をまとめてお伝えします．

──────────────────────────────
◆目次
──────────────────────────────

1. これから開催するイベント
2. 幹事コラム： 鈴木裕信
「プランBのなき世界」
3. SEAのSNSでコミュニティを作りませんか
4. SEA Forum のテーマ募集
5. 本メルマガへの寄稿募集
6. SEA on ソーシャルメディアのご紹介

──────────────────────────────
◆1. これから開催するイベント
──────────────────────────────

これから開催する SEA 主催のイベントです．
多数のご参加をお待ちしています．

●SEA Forum 「宇宙を駆けるTOPPERS」
1. 日時：2012年05月16日(水) 17:30 – 19:30
2. 会場：フェリカネットワークス株式会社 受付会議室
東京都品川区大崎1-11-1
ゲートシティ大崎 ウェストタワー 16 階
3. 参加費：（当日現金でお支払いください)
SEA 正会員・学生・40 歳未満: 1,000 円
SEA 賛助会員: 2,000 円
一般: 3,000 円
http://sea.jp/?p=1000

●SEA総会：2012年05月16日(水) 19:30 – 20:00
（前記SEA Forumの会場にて引き続き開催）

●SEA Forum 「実用期を迎えた関数プログラミング＠福岡」
1. 日時：2012年05月31日(木) 13:30 – 17:00
2. 会場：福岡県Ruby・コンテンツ産業振興センター
3. 参加費：3,000円（当日現金でお支払いください)
http://sea.jp/?p=971

●ソフトウェア・シンポジウム 2012 in 福井
http://www.sea.jp/ss2012/

今年のソフトウェア・シンポジウムは，6月12日(火) – 14日(木)
に福井駅前の AOSSA で開催します．
現在，早期割引価格で参加申込みを受付中です．
（早期割引は4月30日まで）

お問い合わせ，ご意見は，ss2012inquiry [at-mark] sea.jp
までお送りください．

──────────────────────────────
◆3. 幹事コラム： 鈴木裕信
「プランBのなき世界」
──────────────────────────────

先日参加したSEA Special Forumのパネルディスカッションでみず
ほ証券の株誤発注が話題になった．「61万円1株売りを間違えて1円
61万株売と注文した」という世にいうジェイコム株大量誤発注事件
である．みずほ証券は，誤発注を取り消すことができない東証シス
テムの瑕疵に対し損失分404億円の損害賠償訴訟をおこし，東京地
裁は東証に約107億円の支払いを命じる一審判決を下した．

最終的には発注後取り消せないという極めてわかり易いかたちで
発現したバグであるが，伝え聞く所によると，そこに至までいくつ
ものレアな条件が重なって始めて発生している．第三者的視点から
みて，そうそう簡単には潰しきれないバグである．とはいえ，現実
には４００億円もの損失を出すバグが発生しているわけで，このイ
ンパクトは日本のソフトウェア史に影を落とすと言わざるをえない．

さて，これからの議論を進める上で，ここでバグに関して真実と
もいえなくもない仮定をしたい．手短にまとめると，「バグはいつ
どこでどんなものが現れるかは，今の我々の技術ではコントロール
できないし，リスクゼロのソフトウェアは存在しない」という仮定
である．

なぜそんな仮定をするのかちょっと説明を加えたい．ソフトウェ
ア中の潜在的バグの発見累積数はS字曲線（ロジスティック曲線）
を描く．着目してもらいたいのは，ある一定の発見数を越えると，
なかなか発見しづらくなるという部分である．そしてまたソフトウェ
ア中のバグが少なくなるという意味でもある．そして密かに残るい
くつかのバグを探し出すには極めてコストがかかるということを示
唆している．またそのバグが引き起こす結果はどうなるかは事前に
は評価できないということも．

最近では，「脆弱性」という言葉で我々の目の前に現れる．たと
えば Remote Desktop Protocol(RDP)(MS12-020/CVE-2012-0002)は，
先月（２０１２年３月）に出た脆弱性報告なのだが，これはリモー
トの攻撃側から簡単に標的のコンピュータをブルースクリーンにす
ることが出きる．ちなみに攻撃には特別な知識はいらず，世の中に
出回っている攻撃ツールを使えばよい．グーグルがつかえ，少し英
語が読めれば簡単に出来るレベルである．

このようなバグが日常的に現れるので感覚が麻痺しているが，コ
ンピュータにとって致命的といえば致命的なバグである．この現象
をパソコンだからといいたい人もいるかも知れない．次の例はどう
だろうか．１９８０年代後半まで軍用機のフライ・バイ・ワイヤー
のソフトウェア（操縦ソフトウェア）には，ゼロデバイド，つまり
０で割ろうとする極めて初歩的なバグがあった．そのバグは失速し
た時点で操縦できなくなるという致命的な形で現れる．このバグが
発見されるまで軍用機に使われ続けていた．開発期間も含めると２
５年近くソースコードの中に存在していたらしい．パイロットのミ
スによる失速のために墜落というわかりやすい報告書が作られ，そ
れ以上，深くは追求せず終わっていたというのは想像に難くない．

民間で使うソフトウェアからみると青天井ともいえるコストをか
けることが可能の軍用システムのソフトウェアですらこのありさま
である．起動時間が長くなると迎撃精度が落ちるというバグを持つ
湾岸戦争で使われていた地対空ミサイル．宇宙空間で故障している
人工衛星を回収しようとしたけれどバグで機材が使えず，結局，人
間の手で回収せざるを得なかったスペースシャトルの制御システム．
似たような話は色々とある．

さて，パネルディスカッションでのみずほ証券の株誤発注の話題
に戻る．

会場からは当然のように「ソフトウェアのテストを完全に行う」
あるいは「もっとソフトウェア開発の技術を向上させて」というよ
うな発言があがってきた．極めて常識的な発言に聞こえるが，しか
し，どんなにテストの精度をあげようと，開発技術を向上させよう
と，バグは残るし，いつどのような形で現れるかはわからない．あ
くまでも仮定だが．

この完全なソフトウェアが理論上存在し，リスクゼロのソフトウェ
アを目指すというのを否定はしない．しかしリスクゼロのソフトウェ
アの構築という目的が段々と結果にすりかわり，ソフトウェアはリ
スクゼロであるべき，あるいはソフトウェアはリスクゼロとして扱
わなければならない，という誤った認識に陥っていないだろうか．

東証のシステムも「システムは最悪な状態になる時はなるのであ
る」という前提をおき，すべての手を尽くしてもどうしようもない
最悪な状況になった時，コンピュータでの売買を切り離し，売買停
止にする手順を考えるべきだったのである．いわゆるプランBを発
動すべきだったのである．

しかし，少なくとも日本の文化においては，プランBを良しとしな
い．プランAがダメなら，プランA’．プランA’がダメならプランA”
を用意しようとする．とことんプランAを突き詰めていく．「極め
る」という言葉は耳に心地よいが，実際には追い込まれていくよう
な世界に入り込む，といった方がいいだろう．無限にプランAを拡
張できるわけはないのだから，いつかは壁にあたり，その先に進め
なくなる．問題は，その時にプランAをどうやって肯定するかを考
え始める部分である．もう正常な判断ではいられなくなる．

今から２６０年ほど前にモンテスキューの『法の精神』に出てく
る有名な話を思い出してしまう．モンテスキューは「何でもかんで
も切腹なので，それを回避するために真実を隠してしまう．よって
法はその力を失う」といっている．これをこう置き換えてみよう．
「プランAには限界があり，それを放棄しなければならない場面も
発生する．しかし，それを認めるということは許されないことあり，
よってプランAのまま突き進む」これの姿は第二次世界大戦の軍部
の姿にも見えるし，はたまた，福島第一原子力発電所事故を起こし
た日本の原子力業界のようにも見える．本質的には２６０年前にモ
ンテスキューが指摘した日本の法（ルール）に対する態度となんら
変わっていない．

コンピュータシステムに関わらず「システム」というものがあり，
それがクリティカルなシステムである場合，システムがまったく機
能を果たさなくなった最悪の状態を想定し，その時に最悪な状態を
回避する方法を常に用意し，ためらわず使うべきなのである．

我々は常にプランBを考え，うまくいかない時は柔軟にブランBへ
乗り換える，また，それを認める文化が必要なのである．

──────────────────────────────
◆3. SEAのSNSでコミュニティを作りませんか
──────────────────────────────

SEAでは会員サービスとしてオープンソースのOpenPNE Version2 を
使ったSNSを運用しています．このSNSではコミュニティでのトピッ
クやイベントでファイルを置くことで情報の共有などができます．

SEAのSNSを活用して，コミュニティを作成しませんか．たとえばSEA
関西では，SEAの幹事や会員が責任を持って他の会員や非会員の方
も招待して，分科会やメーリングリストだけでなく情報共有できる
場を作ろうと思っています．

SEAのSNSへの参加を希望される方は

sns-adm [at-mark] sea.jp

までご連絡ください．折り返し招待メールが届きます．

──────────────────────────────
◆4. SEA Forum のテーマ募集
──────────────────────────────

SEAでは，今後もソフトウェア技術者の方にとって魅力的なForumを
企画，提供していきたいと考えています．採り上げて欲しいテーマ
やご要望がございましたら，お気軽に，下記の専用メールアドレス
までご提案ください．

forum-req [at-mark] sea.jp

──────────────────────────────
◆5. 本メルマガへの寄稿募集
──────────────────────────────

本メルマガでは，毎回幹事のコラムを掲載しておりますが，会員の
みなさまからの寄稿も歓迎致します．「メルマガへの寄稿」と明記
の上，下記の問い合わせ先までご連絡ください．

──────────────────────────────
◆6. SEA on ソーシャルメディアのご紹介
──────────────────────────────

SEAでは，以下のソーシャルメディアでも最新の情報を
発信しています．フォロー／いいね！を歓迎します．

SEA公式Twitterアカウント: @sea_jp
https://twitter.com/sea_jp

SEA公式Facebookページ:
https://www.facebook.com/SoftwareEngineersAssociation

ソフトウェア・シンポジウム公式Facebookページ:
https://www.facebook.com/SoftwareSymposium

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
SEA-MAIL メルマガ版 2012 年 第 4 号
ソフトウェア技術者協会 http://sea.jp/
お問い合わせ先: mailto:office [at-mark] sea.jp
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

【若手歓迎・40 歳未満参加費 1,000 円】

　- 宇宙を駆けるTOPPERS -

主催: ソフトウェア技術者協会

参加者募集

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

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

◆1. 日時: 2012 年 5 月 16 日 (水曜日)

◆2. プログラム (予定)

◇17:00 – 17:30 受付

◇17:30 – 18:30 話題提供

『宇宙を駆けるTOPPERS』
　石浜　直樹（宇宙航空研究開発機構）

◇18:30 – 19:30 議論

【司会】田中 一夫 (SEA幹事)

◇19:30 – 20:00 SEA総会

会員で無い方も，ぜひSEAの活動実績と活動計画が公開されますので，
ご参加ください．

◇20:00 – 情報交換会

フォーラムの終了後，話者，司会者を交えた懇親会を行います (費
用，会場は別です)． お申込票に，参加する・しないをご記入くだ
さい．

◆3. 会場
フェリカネットワークス株式会社 受付会議室
東京都品川区大崎 １-11-１
ゲートシティ大崎 ウェストタワー 16 階
http://www.felicanetworks.co.jp/company/map.html

◆4. 定員: 40 名

お申し込み順です．定員になり次第受け付けを締め切ります．

◆5. 参加費

SEA 正会員・学生・40 歳未満: 1,000 円
SEA 賛助会員: 2,000 円
一般: 3,000 円

◆6. お申し込み方法

下記のお申込票に必要事項をご記入の上，下記のアドレス宛てに電
子メールでお申し込みください．折り返し受け付け確認のメールを
お送りいたします．

お申し込みメールアドレス: forum [at-mark] sea.jp

◆7. その他

参加費は当日現金でお支払いください．領収書を発行いたします．

──────────────────────────────
◆SEA Forum in May 2012 参加お申込票◆

氏名: ，ふりがな:
メールアドレス:
種別 (いずれかにチェック，記入)
□SEA 会員 (No: )
□SEA 賛助会員 (会社名: )
□40 歳未満
□学生
□その他一般
領収書の要否: 必要・不必要
領収書の宛名:
懇親会に参加: する・しない
──────────────────────────────
注: 賛助会員企業一覧: http://www.sea.jp/sanjo.txt
───(mailto: forum [at-mark] sea.jp (テキストメールに限る))───
──────────────────────────────

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

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関連その２：事例発表）」

（発表者調整中）

質疑応答 – クロージング

終了後の懇親会は、申込者多数により受付を終了しました。（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

───────────────────────────────
◆ソフトウェア・シンポジウム 2012 参加募集◆
http://sea.jp/ss2012/

◇早期割引は 4/30 までです!!
───────────────────────────────

ソフトウェア・シンポジウムは，ソフトウェア技術に関わるさまざま
な人びと，技術者，研究者，教育者，学生などが一堂に集い，発表や
議論を通じて互いの経験や成果を共有することを目的に，毎年全国各
地で開催されています．

第 32 回目を迎える 2012 年のソフトウェア・シンポジウムでは，
SS2011 に引き続き，論文発表や事例報告と，ワーキンググループで
議論を行います．

今回は，「時代の転換期におけるソフトウェア」，「これからの世界
におけるソフトウェア」をテーマに，研究論文・経験論文・事例報告
の投稿と，ワーキンググループの提案の募集を行いました．会場は，
今後の世界について考えていくのにふさわしい福井市に用意すること
ができました．福井は，時代が変わるとき，何度か歴史の舞台になっ
てきました．時代が変わるいま，再び福井でソフトウェアについて広
く議論したいと考えています．

　WG1: アジャイルテスティング (Agile Testing)
　WG2: オープンソースクラウドの諸問題
　WG3: 形式手法の最新技術と産業界での適用
　WG4: ソフトウェア開発の持続可能性 (Sustainability) を考える
　WG5: システム開発文書品質
　WG6: 要求工学

多数のご参加をお待ち申しあげております．

◆開催概要──────────────────────────

　日程: 2012 年 6 月 12 日 (火曜日) ～ 14 日 (木曜日)
　場所: 福井市 AOSSA ( http://www.aossa.jp/ )
　主催: ソフトウェア技術者協会 ( http://sea.jp/ )
　後援: 福井県
　　　　情報処理推進機構 ソフトウェア・エンジニアリング・センター
　　　　日本科学技術連盟

◆プログラム─────────────────────────

◇2012 年 6 月 12 日 (火曜日) 午後から
　　ワーキンググループ，併設イベント

◇6 月 13 日 (水曜日) 終日
　　ワーキンググループ
　　オープニングキーノート (東京大学 教授 玉井 哲雄氏)
　　論文・報告発表会
　　情報交換会

◇6 月 14 日 (木曜日)
　　論文・報告発表会
　　ワーキンググループ発表会
　　クロージングキーノート (東京工業大学 教授 牧野 淳一郎氏)

◆参加申込要項────────────────────────

下記ページよりお申し込みください．
http://sea.jp/ss2012/archives/category/registration

◇参加費 (早期割引・4 月 30 日までのお申し込み)
　SEA 会員，SEA 賛助会員，協賛団体会員: 15,000 円
　一般: 25,000 円
　学生: 5,000 円
　地元学生: 1,000 円 (情報交換会にはご参加いただけません)

◇参加費 (5 月 1 日 ～ 5 月 31 日のお申し込み)
　SEA 会員，SEA 賛助会員，協賛団体会員: 20,000 円
　一般: 30,000 円
　学生: 5,000 円
　地元学生: 1,000 円 (情報交換会にはご参加いただけません)

◆お問い合わせ先───────────────────────

ご意見，お問い合わせは，ss2012inquiry [at-mark] sea.jp までお送りください．

最新の情報は，下記の Facebook ページでも発信しています．
https://www.facebook.com/SoftwareSymposium

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

本メルマガでは、定期的に SEA 主催のイベント情報や幹事による
コラム等をまとめてお伝えします。

──────────────────────────────
◆目次
──────────────────────────────

1. これから開催するイベント
2. これまで開催したイベントのレポート
3. 幹事コラム： 近藤　康二
　　「プロフェッショナル」
4. SEAのSNSでコミュニティを作りませんか
5. SEA Forum のテーマ募集
6. 本メルマガへの寄稿募集
7. SEA on ソーシャルメディアのご紹介

──────────────────────────────
◆1. これから開催するイベント
──────────────────────────────

これから開催する SEA 主催のイベントです。
多数のご参加をお待ちしています。

特に、来週火曜日にSpecial Forumとして玉井先生の特別講義が実施さ
れますのでご案内いたします。
玉井先生はソフトウェア技術者協会 (SEA) の元代表幹事であり、長年、
幹事として SEA の運営に貢献され、この 3 月に東京大学を退職されま
す。本Special Forumはこれを記念して開催するものです。
貴重な機会ですし、参加費無料ですので多くの方のご参加を心よりお待
ちしています！

●SEA Special Forum
　テーマ：「ソフトウェア社会のゆくえ」
　　　　　　～ 玉井哲雄先生特別講義 ～
　　1. 日時：2012年03月27日(火) 13:30 – 17:00
　　2. 会場：筑波大学東京キャンパス (丸ノ内線 茗荷谷駅) 134 教室
　　3. 参加費：無料
　　http://sea.jp/?p=918

●SEA SPIN Meeting April 2012
　テーマ：「テスト設計」
　　1. 日時：2012年04月13日(金) 18:30 – 20:30
　　2. 会場：渋谷区 神宮前穏田区民会館
　　3. 参加費：SEA正会員：1,000円，SEA賛助会員：2,000円，一般：3,000円
　　http://sea.jp/?p=947

●ソフトウェア・シンポジウム 2012 in 福井
　　http://www.sea.jp/ss2012/

　来年のソフトウェア・シンポジウムは、6月12日(火) – 14日(木)
に福井駅前の AOSSA で開催します。

　お問い合わせ、ご意見は、ss2012inquiry [at-mark] sea.jp までお送りく
ださい。

──────────────────────────────
◆2. これまで開催したイベントのレポート
──────────────────────────────

3月5日に開催したSEAフォーラム「実用期を迎えた関数プログラミング」
のレポートと、発表者資料へのリンクを以下の場所に掲載しています。

●実用期を迎えた関数プログラミング 参加レポート
　http://sea.jp/?p=937

●実用期を迎えた関数プログラミング 発表資料集
　http://sea.jp/?p=943

──────────────────────────────
◆3. 幹事コラム： 近藤 康二
　　「プロフェッショナル」
──────────────────────────────

　3月11日。忘れられない日となりました。

　1年前のその日、会社で採用面接の最中でした。「あなたの良いと
ころはなんですか？」と質問したその時に、今まで経験したことの
ない大きな揺れを感じました。急いで狭い机の下に潜り込んで、応
募者と顔を見合わせながら揺れがおさまるのを待ちました。会議室
の窓の外では、高層ビルがまるで柳のようにしなやかに揺れ動いて
いたのを覚えています。あれから1年、あの応募者はめでたく合格
となり、私の席のすぐ近くでがんばっています。

　私達は震災からで多くのことを学びました。絆、想定外、原子力
発電、津波などなど。そして最も大切な事は、この学んだことを後
世に語り継ぐことではないでしょうか。
　ソフトウェアエンジニアリングでは、技術伝承の話題がよく取り
上げられます。私たちは、どうすれば先人が学んだことを知見とし
て受け取り、同じ過ちを犯さずに品質の高いソフトウェアが造れる
ようになるのでしょうか。

　最近、若手の技術教育担当になりました。まずは手始めに4月か
ら入社予定の新入社員（正確には内定社員）と入社前の肩慣らしと
してJavaを使った簡単なゲームソフトを開発しています。この開
発課題を通じてソフトウェアエンジニアリングに関する様々な体験
をしてもらおうというのが狙いです。
　先日、ビデオ会議で面白いやりとりがありました。担当講師が、
「そろそろプログラムが動き始めた人もいるのでちゃんとテストを
やってくださいね」と指示すると、ある新入社員が「テストって何
ですか？」と質問しました。ベテラン講師は、慌てずにテストの必
要性を丁寧に分かり易く解説しました。すると新入社員は「必要性
はよくわかりました。では、何をどうすればよいですか？」と聞き
返しました。これにはさすがに講師も耐えかねて「まずは自分でよ
く考えてくださいね」と返事をしました。

　なぜ自分で考えようとしないのでしょうか。そんなことを考えて
いたときに、SEA幹事のMLに松原友夫さんが書かれた「日本のソフ
トウエア産業、衰退の真因」というコラムの紹介がありました。
<http://itpro.nikkeibp.co.jp/article/COLUMN/20070306/264055/>

　本人自身が自分にとって何故知識や技術が必要なのか？を自ら自
立的に考えないかぎり、他人が何を教えても結局身に付かないので
はないかと思います。逆に、自立さえすれば先人が憂うことなく自
らその歴史を学び、より良い考え方を身につけ自ら育っていくので
はないでしょうか。まさにこれがプロフェッショナルになるという
ことだと松原さんは書かれています。さらに、本人が自立するため
には、その本人と対峙する経営が自立する必要があるとも書かれて
います。経営とはトップマネジメントのみならず、組織やチーム、
指導者、先輩なども含まれるのではないでしょうか。

　季節柄、来年の新卒採用の為に人事担当と大学まわりをしていま
す。就職担当の先生とお話しする機会も多く、最近の学生に対する
憂いをよくお聞きします。基礎的な勉強をしたがらない、地道なプ
ログラミングに興味がない、などなど。学生にも問題があるかもし
れませんが、その学生のまわりにある、社会や大学、あるいは先生
方（m(_ _)m）がもう一度考えてみる必要があるのではないでしょ
うか。

　テレビでは震災にあわれた方々が、復興にむけて不屈の精神で立
ち上がろうとされています。まさに、自立されようとしているので
す。そんな様子を見ながら、自分もソフトウェア技術者として自立
しなければいけないと想う今日この頃です。

　目の前を見ると、1年前に採用合格となった彼女がたのもしく見
えるのは何故でしょうか。

──────────────────────────────
◆4. SEAのSNSでコミュニティを作りませんか
──────────────────────────────

SEAでは会員サービスとしてオープンソースのOpenPNE Version2
を使ったSNSを運用しています。このSNSではコミュニティでのト
ピックやイベントでファイルを置くことで情報の共有などができま
す。

SEAのSNSを活用して、コミュニティを作成しませんか。たとえば
SEA関西では、SEAの幹事や会員が責任を持って他の会員や非会員
の方も招待して、分科会やメーリングリストだけでなく情報共有で
きる場を作ろうと思っています。

SEAのSNSへの参加を希望される方は

sns-adm [at-mark] sea.jp

までご連絡ください。折り返し招待メールが届きます。

──────────────────────────────
◆5. SEA Forum のテーマ募集
──────────────────────────────

SEAでは、今後もソフトウェア技術者の方にとって魅力的なForum
を企画、提供していきたいと考えています。採り上げて欲しいテー
マやご要望がございましたら、お気軽に、下記の専用メールアドレ
スまでご提案ください。

forum-req [at-mark] sea.jp

──────────────────────────────
◆6. 本メルマガへの寄稿募集
──────────────────────────────

本メルマガでは、毎回幹事のコラムを掲載しておりますが、会員の
みなさまからの寄稿も歓迎致します。「メルマガへの寄稿」と明記の
上、下記の問い合わせ先までご連絡ください。

──────────────────────────────
◆7. SEA on ソーシャルメディアのご紹介
──────────────────────────────

SEAでは、以下のソーシャルメディアでも最新の情報を
発信しています。フォロー／いいね！を歓迎します。

SEA公式Twitterアカウント: @sea_jp
https://twitter.com/sea_jp

SEA公式Facebookページ:
https://www.facebook.com/SoftwareEngineersAssociation

ソフトウェア・シンポジウム公式Facebookページ:
https://www.facebook.com/SoftwareSymposium

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
SEA-MAIL メルマガ版 2012 年 第 3 号
ソフトウェア技術者協会 http://sea.jp/
お問い合わせ先: mailto:office [at-mark] sea.jp
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

SEA SPIN Meeting April 2012

テーマ：「テスト設計」

参加者募集

主催: SEA プロセス分科会（SEA-SPIN）

ご存じの方も多いと思いますが，ソフトウェアテストシンポジウム(http://jasst.jp/index.html)では，昨年からテスト設計コンテストが行われています．また、テストアーキテクチャの検討も進められています．

今回は，ソフトウェアテストシンポジウム2012のテスト設計コンテストで最優秀賞を受賞した日立製作所のTETTANチームのリーダである河野さんに発表してもらいます．また，東芝で研究・開発を進めているテスト設計手法PROST!の概要を紹介します．テスト設計とは何か，そして，ソフトウェア開発プロセス上で，どう位置づけられるのかをみなさまと議論したいと思います．

近年，要求・設計・コードの品質向上，手戻りを減らすための手段の一つとして，テスト設計の前倒しによりV字の左側の質をあげるWモデルという開発プロセスモデルが注目を集めています．今回の議論は，Wモデルとは何かという内容とも関わってくるはずです．テストを効果的・効率的・網羅的に実施するためにはどうしたらよいかという議論を展開したいと思いますので，多くの方々のご参加をお待ちしております．

ミーティング終了後，発表者を囲んで情報交換会を開催します．

****************  開催要領  *****************

1. 日時：2012年4月13日(金) 18:30 ～ 20:30

2. 会場：渋谷区 神宮前穏田区民会館

会場案内
渋谷区神宮前6-31-5
http://www.city.shibuya.tokyo.jp/est/kmkaikan/km_onden.html
交通：JR 原宿  6分
東京メトロ千代田線  明治神宮前駅  徒歩2分
都バス[池86][早81]系統「表参道」  2分

3. プログラム：コーディネータ 小笠原 秀人

18:00～18:30 受付及びネットワーキング

18:30～20:30 報告およびディスカッション
講演者
・テスト設計を考える
－コンテスト出場を通して－  河野哲也(日立製作所)
・テスト設計手法PROST!の紹介  小笠原秀人(東芝)

20:30～20:45 クロージング(次回予告，及び後片付け等)

4. 参加費用：

SEA正会員：1,000円，SEA賛助会員：2,000円，一般：3,000円

5. 定員：先着20名

(申込多数の場合はSEA正会員を最優先し，以下 SEA賛助会員，
SEA-SPINメンバ，一般参加の順での先着順となります)

6. 申込方法：

下記申込用紙に必要事項を御記入の上，E-Mail[テキストのみ]でお申込みください．[HTMLメールや添付メールは不可]
出席の際には，申し込みメールを印刷してお持ちになり，会場受付にご提示下さい．

*** お申込みは1人ずつお送り下さい ***

なお，参加費は当日会場受付にて現金でお支払いください．(領収書を差し上げます)．
申込受付後のキャンセルはできません．代理参加者をお立てください．

申込み宛先: spin-entry2010(at)sea(dot)or(dot)jp

***次の申込み票をメール本文に貼り付けて記入してください．***

………………………………………………………………………………

SEA-SPIN Meeting 参加申込用紙  2012-4-13

「テスト設計」

氏名 (ふりがな)：__________ (______________)
会社名／所属組織名： _______________________
E-Mail: ____________________________

種別(該当欄にチェック)：
□SEA正会員 (No. )←会員番号を記入
□SEA賛助会員
□SPIN ML メンバー (参加費は一般と同じ)
□一般
参加費：＿＿＿円

情報交換会(該当欄にチェック)：
□参加
□欠席

*注：賛助会員企業一覧 http://sea.jp/sanjo.txt

受付済みの連絡はしません．お断りする場合には，メールでご連絡
します．

SEA-SPIN その他情報

小笠原さん

http://www.itpl.co.jp/tech/func/essense_of_fp%28sea0305%29.pdf

山本さん

http://mew.org/~kazu/material/2012-yesod.pdf

酒匂さん

http://www.slideshare.net/ardbeg1958/ss-11889115

水嶋さん

動的プレゼンテーションにつきスライドはなし。

Twitter つぶやきのまとめ

http://togetter.com/li/270508

参加者によるレポート

http://sea.jp/?p=937

私は長らくJavaなどの命令型言語でプログラマーをやっていますが、昨今はScalaを通して「関数プログラミング」の名前自体は良く聞くようになってきています。
とはいえ、関数型というパラダイム自体は、「長らくコンピュータサイエンスの研究領域にあると思われていた関数プログラミング〜”（本セミナーの紹介文より）とのお言葉どおり、業務等での採用事例は多くないだろうと思っていました。
そういうわけで、関数プログラミングの経験、知識はほとんどありません。
そんな中、「実用期を迎えた関数プログラミング」と刺激的なコピーもあり、本セミナーの参加に踏み切ることにしました。
セッションの内容が完全に理解できたわけではありませんが、印象に残ったポイントをレポートしたいと思います。

「関数プログラミングのエッセンスと考え方」
小笠原 啓さん（ITプランニング）

現在、業務でもOCamlを使っているという、ITプランニングの小笠原啓さんによるセッションです。
関数プログラミングを採用すると、そうでない場合に比べてどういうメリットがあるのか……その疑問を解消すべく拝聴しました。

・採用事例の紹介

まずは、採用事例の紹介から。

・金融関係、プライベートファンドのトレーディングシステム
・計量的金融（クォンツ）のシステム
・COBOLコードの解析
・仕様の記述
・Xenの管理ツール
・等々

様々な事例があるようですが、主に金融関係の分野やソースコードなどの解析処理に使われてきたようです。

小笠原さんによると、関数プログラミングのメリットの一つは、「複雑な処理を簡潔に書ける」こと。
つまり、アルゴリズムを簡潔に書くことができ、複雑なロジックや、パーサーなどを書くのに向いているということでした。
この特徴から、仕様記述などのDSLや、ソースコードの解析プログラム、金融取引のビジネスロジックを記述しやすくなるようです。

さらに、TwitterでScalaが採用されていること、関数型言語を使ったWebフレームワークなどの事例も紹介されました。

「近年は、Web系のサービスも品質の高いものが素早くリリースされるようになってきており、不具合のあるものをとりあえず出してみて……といった開発は通用しにくくなっている」
品質の高いものを、素早くリリースすることが求められている、とのことです。確かにそのとおりだと感じています。
そのためには、静的な型付けが一助になるということで、型を重視するものが多い関数型言語はその点でも有利なようです。
関数型言語には静的な型がないものもあると思いますが、関数プログラミングを実践するには型があったほうがやりやすい、ということでしょうか。

小笠原さんのところでも、金融チャートの作成やサーバーサイドの処理にOCamlを使用していて、さらにブラウザ上での表示に用いるJavascriptもOCamlで記述しているのだとか。
ocamljsというソフトで、OCamlソースをJavascriptにコンパイルできるらしいです。
Javascriptにコンパイルできるツールというと、CoffeeScriptや、Javaから変換できるGWTが有名ですが、OCamlにもあったとは驚きました。
Javascriptをそのまま書く場合に比べて、コンパイル時の型チェックを受けられたりなど、品質の向上が期待できますね。

・関数プログラミングの機能、特徴の紹介

この後、関数プログラミングで使われる様々な機能、特徴の紹介がありました。

・関数を受け取る関数、高階関数でリストのソート方法などを柔軟に指定する。
・リソースのオープン・クローズ関数とリソース内容の処理をする関数を分けるローンパターンにより、ファイルポインタなどをエレガントに取り扱う。
・等々

このあたりは、関数オブジェクトやクロージャのある言語なら関数型言語でなくとも実現できるな、後で質問してみよう……と思いながら聞いていましたが、
コーディング例など、具体的な内容に触れるうちに、どうやらそういうレベルではないらしい、ということが分かってきます。
つまり、関数プログラミングを快適に実践するには、関数を変数に格納できるという程度では不十分だということです。
関数プログラミングを支援する言語機能として、以下のようなものが紹介されました。

・関数を変数に格納でき、さらに無名でも定義できること
・関数内部が静的なスコープを持つこと
・関数の引数の一部だけを変数にバインドした別関数を返す部分適用を簡単に利用できること
・変数は上書きしない。配列、リストの中身も書き換えない

これらの機能は、関数を頻繁に定義し、それをいろいろな場所に渡して使用する以上ないと困るし、変数が上書きされたり副作用があると関数を組み合わせて使用することが難しくなるのだろう、と私は理解しました。

個々の要素、例えば高階関数や部分適用などのみに注目して他言語、JavaScriptやRubyなどを見ていけば、これらの機能を備えた命令型言語はたくさんあると思います。
実際、関数を使ったプログラミングもできると思うのですが、やはり型や変数の取り扱い、副作用をどのように扱うか、スコープや値の評価方法など、関数型言語としてデザインされた言語でなければ、関数プログラマーの方々がおっしゃるレベルの関数プログラミングは実現できないのだろうと感じました。

・関数型言語に備わる便利機能

・代数的データ型

関数型言語には、その他にも便利な機能が備わっているようです。
一例として、「代数的データ型」の紹介がありました。
様々な型を格納できる、共用体のような特別な型ですが、「パターンマッチ」と呼ばれる機能を使えばその共用体に何の型が入っているのか簡単にチェックできるようです。
これらを使って正しい型に対してプログラミングすることで、安全な処理が可能だということでした。

・形式手法

小笠原さんのセッションで一番興味深く感じたのが、この形式手法のお話でした。
「形式手法」とは、数学的な手法で開発を支援する一連の取り組みのことで、これを用いると、「プログラムが正しいことを数学的に証明する」ことなどが可能なのだとか。
現在広く行われている品質確保手段であるテスティングでは、あくまで有限数の入力に対する出力を見ることしかできないのに対して、この形式手法を使えば無限のパターンに対して証明という形で品質の確保ができるというのです。
そして、変数の書き換え、副作用を排除した関数型言語は、この形式手法ととても相性がいいらしい。
小笠原さんの所属するITプランニングは、実際にこの「形式手法」を業務に取り入れておられるということで、既にそこまで実用的なレベルにあるのかと、とても感銘を受けました。

関数プログラミングを実践することで、プログラムの書き方が変わるだけでなく、新しい開発手法、コーディングの概念を業務に取り入れることができるかもしれない。
全体を拝聴して、特に形式手法のお話でそのことを良く実感できたと思います。

パネルディスカッション「実用期を迎えた関数プログラミング」
小笠原 啓さん（ITプランニング）
酒匂 寛さん（デザイナーズデン）
水島 宏太さん（日本Scalaユーザーズグループ，株式会社ユビレジ）
山本 和彦さん（IIJイノベーションインスティテュート）

第二部のパネルディスカッションでは、関数プログラミングを日々使用しておられる方々から、関数プログラミングの様々な側面についてのお話を聞くことができました。

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

山本さんからは、Haskellのお話を拝聴しました。
HaskellのWebフレームワークYesodについてはこのフォーラムで初めて知ったわけですが、普段Web関係の仕事をしているため、このフレームワークの話はとても印象に残りました。

・Haskellは、コンパイルが通れば大体思い通りにプログラムが動く
・HaskellのWebフレームワークであるYesodは、コンパイルが通れば大体思い通りにWebアプリが動く
・型安全URL。コンパイルできればアプリ内でのリンク切れが発生しない
・型を利用したセキュリティ対策。コンパイルできればXSSが発生しない
・話題のnode.jsより数段高速に動く

どの特徴も、刺激的で魅力的なものばかりです。
速度については、Yesodや、Yesodを乗せるHTTPサーバーWarpで様々な高速化対策が施されているようです。
文字列連結の際に計算量を減らす、HTTPリクエストをイベントループと軽量スレッドで処理する、その際カーネルになるべくアクセスしないようにするなど。
このWebフレームワークとサーバーのお話を聞いただけでもHaskellを学習したいという気持ちが大きく膨らみました。

・水島 宏太さん（日本Scalaユーザーズグループ，株式会社ユビレジ）

Scalaは、JVMで動作し静的な型付けを持つプログラミング言語です。
Javaで仕事をすることが多い私はよく名前を聞く言語ですし、実際に少し使ってみたこともあります。
関数型言語して使用できますが、Scalaのパラダイムは関数型に限られているわけではなく、ベターJavaとして書くことも可能です。既存のJavaのクラスライブラリもそのまま使用できます。
水島さんのセッションでは、Scalaの事例紹介を中心に、実際にどのようにScalaを使用できるのかといったお話を聞くことができました。

ScalaはTwitter社がよく使っていることで有名で、水島さんにより次のような事例が示されました。
・Github上のTwitterのリポジトリは半分近くScala
・EffectiveScalaと題してコーディング規約などを公開→Scalaは既に実験的な段階ではなくて、業務使用上のノウハウや規約がまとめられる段階にまでなっている
・RPCフレームワークFinagleなどの公開

また、Scalaエコシステムとも言える周辺ツールも数多く紹介されました。
・SBT…ビルドツール。Scalaプロジェクトの多くが基盤にしている
・specs2…BDDフレームワーク。Scalaによるテスト記述
・Lift、Play Framework2…Webフレームワーク

このあたりは、業務でもゲリラ的に使用してみることもできそうだな、と思いました。
また、Scalaの創始者が立ち上げたTypesafe社のサポートもあって、IDEの品質などもぐんぐん良くなってきているらしいですね。

Scalaという言語は、もう本当に身近なものになっているのだなと思わされます。
水島さんによれば、ScalaはJavaをやってきた人よりもRubyなどに親しんできた人の方が取っつきやすいらしい、とのことですが、それでもやはりJavaのプログラマーが関数型を学ぶならScalaが一番始めやすいのではないかという印象を受けました。

・酒匂 寛さん（デザイナーズデン）

酒匂さんからは、仕様記述言語VDM++と、その中での関数型言語機能についてのセッションです。
VDM++については名前くらいしか聞いたことがなかったので、大変勉強になりました。
VDM++は、仕様を関数という形で記述し、その仕様の事前条件、事後条件も定義することができる言語のようです。
そうすることで、仕様に矛盾、バグがないか、早い段階からテストやデバッグで確認することができるわけですね。
私はJavaのアサートやEiffelの表明を書きながらのプログラミングをイメージしましたが、普通の言語と異なり、まだ仕様が決まっていないところはTBDとして残したまま記述していくことも可能なようです。

VDM++では、副作用のある処理とない処理を分けて記述することができ、副作用のない関数部分については関数型言語的な側面を持ちます。
特に面白いと感じたのは、
・実装をどのように行うにせよ、事前条件や事後条件などの仕様だけは関数で書くことができる
・さらに、今までエクセルに列挙していたような用語集を仕様として関数の形で蓄積しておけば、仕様を書く際に楽ができる

関数は副作用がなく、単独で見て理解しやすいはずなので、そういったことがやりやすいのだろうと理解しました。
このような使用方法なら、開発を今まで通り行うにせよ、仕様書の記述のみにVDM++を取り入れる、ということもできそうな気がします。

・まとめ

セッションを聞き終えて感じたことは、関数プログラミングを深くやり込んだプログラマーと、Javaなど命令プログラミングの経験しかないプログラマーとでは、見えている世界が全然違うんだな、ということです。
関数プログラミングを勉強することで、関数の再利用方法や型に対する考え方、開発手法などに新しい風を入れることができそうだと思いました。
さらに、Webアプリケーションなど、業務に近い部分にも既に取り入れられているとなれば、関数プログラミングを学習しないわけにはいきませんね。
帰って早速「ふつうのHaskellプログラミング」を購入しましたので、これをきっかけに関数プログラミングを身につけていこうと思います。
この度は貴重なセッションをお聞かせいただき、本当にありがとうございました。