ここではおもに研究者や研究者を志す方などへの情報を提供いたします.
お問い合わせには応じかねますことをご了承下さい.
なお, このページの内容は整理してリンク集のページまとめる予定です.
日本学士院
(The Japan Academy)
Polska Akademia Nauk
(Polish Academy of Sciences)
日本数学会 (MSJ)
日本数学会 数学基礎論および歴史分科会
日本数学会 関東支部
情報処理学会 (IPSJ)
日本科学哲学会
科学基礎論学会
日本ソフトウェア科学会 (JSSST)
Association for Symbolic Logic (ASL)
Advances in Modal Logic (AiML)
代数, 論理, 幾何と情報科学研究集会 (ALGI)
Symbolic Logic and Computer Sciences (SLACS)
Center for Operations Research and Econometrics (CORE)
Mathematical Logic Group (MLG)
メーリングリスト案内
論理学メーリングリスト (logic-ml)
数学基礎論および歴史分科会メーリングリスト (kisoron-ml)
Asian Logic Mailing List (asian-logic)
