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

Nov

29

論理学友の会第六回例会

Hashtag :#論理学友の会
Registration info

スピーカー

Free

Standard (Lottery Finished)
2/3

リスナー

Free

FCFS
9/30

Description

論理学友の会第六回例会

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

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

発足したばかりで今後どうなるかわかりませんが、 発起人の私カワイとしましては、 初学者からプロまで様々な方に発表していただきたいと考えています。

また直接発表と関係ない質疑応答タイムのようなものを設けて、 皆さんが学べるZoom勉強会にしたいとも考えています。

さて、 以下、第六回の要項です。

開催日時

11/29(日) 18時から22時まで(参加者によって変動)

注意 : 開始時刻が11/29の16時から同日18時に変更になりました。閉会時刻に大幅な変更はない予定ですが、余裕をもって22時と掲載しております。

途中入退室自由

日時の詳細は改めてお伝えします。

募集

発表してくださる方と聴講してくださる方を募集します。 どちらの参加様式も無料です。 ただし、事前の参加申し込みがないと参加は不可能です。

聴講者

途中の入退室は自由ですので、お気軽にご参加ください。 ただし下記「YouTube公開について」をご参照ください。

発表者

発表に関して時間や内容の制限はありません。 特に論理学に関する初歩的な質問や疑問を尋ねるような発表を してくださる方がいたら大歓迎です。

ただし 発表時なんらかの資料があることが必須 であり、 可能ならそれを事前配布していただきたく思います。

発表で顔を出す必要はありません。 資料を表示して声だけで発表してくだされば十分です。 顔を見せたい方は見せてもいいですが、 以下の「YouTube公開について」をご参照ください。 また、 変声機械やボイスロイドの使用もご自身で可能なら、 特に制限するものではありません。

発表希望の方は、その旨と以下をお伝えください。

  • タイトル(仮のものでok)
  • 発表内容の概要
  • 発表したい時間帯ないし順番のご希望
  • 発表時間の目安(順番決定などの参考にします)
  • すでにある場合は発表資料

発表をお願いすることが決まった場合、 発表内容の概要と正式タイトルを11/24(火)中に主催にご連絡ください(連絡先: 友の会TwitterのDMないしSlackないしemail: info@domuslogica.org)。

タイムテーブル(仮)

  • 開会
  • 特別セミナーの紹介と振り返り
  • 川井(代表) の発表(20分)
  • 休憩+質疑応答
  • 松本さんの発表(50分発表+10分質疑応答)
  • 時間があれば、開催中の読書会の紹介
  • 閉会

発表詳細

川井

  • タイトル「カリーハワード対応から始める数理論理学第三回」(20分ほど)
  • 概要「全12回の連続発表です。数理論理学および計算機科学の入り口としてカリーハワード対応を取り扱い、 両分野を行き来しながら皆さんと一緒に学んでいきたいと考えています。」
  • 備考: 過去の発表をYouTubeにて公開しています。プレイリストへのリンク

松本さん

  • タイトル:Multiple-Conclusion Natural-Deductionの正規化定理
  • 概要:Boricicによって与えられた古典論理の複数結論自然演繹を一部改良し、その正規化定理の証明を与えます。さらにその正規化が、Gentzenによるカット消去と正確に対応することを例示します。

過去の発表

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

Alweさん「Goodsteinの定理」

松本さん「直観主義論理の連言断片」

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

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

YouTube公開について

発表の様子を後日、YouTubeにて公開したいと考えております。 したがって、 発表のYouTube公開を拒否したい方はあらかじめお伝えください。 発表時に録画をオフにします。 また、質疑応答時間も録画をオフにしますが、 聴講時に参加者の方がカメラをオンにしますと、 YouTubeでお顔が公開されますので、 聴講にあたってはカメラをオフにすることを推奨します。 質疑応答・雑談時間は録画しませんので、 安心してカメラをオンにしてください。

Slackについて

日々の交流や調整用にSlackチームを設けております。

よろしければご参加ください。

招待リンク

注意点

  1. 当日、Zoomを最新バージョンにするようにしてください。
  2. Zoom上の表示名をconnpassでの表示名と一致させてください。

Feed

論理学友の会

論理学友の会 wrote a comment.

2020/11/30 17:50

ご参加ありがとうございました。

論理学友の会

論理学友の会 wrote a comment.

2020/11/29 17:45

