TOP

クリップ
2015/10/25(日) 13:00 開催

Coqりさんの会

Coq

基本情報

日 時: 2015/10/25(日) 13:00 〜 18:00

イベント内容

概要

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

対象者

  • Coqを触りたい人

内容

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

持ち物

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

事前準備

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

会場について

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

  • Twitterでシェア
  • 0
    Facebookでシェア
  • 0
    Google+でシェア
  • 0
    はてなブックマークに追加

タグに関連するイベント

2017/01/07(土) 14:00 〜 18:00
東京都 新富町
2016/12/17(土) 14:00 〜 18:00
東京都 恵比寿

Facebookページ

dots.で申込可能なイベント