10月
25
Coqりさんの会
鶏肉好きです。狐モフりたい。
主催 : @zakky_dev
募集内容 |
参加枠1 無料
先着順
|
---|---|
申込者 | 申込者一覧を見る |
開催日時 |
2015/10/25(日) 13:00 ~ 18:00
|
募集期間 |
2015/09/14(月) 00:00
〜 |
会場 |
(場所未定) |
イベントの説明
概要
ひたすらにCoqを使って何かやる感じのゆるふわ勉強会です。ゆるふわです。
主催のzakky_devは勉強中ですので、Coq気になってたけどまだ触っていない方も是非。
もちろんガチ勢も歓迎です。
対象者
- Coqを触りたい人
内容
個々人でひたすらCoqを触り、わからないところがあったら他の参加者の人に質問する感じです。
主催者はソフトウェアの基礎やる予定。
持ち物
- ノートPC
- Coqをやろうとする気持ち
事前準備
- Coqのインストールなど環境構築
会場について
未定ですが、そこまで大規模にはやりません。
開催予定地は名古屋近辺になると思われます。
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。