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

Sep

27

論理学友の会第四回例会

Organizing : 論理学友の会

Hashtag :#論理学友の会
Registration info

発表者

Free

Standard (Lottery Finished)
1/1

聴講者

Free

FCFS
23/60

Description

論理学友の会第四回例会

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

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

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

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

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

開催日時

9/27(日) 17時から20時まで(参加者によって変動)

途中入退室自由

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

募集

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

聴講者

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

発表者

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

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

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

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

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

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

タイムテーブル(仮)

16時30分会場

17時 - 開会

17時15分 - Alweさん発表(60分)

18時15分 - 川井発表(20分)

18時35分 - 休憩+質疑応答(15分)

18時50分 - 松本さん発表(45分)

19時30分 - 歓談+質疑応答

20:00 - 閉会

20:15- 希望者がいたら懇親会

発表詳細

川井

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

Alweさん

  • タイトル「Infinite Time Turing Machineの計算能力」
  • 概要「Hamkins&Lewisによって考えられた無限時間Turing機械の計算可能能力について、高階再帰理論などと比較しつつ紹介する。」

松本さん(anyway_thank_uさん )

  • タイトル「Orevkovの定理」(60分ほど)
  • 概要「命題論理ではカット消去後の証明木の高さが消去前の証明木の高さとカットの深さに関する初等関数で抑えられましたが、述語論理ではそうはいきません。そのような推件のOrevkovによる具体例を紹介します。」

過去の発表

Alweさん発表「Goodsteinの定理」

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

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

YouTube公開について

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

Slackについて

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

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

招待リンク

注意点

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

Media View all Media

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

Feed

論理学友の会

論理学友の会 wrote a comment.

2020/09/27 16:28

開場しました

論理学友の会

論理学友の会 wrote a comment.

2020/09/27 15:32

開場まであと1時間ですね。16時までは参加登録可能です。

論理学友の会

論理学友の会 wrote a comment.

2020/09/27 15:31

開場まであと1時間ですね

論理学友の会

論理学友の会 wrote a comment.

2020/09/27 13:00

四時間後に始まりますね。受付は三時間後の16時までです

論理学友の会

論理学友の会 wrote a comment.

2020/09/26 18:21

いよいよ明日ですね、受付は明日9月27日(日)の16時までです。奮ってご参加ください。

論理学友の会

論理学友の会 wrote a comment.

2020/09/24 16:53

タイムテーブルを変更しました。まだまだ聴講者募集中です。奮ってご参加ください。

論理学友の会

論理学友の会 wrote a comment.

2020/09/23 23:13

仮のタイムテーブルを公開しました。あとSlackの招待リンクを訂正しました

shin quawai

shin quawai wrote a comment.

2020/09/23 23:13

仮のタイムテーブルを公開しました。あとSlackの招待リンクを訂正しました

論理学友の会

論理学友の会 wrote a comment.

2020/09/21 20:54

本番まで後一週間を切りましたね。発表者の皆さんはスライド完成しているのでしょうか?

論理学友の会

論理学友の会 wrote a comment.

2020/09/20 22:22

発表者は私カワイ、Alweさん、松本さんに決まりました。明日、connpassに反映させます。タイムテーブルはしばらくお待ちください

論理学友の会

論理学友の会 wrote a comment.

2020/09/16 12:39

Alweさん; タイトル「Infinite Time Turing Machineの計算能力」; 概要「Hamkins&Lewisによって考えられた無限時間Turing機械の計算可能能力について、高階再帰理論などと比較しつつ紹介する。」

論理学友の会

論理学友の会 wrote a comment.

2020/09/16 12:38

カワイ;タイトル「カリーハワード対応から始める数理論理学第二回」; 概要「全12回の連続発表です。数理論理学および計算機科学の入り口としてカリーハワード対応を取り扱い、 両分野を行き来しながら皆さんと一緒に学んでいきたいと考えています。」

論理学友の会

論理学友の会 wrote a comment.

2020/09/16 04:53

内容的に人が集まらないだろうと思いつつ特に理由なく参加者を60人に設定したのですが、流石に3人だと凹みますね

論理学友の会

論理学友の会 wrote a comment.

2020/09/16 01:24

今回は難しそうな論題が多いですね

論理学友の会

論理学友の会 wrote a comment.

2020/09/15 23:32

Alweさんの発表「ITTMの計算能力」にかんする概要を公表しました。

論理学友の会

論理学友の会 wrote a comment.

2020/09/15 17:03

Alweさんの論題が「Infinite Time Turing Machineの計算能力」に決定しました。

論理学友の会

論理学友の会 wrote a comment.

2020/09/15 16:26

発表者、抽選になりますが、まだ可能性は残っていますので、ぜひご応募ください。

論理学友の会

論理学友の会 wrote a comment.

2020/09/13 21:43

発表候補者の松本さん(@anyway_thank_u)の発表詳細について記載しました

論理学友の会

論理学友の会 wrote a comment.

2020/09/08 21:11

Alweさんの発表論題の候補について記載しました。

論理学友の会

論理学友の会 wrote a comment.

2020/09/07 00:01

参加登録受付始まりました

論理学友の会

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

09/06/2020 20:06

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

Ended

2020/09/27(Sun)

17:00
20:00

You cannot RSVP if you are already participating in another event at the same date.

Registration Period
2020/09/07(Mon) 00:00 〜
2020/09/27(Sun) 16:00

Location

Zoom

オンライン

Zoom

Attendees(24)

anyway_thank_u

anyway_thank_u

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

KanSAKAMOTO

KanSAKAMOTO

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

yak_ex

yak_ex

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

shnarazk

shnarazk

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

Cubism_FM

Cubism_FM

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

Satoshi Nakata

Satoshi Nakata

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

ishowta

ishowta

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

non_archimedean

non_archimedean

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

yaza_ta

yaza_ta

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

n-cube1

n-cube1

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

Attendees (24)

Canceled (2)