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

May

30

論理学友の会例会 #12

Hashtag :#論理学友の会
Registration info

スピーカー

Free

Standard (Lottery Finished)
1/3

リスナー

Free

FCFS
10/15

参加者への情報
(参加者と発表者のみに公開されます)

Description

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

本会の中心は、 様々な形で論理学に興味をもった方が集まり、 毎月後半のいずれかの日曜日にオンライン(Zoom)にて、ちょっとした論理学に関する発表や討論をする例会にあります。

さて、その12回目となる例会の要項です。

開催日時

5/30(日)14時から18時

参加者によって日程の変更あり

T.B.A.

参加

このページより参加登録いただきますと、 当日開場時にconnpassより会場の詳細がメールにて届きます。

connpass運営からのメールを受信できるように設定しておいてください。

募集

リスナー

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

スピーカー

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

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

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

発表希望の方は、その旨と以下をquawai@me.comまでお伝えください。

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

告知時間の設置

就活のアピールやご自身が作られたプロダクト、運営しているコミュニティーの宣伝などにご活用ください。告知・宣伝をしたい方は参加登録時のアンケートでお知らせください。

この時間はYouTubeアーカイブ公開を考慮しております。

タイムテーブル

T.B.A.

発表題目

川井新「直観主義述語論理について」

過去の発表

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

YouTube公開について

この度本会では、以前より行っていたYouTubeでのアーカイブ投稿について、ガイドラインを改定、明確化することに致しました。

主な理由は二点です。

第一には、これから更に多くの発表者を迎え、そしてアーカイブを公開したいということです。

現在までも多くの発表、アーカイブの公開を行ってきていますが、ガイドラインの明確化は更に多くの人に安心して発表いただき、それをアーカイブさせて頂くために必要です。

そしてより重要な第二の理由は、本会において新規性を持った発見や、そのような研究計画に関する発言が行われる可能性があることです。その際に無差別なアーカイブは、彼らの利益を危険に晒しえます。これは発表者に限らず、発表に関する質問や意見、提案、コメントとしての聴衆の発言も保護しなくてはならないと考えています。

以下が変更後のガイドラインの概要です。

ガイドライン

  • 論理学友の会(以下本会)における発表者(以下発表者)と本会の合意がある場合、その両者の共同によりその発表を録画または録音することができる。
  • 発表者は本会に対して前項の録画、録音行為で得た動画、または音声ファイルを請求できる。
  • 前前項で得られた動画または音声ファイルは、発表者の許諾によって、編集の上、YouTube上でアーカイブとして公開(既に行われているものと同様に本会の代表の個人YouTubeアカウントによる。)する。発表者は公開前に動画、音声を確認し、一部または全部の破棄を要求できる。この要求に本会は従わなくてはならない。また発表者は発表に用いた資料などを動画、音声ファイルに付随して公開するように請求することもできる。
  • 発表者は動画、音声やそれに附随する資料等を、前項の本会によるアーカイブではなく、自身の名義(実名、通名、ペンネームは問わない)としていずれかの形式で公開しても良い。ただし個人での公開、使用を原則とする。但し学術的な目的でその情報を他団体の名義で公開、使用することを希望する場合は、本会にその旨を届け出、個別の審議の上で可否の決定を受けるものとする。
  • 発表者は前項によって個人的に公開した情報へのアクセス(URLなど)を本会に提供しても良いが、その義務は負わない。また前前項の本会によるアーカイブ公開と前項の個人による公開の両方を行っても良い。
  • 録画、録音を行う発表では質疑応答の部分は録画、録音を中止するか、破棄する。これは聴衆、質問者の発見の保護のためである。ただし、明示的にとった質疑応答時間以外での(所謂「口を挟んだ」形の)発言についてはこの限りではない。これは前項の個人利用の場合でも同様の対応を行うことを推奨する。個人間の係争に関して本会は一切責任を負わない。

Media View all Media

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

Feed

論理学友の会

論理学友の会 wrote a comment.

2021/05/30 14:02

遅くなりましたが、開場しました。開会は14:30にいたします

論理学友の会

論理学友の会 wrote a comment.

2021/05/30 12:18

スライドとはなんでしょう?

Tokeisan333

Tokeisan333 wrote a comment.

2021/05/29 15:00

すみません、あのスライド、誰も書いてなかったのですが、リスナーさんではなくスピーカーさん用だったのでしょうか?

shin quawai

shin quawai wrote a comment.

2021/05/29 13:19

直観主義述語論理のクリプキ意味論の話をします、多分

shin quawai

shin quawai wrote a comment.

2021/05/28 11:21

申し訳ないですが、多分SICPについての話はしないです。

論理学友の会

論理学友の会 wrote a comment.

2021/05/14 09:51

歓談タイムを設置することにしました。今回は歓談メインになるかもしれません。参加登録済みの方は歓談時の自己紹介、アイスブレークのためのスライドへのご記入をお願いします

論理学友の会

論理学友の会 wrote a comment.

2021/05/14 09:06

スピーカー(発表者)、リスナーともに募集中です。参加登録お待ちしております!

論理学友の会

論理学友の会 wrote a comment.

2021/05/09 20:00

3週間前ですね。スピーカー(発表者)、リスナーともに募集中です。参加登録お待ちしております

論理学友の会

論理学友の会 wrote a comment.

2021/05/08 20:46

3週間前ですね。スピーカー、リスナーともに募集中です。よろしくお願いします!

論理学友の会

論理学友の会 wrote a comment.

2021/04/30 15:49

1ヶ月後ですね。スピーカ、リスナともに募集中です!奮ってご参加ください

論理学友の会

論理学友の会 wrote a comment.

2021/04/28 10:19

発表者、募集中です。

shin quawai

shin quawai wrote a comment.

2021/04/26 21:41

#SICP を頑張って読んでいるという話をします

論理学友の会

論理学友の会 published 論理学友の会例会 #12.

04/24/2021 15:56

いよいよ明日11回例会が開催されますが、今後スピーカ、リスナともに余裕を持てるように2ヶ月前から公開することにします。第12回は5/30開催です。

Group

Ended

2021/05/30(Sun)

14:00
18:00

Registration Period
2021/04/24(Sat) 14:00 〜
2021/05/30(Sun) 13:00

Location

Zoom

オンライン

Zoom

Attendees(11)

shin quawai

shin quawai

論理学友の会例会 #12 に参加を申し込みました!「論理学友の会内で開いているSICPの読書会について」発表します

josh_kwt

josh_kwt

論理学友の会例会 #12に参加を申し込みました!

n-cube1

n-cube1

論理学友の会例会 #12 に参加を申し込みました!

sawaragikun

sawaragikun

論理学友の会例会 #12 に参加を申し込みました!

stmtk

stmtk

論理学友の会例会 #12 に参加を申し込みました!

shimojima-A

shimojima-A

論理学友の会例会 #12に参加を申し込みました!

kondok

kondok

I joined 論理学友の会例会 #12!

udatsu

udatsu

論理学友の会例会 #12 に参加を申し込みました!

kk20150824

kk20150824

論理学友の会例会 #12 に参加を申し込みました!

yak_ex

yak_ex

論理学友の会例会 #12 に参加を申し込みました!

Attendees (11)

Canceled (2)