さいしゅうもくひょう

古典論理／直観主義論理／線形論理

を、基本の「き」から学習し、ひと通り全員が内容を理解する事を目標とします。

はじめてのひとへ

現在は述語論理の基本として、教科書「記号論理入門」を読んでいます。 持参して頂ければスマートかと思いますが、予備が一冊ある他、隣の人に見せてもらうとかも出来ますので、持っていなくても気にせず参加して頂ければと思います。

ぜんかいやったこと

• 記号論理入門を1章まで読んだ
• なんか色々駄弁った

こんかいやること

• 前回参加していなかった人が居たら、ざっと復習する
• 記号論理入門を2章からみんなで読む

かいじょうについて

休日は正面出入口が開いていないので、その脇の通用口まで主催者が迎えに行きます。

開場５〜１０分前くらいから主催者(@its_out_of_tune ロン毛でヒゲのにーやん)が待機しているので、声をかけてください。

14:00以降にいらっしゃる方は、Twitterアカウントまでリプライお願いします。

（Twitterをやっていない方のために、このページのフィード欄もいちおう注意して見ておきますが、もしかしたら見逃しちゃうかもしれません……）

室内の飲食は構いませんが、こぼしたり汚したりしないようにだけ、ご協力をお願いします。