TOP

Coqりさんの会

Coq

イベント内容

概要

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

対象者

  • Coqを触りたい人

内容

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

持ち物

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

事前準備

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

会場について

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

参加者
2人 /定員5人
申込先

注目のイベント

タグに関連するイベント

2018/01/20(土) 12:45 〜 18:00
東京都 神田
2017/11/25(土) 14:30 〜 17:30
愛知県 名古屋大学

コラム

イベント New

【レポート】加速する動画ビジネス最新事例:急成長する動画市場[第1部] - TECH PLAY Conference 2017

2017年8月20日(日)から25日(金)の6日間にわたり、「TECH PLAY Conference 2017」が開催されました。...
12 views
イベント

【レポート】データ活用ビジネスの始め方:デジタルマーケティング[第2部] - TECH PLAY Conference 2017

2017年8月20日(日)から25日(金)の6日間にわたり、「TECH PLAY Conference 2017」が開催されました。...
244 views
イベント

【レポート】デジタルマーケティングから紐解き、マーケティングをもういちど考える:デジタルマーケティング[第1部] - TECH PLAY Conference 2017

2017年8月20日(日)から25日(金)の6日間にわたり、「TECH PLAY Conference 2017」が開催されました。...
386 views