最終目標

最終目標は形式手法を活用して仕事ができるようにすること！ まずは、考え方とツールに慣れるところから始めます。初めての人にも導入資料へのリンクをお教えしますので、レベル感を気にせず参加してください。

開催覚書

1. 万が一開催者の都合で会場が13:00に準備できなかった場合、twitter(ハッシュタグ#fm_forum)にて、代替場所を連絡します。
2. 懇親会があります。学生の方は一言声をかけてください。

会場覚書

1. 会場費はかかりません。
2. ネットワークがありません。

今回のテーマ

1. Purely Functional Data StructuresをCoqで実装しよう http://www.chargueraud.org/softs/cfml/index.php という前例があるので、これをいじるよ。
2. 「抽象によるソフトウェア設計」の練習問題をみんなでやってみよう。

それ以外でもみなさんがお話したいことがテーマになります。

初めての方のために

http://groups.google.co.jp/group/fm-forum に詳細を載せます。 1. PCにCoq(http://coq.inria.fr/)をインストールしておくと幸せになれるかも。 2. PCにAlloy(http://alloy.mit.edu/alloy/download.html)をインストールしておくと幸せになれるかも。

開催概要

イベントは終了いたしました。