イベントの説明
さいしゅうもくひょう
古典論理/直観主義論理/線形論理
を、基本の「き」から学習し、ひと通り全員が内容を理解する事を目標とします。
ぜんかいやったこと
- 記号論理入門を1.6.6まで読んだ
- なんか色々駄弁った
こんかいやること
- 前回参加していなかった人が居たら、ざっと復習する
- 記号論理入門を1.6.7からみんなで読む
かいじょうについて
休日は正面出入口が開いていないので、その脇の通用口まで主催者が迎えに行きます。
開場5〜10分前くらいから主催者(@its_out_of_tune ロン毛でヒゲのにーやん)が待機しているので、声をかけてください。
14:00以降にいらっしゃる方は、Twitterアカウントまでリプライお願いします。
(Twitterをやっていない方のために、このページのフィード欄もいちおう注意して見ておきますが、もしかしたら見逃しちゃうかもしれません……)
室内の飲食は構いませんが、こぼしたり汚したりしないようにだけ、ご協力をお願いします。
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。