このエントリーをはてなブックマークに追加

10月

25

Coqりさんの会

鶏肉好きです。狐モフりたい。

主催 : @zakky_dev

募集内容

参加枠1

無料

先着順
2/5

イベントの説明

概要

ひたすらにCoqを使って何かやる感じのゆるふわ勉強会です。ゆるふわです。
主催のzakky_devは勉強中ですので、Coq気になってたけどまだ触っていない方も是非。
もちろんガチ勢も歓迎です。

対象者

  • Coqを触りたい人

内容

個々人でひたすらCoqを触り、わからないところがあったら他の参加者の人に質問する感じです。
主催者はソフトウェアの基礎やる予定。

持ち物

  • ノートPC
  • Coqをやろうとする気持ち

事前準備

  • Coqのインストールなど環境構築

会場について

未定ですが、そこまで大規模にはやりません。
開催予定地は名古屋近辺になると思われます。

資料 資料をもっと見る/編集する

資料が投稿されると、最新の3件が表示されます。

フィード

ざっきー

ざっきー さんが書き込みました。

2015/09/14 15:48

開催予定地の記載を忘れていました。申し訳ありません。名古屋近辺の予定です。

ざっきー

ざっきー さんが Coqりさんの会 を公開しました。

2015/09/14 12:52

Coqりさんの会 を公開しました!

終了

2015/10/25(日)

13:00
18:00

募集期間
2015/09/14(月) 00:00 〜
2015/10/25(日) 13:00

会場

(場所未定)

管理者

参加者(2人)

ざっきー

ざっきー

Coqりさんの会 に参加を申し込みました!

c0hama

c0hama

Coqりさんの会に参加を申し込みました!

参加者一覧(2人)

キャンセルした人(1人)