お知らせ 【グループ管理者の皆さま】成長し続けるエンジニアを支援する「Forkwell」と「connpass」が連携し、connpass上でイベントを開催するグループを2020年3月末まで支援いたします。詳しくはこちら by Forkwell

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

1月

28

LogicCafe #6

なごやでおちゃのんでおかしたべながら論理のおべんきょうをするかい

Organizing : its_out_of_tune

Hashtag :#logic_cafe
Registration info

参加枠1

Free

FCFS
3/15

Description

諸事情により、このイベントは中止となりました。次回開催日は近日中に発表します。

さいしゅうもくひょう

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

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

はじめてのひとへ

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

ぜんかいやったこと

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

こんかいやること

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

かいじょうについて

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

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

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

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

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

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

LogicCafe #6 が中止されました。このイベントにはもう参加できません。
You can ask questions to the event organizer by writing a comment on the event page.

01/27/2017 12:35

its_out_of_tune

its_out_of_tune published LogicCafe #6.

11/27/2016 17:53

LogicCafe #6 を公開しました!

Group

LogicCafe

なごやでおちゃのんでおかしたべながら論理のおべんきょうをするかい

Number of events 7

Members 26

中止

2017/01/28(Sat)

14:00
18:30

Registration Period
2016/11/27(Sun) 17:53 〜
2017/01/28(Sat) 18:30

Location

株式会社オンザロード

460-0003 愛知県名古屋市中区錦1丁目19−24、名古屋第一ビル

Organizer

Attendees(3)

ryokayan

ryokayan

LogicCafe #6に参加を申し込みました!

c0hama

c0hama

LogicCafe #6に参加を申し込みました!

astrallamp

astrallamp

LogicCafe #6に参加を申し込みました!

Attendees (3)

Canceled (2)