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

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

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

開催日時

10/31(日)14時から18時

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

参加

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

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

募集

リスナー

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

スピーカー

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

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

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

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

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

告知時間の設置

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

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

タイムテーブル

• 13:30 会場
• 14:00 開会
• 14:15 運営よりお知らせ
• 14:20 川井発表
• 14:40 質疑応答
• 14:50 休憩
• 15:00 松本さん発表
• 15:45 質疑応答
• 閉会

発表題目

川井

• 発表題目：カリーハワード対応から始める数理論理学（連続発表第5回）
• 発表時間：20分
• 前提知識：過去発表のアーカイブがございます（全3回、第4回はアーカイブをしていません）

松本さん

• 発表題目：Church-Rosser性の証明
• 発表時間：45分程度
• 前提知識：Aaronさんの連続発表の内容程度の型無しラムダ計算の知識を仮定します（Aaronさん連続発表プレイリスト）

過去の発表

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

• Alweさん「Goodsteinの定理」
• 松本さん「直観主義論理の連言断片」
• 川井連続発表「カリーハワード対応から始める数理論理学」（プレイリスト）
• Aaronさん連続発表「ラムダ計算でコーディング」（プレイリスト）

YouTube公開について

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

主な理由は二点です。

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

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

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

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

ガイドライン

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