Coqりさんの会 - connpass

お知らせ【メンテナンスのお知らせ】4月25日(木)10:00から1時間半ほど、メンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。

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

11月

15
Coqりさんの会
鳥も狐も好きです。

主催 : @zakky_dev

募集内容	参加枠1 無料先着順 5/5人
申込者	申込者一覧を見る
開催日時	2014/11/15(土) 13:00 ～ 18:00 Googleカレンダー icsファイル
募集期間	2014/11/05(水) 00:00 〜 2014/11/15(土) 18:00まで
会場	スタンドファーム株式会社名古屋市東区泉1-11-6 ミソカビル2階マップで見る会場のサイトを見る

イベントの説明

概要

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

対象者

Coqを触りたい人

内容

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

持ち物

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

事前準備

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

当日について

当日、会場に到着しましたら @mzp さんへTwitterにてメンション、もしくはDMをするようにお願いします。

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

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

フィード

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

2014/11/10 10:24

スタンドファーム株式会社様が会場を貸していただけるとのことなので、開催場所と参加費を修正しました。参加者の方はご確認お願い致します。

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

2014/11/05 12:49

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

終了

2014/11/15(土)

13:00 〜 18:00

Googleカレンダー icsファイル

募集期間
2014/11/05(水) 00:00 〜
2014/11/15(土) 18:00

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

会場

スタンドファーム株式会社

名古屋市東区泉1-11-6 ミソカビル2階

管理者

ざっきー

参加者（5人）

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

Coqりさん、Coqりさん、この関数は停止しますか。

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

I joined Coqりさんの会!

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

参加者一覧（5人）