お知らせ ビープラウド、「90日で稼げるプログラマーに」オンライン学習サービス「PyQ(パイキュー)」を販売開始

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

5月

20

第65回 ProofCafe

募集内容

参加枠1

無料

参加者数
5

イベントの説明

The Little Prover の 第7章。前回は7章の途中で終わりましたが、復習のために7章の最初から振り返ります。

会場はA-317に決まりました。

以上

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

フィード

suharahiromichi

suharahiromichi さんが書き込みました。

2017/05/20 16:51

資料を修正しました。

suharahiromichi

suharahiromichi さんが書き込みました。

2017/05/18 23:55

第7章の復習(とちょっとだけ予習)の資料を更新しました。

kuribayashi9

kuribayashi9 さんが書き込みました。

2017/05/18 10:10

申し訳ございません。参加したいのですが、東京で、AIの自然言語処理の講義がありまして、欠席します。

suharahiromichi

suharahiromichi さんが書き込みました。

2017/05/13 23:09

会場はA-317に決まりました。 #ProofCafe

suharahiromichi

suharahiromichiさんが資料をアップしました。

2017/05/13 22:56

suharahiromichi

suharahiromichi さんが 第65回 ProofCafe を公開しました。

2017/04/22 22:15

第65回 ProofCafe を公開しました!

グループ

ProofCafe

イベント数 13回

メンバー数 18人

終了

2017/05/20(土)

14:30
17:30

募集期間
2017/04/22(土) 22:14 〜
2017/05/20(土) 17:30

会場

名古屋大学 多元数理科学棟 455教室

名古屋市千種区不老町

名古屋大学 多元数理科学棟 455教室

参加者(5人)

iitaka1142

iitaka1142

第65回 ProofCafeに参加を申し込みました!

kuribayashi9

kuribayashi9

第65回 ProofCafeに参加を申し込みました!

morita_hm

morita_hm

第65回 ProofCafe に参加を申し込みました!

kaizen_nagoya

kaizen_nagoya

第65回 ProofCafe に参加を申し込みました!

suharahiromichi

suharahiromichi

第65回 ProofCafe に参加を申し込みました!

参加者一覧(5人)

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