学部生の子に「論理学・数学基礎論の集会の情報ってどうやって手に入れるんですか」という主旨のことを聞かれた.そのときに論理学・数学基礎論系のメーリングリストの存在があまり知られていないことを知った.ここにわたしの知っている限りの論理学・数学基礎論の集会などの情報が流れてくるメーリングリストをまとめておく.
(2024/09/28 追記)この記事を公開した後,わたしの知らないメーリングリストをいろいろ教えていただいた.せっかくなので,追記させていただいております.教えてくださった皆さま,ありがとうございます.(追記終)
メーリングリストとは
チャットツール全盛期の今日この頃なので,念のためメーリングリストの説明.
メーリングリストとは複数のメールアドレスに一斉送信をしてくれるサービスである.この記事で紹介するメーリングリストには論理学・数学基礎論研究者が多数登録しており,論理学・数学基礎論系の集会の情報のやり取りに利用されている.つまり,下記のメーリングリストに登録しておくと,論理学・数学基礎論系の集会の情報が書かれたメールが送られてくるようになる.
論理学・数学基礎論系のメーリングリストのリスト
日本における論理学・数学基礎論系のメーリングリストは京都大学のサーバを利用していることが多いようで,メイリングリスト案内にもまとめられている.
Logic-ml
おそらく日本の論理学研究者のほとんどが登録しているメーリングリスト.詳細は次のページ:Info | logic-ml@fos.kuis.kyoto-u.ac.jp - fos.kuis.kyoto-u.ac.jp
Kisoron-ml
数学基礎論のメーリングリスト.Logic-ml とユーザがほぼかぶっているのではないかと疑っているが,一応分けられている.詳細は次のページ:Info | kisoron-ml@fos.kuis.kyoto-u.ac.jp - fos.kuis.kyoto-u.ac.jp
asian-logic
アジア圏の論理学研究者のためのメーリングリスト.一応登録しているが,あまり流れてこない印象がある.詳細は次のページ:Info | asian-logic@fos.kuis.kyoto-u.ac.jp - fos.kuis.kyoto-u.ac.jp
FOM
英語圏のメーリングリスト.集会の情報だけでなく,偉い先生方が難しそうな議論をするのに利用していることがある.登録するときに「どこの学生さんですか?答えてくれたら登録します」とメールが来たので,もしかすると,所属がないと登録してもらえないのかもしれない(今は違うのかもしれない).詳細は次のページ:FOM Info Page
Proof Theory Mailing List (2024/09/28 追加)
証明論のメーリングリスト.山形聡志先生が教えてくださった.わたしは循環証明体系のカット除去の研究をやっているので,証明論の人間になるはずなんですが,なんで知らなかったんだろう.......詳細は次のページ:https://people.bath.ac.uk/ag248/pt/
constructivenews (2024/09/28 追加)
構成的数学のメーリングリストというか Google のグループ.黒木亮汰さんが教えてくれた.詳細は次のページ:constructivenews - Google Groups
プログラミング言語理論系のメーリングリストのリスト
プログラミング言語理論においても論理学は利用されているので,プログラミング言語理論系のメーリングリストにも論理学関係の集会の情報などが流れてくることがある.
jssst-ppl
日本ソフトウェア科学会プログラミング論研究会のメーリングリスト.詳細は次のページ:Info | jssst-ppl@fos.kuis.kyoto-u.ac.jp - fos.kuis.kyoto-u.ac.jp
sonoteno
メーリングリストというか Google のグループ.なんでこんな名前になったのかは知らないが,プログラミング言語理論関係の情報が流れてくる.詳細は次のページ:sonoteno - Google Groups
謝辞 (2024/09/28 追加)
この記事を公開した後,わたしの知らないメーリングリストをいろいろ教えていただいた.教えてくださった以下の皆様に感謝申し上げます(敬称略):
荒武永史,山形聡志,黒木亮汰