新規作成
新規ページ作成
新規ページ作成(その他)
このページをコピーして新規ページ作成
このウィキ内の別ページをコピーして新規ページ作成
このページの子ページを作成
新規ウィキ作成
編集
ページ編集
ページ編集(簡易版)
ページ名変更
メニュー非表示でページ編集
ページの閲覧/編集権限変更
ページの編集モード変更
このページにファイルをアップロード
メニューを編集
バージョン管理
最新版変更点(差分)
編集履歴(バックアップ)
アップロードファイル履歴
ページ操作履歴
ページ一覧
ページ一覧
このウィキのタグ一覧
このウィキのタグ(更新順)
このページの全コメント一覧
このウィキの全コメント一覧
RSS
このウィキの更新情報RSS
このウィキ新着ページRSS
ヘルプ
ご利用ガイド
Wiki初心者向けガイド(基本操作)
このウィキの管理者に連絡
運営会社に連絡(不具合、障害など)
fm-forum @ ウィキ
操作ガイド
新規作成
編集する
全ページ一覧
登録/ログイン
fm-forum @ ウィキ
操作ガイド
新規作成
編集する
全ページ一覧
登録/ログイン
fm-forum @ ウィキ
このページを編集する
20100310
開催情報
日時:3/9 19:00-21:00
場所:銀座ルノアール新宿3丁目ビッグスビル店 2号室
定員:5名でとったけど10名まではいけまっせー。
http://atnd.org/events/3421
アジェンダ
今回からは、Coq(とできればEvent-B)を、ツールを動かしながら勉強していきます。
範囲を命題論理の証明だけに限定して、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 まで)を、予め実際に自分で入力してみてください。 CoqIDEとかにチュートリアルの内容を入力したらsaveすると入力した事が全部記録されます。それを上から順に一行づつステップ実行して、皆で交代で発表しましょう。
当日時間があればガリグ先生の教材(
http://www.math.nagoya-u.ac.jp/~garrigue/lecture/
2009_AW/coq2.pdf) の練習問題を解きます。
何か関連した面白い話を準備出来る人は歓迎。時間配分を考える必要があるので、予め立候補して頂けると嬉しいです。
会議室利用料金約6000円は割り勘です。
OCaml-Javaを使って、CoqからJavaのコード生成までやってみる。
議事録
関連ページ
Coq命題論理の証明
タグ:
+ タグ編集
タグ:
このサイトはreCAPTCHAによって保護されており、Googleの
プライバシーポリシー
と
利用規約
が適用されます。
タグの更新に失敗しました
エラーが発生しました。ページを更新してください。
ページを更新
「20100310」をウィキ内検索
最終更新:2010年03月10日 00:02
ツールボックス
下から選んでください:
新しいページを作成する
以下から選択してください
-------------------------
このページを編集
ページ名変更
差分
編集履歴
アップロード
-------------------------
新しいページ
ページ一覧
検索
-------------------------
ヘルプ
/
FAQ
もご覧ください。
添付ファイル
fmf20100309.v
fmf20100309_2.v
fmf20100309_3.v
メニュー
メニュー
トップページ
勉強会
イベント
書籍
リンク
情報交換手段
メーリングリスト
twitter:
@fm_forum_
ustream:
Skype:
各形式手法資料
Alloy
B-Method
Coq
Event-B
ここを編集
rss & コンタクト & タグ
更新履歴
RSS Feed
管理者に連絡
タグ一覧