新規作成
新規ページ作成
新規ページ作成(その他)
このページをコピーして新規ページ作成
このウィキ内の別ページをコピーして新規ページ作成
このページの子ページを作成
新規ウィキ作成
編集
ページ編集
ページ編集(簡易版)
ページ名変更
メニュー非表示でページ編集
ページの閲覧/編集権限変更
ページの編集モード変更
このページにファイルをアップロード
メニューを編集
バージョン管理
最新版変更点(差分)
編集履歴(バックアップ)
アップロードファイル履歴
ページ操作履歴
ページ一覧
ページ一覧
このウィキのタグ一覧
このウィキのタグ(更新順)
このページの全コメント一覧
このウィキの全コメント一覧
RSS
このウィキの更新情報RSS
このウィキ新着ページRSS
ヘルプ
ご利用ガイド
Wiki初心者向けガイド(基本操作)
このウィキの管理者に連絡
運営会社に連絡(不具合、障害など)
fm-forum @ ウィキ
操作ガイド
新規作成
編集する
全ページ一覧
登録/ログイン
fm-forum @ ウィキ
操作ガイド
新規作成
編集する
全ページ一覧
登録/ログイン
fm-forum @ ウィキ
このページを編集する
20100410
開催情報
日時:4/10 13:00-19:00
場所:銀銀座ルノアールニュー大久保店 3号室 (東京都新宿区百人町1-18-8)
定員:10名でとったけど12名まではOK。
http://atnd.org/events/3687
アジェンダ
最終目標は形式手法を活用して仕事ができるようにすること! まずは、考え方とツールに慣れるところから始めます。
初めての人にも導入資料へのリンクをお教えしますので、 レベル感を気にせず参加してください。
ただし、キャンセルは4/6 24:00までにお願いします (会議室料金は参加者で割り勘なので)。
Coqの題材:前回参加してなかった人が多かったので前回の復習からも検討。
各自 Coq の実行環境をインストールしてきて下さい。 インストール方法(
http://www39.atwiki.jp/fm-forum/pages/16.html
) MacOS (Snow Leopard)とかLinuxの人はインストール手順を Wikiに反映していただけると嬉しいです。
最初のテキストはThe Coq Proof Assistant, A Tutorial (
http://www39.atwiki.jp/fm-forum/pages/17.html
) です。前回はChapter 1.3まで(p.18 まで)で、今回は1.4 Predicate Calculusの予定です。時間的に余裕があれば、予め実際に自分で入力(PDFからCoqIDEにコピペ)してみてください。入力したらsaveすると入力した事が全部記録されます。それを上から順に一行づつステップ実行して、皆で交代で発表しましょう。
前回はガリグ先生の教材(
http://www.math.nagoya-u.ac.jp/~garrigue/lecture/
2009_AW/coq2.pdf) の練習問題を解きました。今回はガリグ先生の授業 (
http://www.math.nagoya-u.ac.jp/~garrigue/lecture/2009_AW/coq3.pdf
) の練習問題1.1を解こうと思ってます。
そこまで終わったら、CPDT (
http://adam.chlipala.net/cpdt/
) のChapter 3をやりましょう。
Alloyの題材:
現在検討中。
http://groups.google.co.jp/group/fm-forum
に詳細を載せます。
議事録
タグ:
+ タグ編集
タグ:
このサイトはreCAPTCHAによって保護されており、Googleの
プライバシーポリシー
と
利用規約
が適用されます。
タグの更新に失敗しました
エラーが発生しました。ページを更新してください。
ページを更新
「20100410」をウィキ内検索
最終更新:2010年04月03日 23:12
ツールボックス
下から選んでください:
新しいページを作成する
以下から選択してください
-------------------------
このページを編集
ページ名変更
差分
編集履歴
アップロード
-------------------------
新しいページ
ページ一覧
検索
-------------------------
ヘルプ
/
FAQ
もご覧ください。
メニュー
メニュー
トップページ
勉強会
イベント
書籍
リンク
情報交換手段
メーリングリスト
twitter:
@fm_forum_
ustream:
Skype:
各形式手法資料
Alloy
B-Method
Coq
Event-B
ここを編集
rss & コンタクト & タグ
更新履歴
RSS Feed
管理者に連絡
タグ一覧