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

Dec

27

論理学友の会第七回例会

論理学友の会忘年会

Organizing : 論理学友の会

Hashtag :#論理学友の会
Registration info

一般参加枠

Free

FCFS
1/20

Description

論理学友の会例会 #7

論理学友の会は、数理論理学を中心としつつも、コンピューターサイエンス・哲学など様々な意味での 「論理学」 に興味を持った方々が集まる団体です。

他分野で論理学を利用するなど、様々な形で論理学に興味をもった方が集まり、 毎月最終日曜日を基本にオンライン(Zoom)にて、ちょっとした論理学に関する発表や討論をしていこうという集まりです。

「広い意味での論理学の普及」を目指して発起人川井が奮闘しております。

趣旨

交流・歓談をメインに忘年会と称して今までの開催を振り返りたいと思います。

参加経験のある方にかんしては振り返りですが、 ない方にかんしては紹介として機能するようにしたいと考えています。

参加方法

事前登録不要でopen開催を検討していますが、 人数が想定を超えた場合やトラブル時には事前登録なさった方を優先します。 そしてトラブルは十分に想定されます。

当日、 こちらのconnpassにてZoom URLを公開する予定です。

また、 事前登録については簡易なアンケートがありますので、 答えていただけると主催側としては参考にしやすく事前登録をお願いしたい次第です。

開催日時

12月27日(日)16時から

途中入退室自由

過去の開催

connpass

論理学友の会第一回 - connpass

論理学友の会第二回 - connpass

論理学友の会第三回 - connpass

論理学友の会第四回例会 - connpass

論理学友の会第五回例会 - connpass

論理学友の会第六回例会 - connpass

論理学友の会特別セミナー「シークエント計算とカット消去」 - connpass

YouTube

川井連続発表「カリーハワード対応から始める数理論理学」(playlist)

論理学友の会第0会Alweさん発表「Goodsteinの定理の証明」

論理学友の会例会 #2 より松本さん「直観主義論理の連言断片」

論理学友の会特別セミナー「シークエント計算とカット消去定理」

Media View all Media

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

Feed

論理学友の会

論理学友の会 wrote a comment.

2020/12/21 11:40

あと一週間を切っていますね。open形式での開催を検討していますが、事前登録いただけると運営側としては助かります

論理学友の会

論理学友の会 wrote a comment.

2020/12/14 03:32

参加方法について更新しました

論理学友の会

論理学友の会 wrote a comment.

2020/12/10 16:54

過去の開催について記述を始めました。次は各回への一言二言の代表なりのコメントを掲載する予定です

論理学友の会

論理学友の会 published 論理学友の会第七回例会.

12/07/2020 18:42

論理学友の会第七回例会 を公開しました!

Group

Ended

2020/12/27(Sun)

16:00
20:00

Registration Period
2020/12/07(Mon) 23:30 〜
2020/12/27(Sun) 15:00

Location

Zoom

オンライン

Zoom

Organizer

Attendees(1)

shin quawai

shin quawai

論理学友の会第七回例会 に参加を申し込みました!

Attendees (1)

Canceled (1)