開室しております

論理学友の会

論理学友の会 wrote a comment.

2020/11/29 14:48

本日、17時半通知と同時に開場、18時に開会の予定です。17時まで登録可能ですので、ぜひご参加ください。

論理学友の会

論理学友の会 wrote a comment.

2020/11/29 14:47

松本さんの発表はシークエント計算と自然演繹をご存知だとより楽しめます。ご自身によるシークエント計算とその基本定理であるカット消去の紹介 https://youtu.be/-NWeIiOIJ84 をご覧になって臨まれるのもよいかと思います。

論理学友の会

論理学友の会 wrote a comment.

2020/11/29 14:45

川井の連続発表は今日で第3回です。過去の様子は次のプレイリストにまとめられています。また今回の様子もレコードする予定です。 https://www.youtube.com/watch?v=tHs-vKP5_8I&list=PLmMn7oKYtGGs0I3Ndx5UxhTR9e9gF5lD3

論理学友の会

論理学友の会 wrote a comment.

2020/11/28 18:52

ついに明日ですね。当日17時まで参加登録可能です。すでにリマインドされていると思いますが、開始時刻にご注意ください。

論理学友の会

論理学友の会 wrote a comment.

2020/11/27 10:30

いよいよ明後日ですね、当日17時まで参加登録可能です。みなさまのご参加をお待ちしております

論理学友の会

論理学友の会 wrote a comment.

2020/11/26 19:54

開始時刻が11/29の16時から同日18時に変更になりました。閉会時刻に大幅な変更はない予定ですが、余裕をもって22時と掲載しております。

論理学友の会

論理学友の会 wrote a comment.

2020/11/26 15:21

松本さんの発表は次の動画を見てから臨まれるとより理解が進むでしょう https://youtu.be/-NWeIiOIJ84

論理学友の会

論理学友の会 wrote a comment.

2020/11/26 15:21

川井の発表前回の様子は次のリンクからご覧になれます https://youtu.be/raARmougq7I

論理学友の会

論理学友の会 wrote a comment.

2020/11/26 11:30

参加登録、お待ちしております

論理学友の会

論理学友の会 wrote a comment.

2020/11/25 11:15

参加登録、お待ちしております。

論理学友の会

論理学友の会 wrote a comment.

2020/11/25 11:14

すでに発表資料はwebサイトに掲載しております。connpass経由でも確認できます。

論理学友の会

論理学友の会さんが資料をアップしました。

11/24/2020 19:07

論理学友の会

論理学友の会さんが資料をアップしました。

11/24/2020 19:05

論理学友の会

論理学友の会 wrote a comment.

2020/11/24 17:56

松本さんの発表詳細が決定しました。タイムテーブルについてはまだ調整中です。ともかくこれで二人の発表について確認できますので、どうぞ。またリスナーまだまだ募集中です(開催一時間前まで)。参加お待ちしております。

論理学友の会

論理学友の会 wrote a comment.

2020/11/22 19:30

まだ調整中ですが、発表者が私かわいと松本さんに決まりました。

論理学友の会

論理学友の会 wrote a comment.

2020/11/19 13:47

発表者・リスナーともに募集中です。ぜひ参加登録お願いします。

吉英杰 たーやん

吉英杰 たーやん wrote a comment.

2020/11/15 00:09

吉永です。29日は今日話し切れなかったことに関してまたお話しできると嬉しいです。よろしくお願いいたします。

論理学友の会

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

11/01/2020 17:18

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

Ended

2020/11/29(Sun)

18:00
22:00

Registration Period
2020/11/01(Sun) 17:30 〜
2020/11/29(Sun) 17:00

Location

Zoom

オンライン

Zoom

Organizer

Attendees(11)

shin quawai

shin quawai

論理学友の会第六回例会に参加を申し込みました!「CHから始める〜」第三回をやりたいと思います

anyway_thank_u

anyway_thank_u

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

Spectrum_cj

Spectrum_cj

I joined 論理学友の会第六回例会!

n-cube1

n-cube1

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

吉英杰 たーやん

吉英杰 たーやん

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

Kohei-Shimazaki

Kohei-Shimazaki

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

polymony@rks

polymony@rks

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

yak_ex

yak_ex

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

non_archimedean

non_archimedean

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

sawaragikun

sawaragikun

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

Attendees (11)

Canceled (1)