みなさま

連絡責任評議員を務めております新潟大学の関です。

3月17日（日）に開催した分科会総会について、以下のとおりご報告いたします。不明な点等がございましたら当方までお問い合わせください。 　それではよろしくお願いいたします。

[1] 分科会の評議員と運営委員 [2] 分科会予算 [3] 今後の主な研究集会と学会 [4] 2023年度のシンポジウム・研究集会の記録 [5] 数学会講演申し込み時の注意

===== [1] 分科会の評議員と運営委員 　2024年3月からの評議員と運営委員は以下のとおりです。 　（敬称略，【 】：任期，（ ）：分野）

評議員 - 連絡責任評議員 関 隆宏【2025年2月】（非古典論理） - 受賞候補推薦評議員 酒井 拓史【2026年2月】（集合論）

運営委員 - 分科会選出「数学」 編集委員 宮部 賢志【2025年6月】（証明論と計算論） - 田中 紀子【2025年2月】（歴史） - 小川 束　【2025年2月】（歴史） - 坪井 明人【2025年2月】（モデル理論） - 倉橋 太志【2026年2月】（証明論と計算論）

===== [2] 分科会予算 　2023年度の会計を報告し，2024年度の予算を報告しました。

===== [3] 今後の主な研究集会と学会 １）分科会主催集会 - SAML (Symposium on Advances in Mathematical Logic) 2024 　「数理論理学の最近の進展」 　会場：京都大学数理解析研究所（ハイブリッド形式） 　日程：7月9日～12日 　幹事：酒井 拓史（神戸大学） - 2024年度数学基礎論サマースクール テーマは証明論。幹事等は現在調整中。 - 2024年度数学基礎論若手の会 幹事：樋口 幸治郎（日本大学） 10～11月に対面開催を予定

２）日本数学会 - 2024年度秋季総合分科会 会場：大阪大学 日程：9月3日～6日 - 2025年度年会 会場：早稲田大学 日程：3月18日～21日 ※ 2025年度の秋季総合分科会については会場・日程ともに未定です。

３）Asian Logic Conference （横山啓太先生より連絡） - 18th Asian Logic Conference 2025年に京都産業大学で開催予定

===== [4] 2023年度シンポジウム・研究集会の記録 　雑誌「数学」編集部より、以下に該当するシンポジウム・研究集会記録の原稿募集の依頼がありました。

開催期間：2023年4月1日から2024年3月31日まで 　開催地：日本国内（オンライン開催も含む） 　原則として20人以上の集会，または（20人以下でも) 報告集のある集会

該当するシンポジウム・研究集会の幹事の方は、5月30日（木）までに、連絡責任評議員の関（tseki at adm.niigata-u.ac.jp：「 at 」を「@」に変えてください）まで以下の事項をご報告くださいますようよろしくお願いします（「数学」4号に掲載予定）。

名称（主題）と主催者（所属） 　開催場所と開催時期 　報告集の有無と入手可能な場合の連絡先（氏名と所属）

===== [5] 数学会講演申し込み時の注意 　講演タイトルや共同講演者などの情報が、講演データと講演アブストラクトで食い違っているものが散見されるようです。講演申し込み時には、これらの情報の食い違いがないようにご注意ください。特に、講演アブストラクトに共著者として名前が掲載されている方は、共同講演者として講演データに入力するようお願いいたします。

=====

--- 関　隆宏 新潟大学経営戦略本部評価センター