Coqりさんの会

お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。

お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。

10月

25
Coqりさんの会
鶏肉好きです。狐モフりたい。

主催 : @zakky_dev

募集内容	参加枠1 無料先着順 2/5人
申込者	申込者一覧を見る
開催日時	2015/10/25(日) 13:00 ～ 18:00 Googleカレンダー icsファイル
募集期間	2015/09/14(月) 00:00 〜 2015/10/25(日) 13:00まで
会場	(場所未定)

イベントの説明

概要

ひたすらに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

Googleカレンダー icsファイル

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

イベントへのお問い合わせ

会場

(場所未定)

管理者

ざっきー

参加者（2人）

ざっきー

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

c0hama

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

参加者一覧（2人）

10月 25 Coqりさんの会 鶏肉好きです。狐モフりたい。